Ryan Scott bf8938bc30 Bump upper version bounds to allow base-4.20 ... Bump the upper version bounds on `base` in the various `what4` packages, and bump the `aig` submodule to bring in the changes from https://github.com/GaloisInc/aig/pull/18.		2024-09-19 10:40:12 -04:00
..
abcBridge@a521872c50	Allow building with GHC 9.2	2022-04-12 05:24:50 -04:00
aig@f8d96d7338	Bump upper version bounds to allow base-4.20	2024-09-19 10:40:12 -04:00
blt@d0c8d9d14f	Add dependencies and a fresh cabal.project following repository split	2020-02-25 16:48:46 -08:00