GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-05 16:08:03 +03:00
Code Issues Projects Releases Wiki Activity
master
what4/dependencies
History
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