GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 18:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Change freeze files to use test-lib 0.3

Browse Source
This commit is contained in:
Iavor Diatchki 2021-04-21 17:20:37 -07:00
parent 0c65f5e82b
commit 4e0da53ff3
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cabal.GHC-8.10.2.config
View File

@ -183,7 +183,7 @@ constraints: any.Cabal ==3.2.0.0,
any.test-framework ==0.8.2.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.test-lib ==0.2.2,
any.test-lib ==0.3,
any.text ==1.2.4.1,
any.text-short ==0.1.3,
text-short -asserts,

2
cabal.GHC-8.10.3.config
View File

@ -223,7 +223,7 @@ constraints: any.Cabal ==3.2.1.0,
any.test-framework ==0.8.2.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.test-lib ==0.2.2,
any.test-lib ==0.3,
any.text ==1.2.4.1,
any.text-short ==0.1.3,
text-short -asserts,

2
cabal.GHC-8.6.5.config
View File

@ -184,7 +184,7 @@ constraints: any.Cabal ==2.4.0.1,
any.test-framework ==0.8.2.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.test-lib ==0.2.1,
any.test-lib ==0.3,
any.text ==1.2.4.0,
any.tf-random ==0.5,
any.th-abstraction ==0.3.2.0,

2
cabal.GHC-8.8.4.config
View File

@ -181,7 +181,7 @@ constraints: any.Cabal ==3.0.1.0,
any.test-framework ==0.8.2.0,
any.test-framework-hunit ==0.3.0.2,
test-framework-hunit -base3 +base4,
any.test-lib ==0.2.1,
any.test-lib ==0.3,
any.text ==1.2.4.0,
any.tf-random ==0.5,
any.th-abstraction ==0.3.2.0,