mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
Update freeze files
This commit is contained in:
parent
0909120a68
commit
8e6a4007fc
@ -184,12 +184,12 @@ constraints: any.Cabal ==3.2.0.0,
|
||||
any.test-framework-hunit ==0.3.0.2,
|
||||
test-framework-hunit -base3 +base4,
|
||||
any.test-lib ==0.2.2,
|
||||
any.text ==1.2.3.2,
|
||||
any.text ==1.2.4.1,
|
||||
any.text-short ==0.1.3,
|
||||
text-short -asserts,
|
||||
any.tf-random ==0.5,
|
||||
any.th-abstraction ==0.3.2.0,
|
||||
any.th-lift ==0.8.1,
|
||||
any.th-lift ==0.8.2,
|
||||
any.these ==1.1,
|
||||
these +assoc,
|
||||
any.time ==1.9.3,
|
||||
@ -213,7 +213,7 @@ constraints: any.Cabal ==3.2.0.0,
|
||||
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
|
||||
any.vector-binary-instances ==0.2.5.1,
|
||||
any.vector-th-unbox ==0.2.1.7,
|
||||
any.versions ==3.5.4,
|
||||
any.versions ==4.0.2,
|
||||
any.void ==0.7.3,
|
||||
void -safe,
|
||||
any.wcwidth ==0.0.2,
|
||||
|
@ -262,7 +262,7 @@ constraints: any.Cabal ==3.2.1.0,
|
||||
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
|
||||
any.vector-binary-instances ==0.2.5.1,
|
||||
any.vector-th-unbox ==0.2.1.7,
|
||||
any.versions ==3.5.4,
|
||||
any.versions ==4.0.2,
|
||||
any.void ==0.7.3,
|
||||
void -safe,
|
||||
any.wai ==3.2.2.1,
|
||||
@ -273,7 +273,7 @@ constraints: any.Cabal ==3.2.1.0,
|
||||
warp +allow-sendfilefd -network-bytestring -warp-debug,
|
||||
any.wcwidth ==0.0.2,
|
||||
wcwidth -cli +split-base,
|
||||
any.what4 ==1.0,
|
||||
any.what4 ==1.1,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.word8 ==0.1.3,
|
||||
any.x509 ==1.7.5,
|
||||
|
@ -185,7 +185,7 @@ constraints: any.Cabal ==2.4.0.1,
|
||||
any.test-framework-hunit ==0.3.0.2,
|
||||
test-framework-hunit -base3 +base4,
|
||||
any.test-lib ==0.2.1,
|
||||
any.text ==1.2.3.1,
|
||||
any.text ==1.2.4.0,
|
||||
any.tf-random ==0.5,
|
||||
any.th-abstraction ==0.3.2.0,
|
||||
any.time ==1.8.0.2,
|
||||
@ -209,11 +209,13 @@ constraints: any.Cabal ==2.4.0.1,
|
||||
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
|
||||
any.vector-binary-instances ==0.2.5.1,
|
||||
any.vector-th-unbox ==0.2.1.7,
|
||||
any.versions ==3.5.3,
|
||||
any.versions ==4.0.2,
|
||||
any.void ==0.7.3,
|
||||
void -safe,
|
||||
any.wcwidth ==0.0.2,
|
||||
wcwidth -cli +split-base,
|
||||
any.what4 ==1.1,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.wl-pprint-annotated ==0.1.0.1,
|
||||
any.xml ==1.3.14,
|
||||
any.zenc ==0.1.1,
|
||||
|
@ -206,11 +206,13 @@ constraints: any.Cabal ==3.0.1.0,
|
||||
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
|
||||
any.vector-binary-instances ==0.2.5.1,
|
||||
any.vector-th-unbox ==0.2.1.7,
|
||||
any.versions ==3.5.3,
|
||||
any.versions ==4.0.2,
|
||||
any.void ==0.7.3,
|
||||
void -safe,
|
||||
any.wcwidth ==0.0.2,
|
||||
wcwidth -cli +split-base,
|
||||
any.what4 ==1.1,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.wl-pprint-annotated ==0.1.0.1,
|
||||
any.xml ==1.3.14,
|
||||
any.zenc ==0.1.1,
|
||||
|
Loading…
Reference in New Issue
Block a user