GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Bump frozen SBV versions to 7.10

Browse Source
This commit is contained in:
Aaron Tomb 2018-07-30 16:26:25 -07:00
parent e42500e706
commit 4ab7399ef9
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cabal.GHC82.config
View File

@ -90,7 +90,7 @@ constraints: Cabal -bundled-binary-generic,
regex-posix ==0.95.2,
regex-posix +newbase +splitbase,
rts ==1.0,
sbv ==7.7,
sbv ==7.10,
scientific ==0.3.5.2,
scientific -bytestring-builder -integer-simple,
semigroups ==0.18.4,

2
cabal.GHC84.config
View File

@ -92,7 +92,7 @@ constraints: Cabal ==2.2.0.0,
regex-posix ==0.95.2,
regex-posix +newbase +splitbase,
rts ==1.0,
sbv ==7.7,
sbv ==7.10,
scientific ==0.3.5.3,
scientific -bytestring-builder -integer-simple,
semigroups ==0.18.4,