mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Use test-lib-0.4
This commit is contained in:
parent
7030088e13
commit
cb1cf652ae
@ -32,7 +32,7 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.assoc ==1.0.2,
|
any.assoc ==1.0.2,
|
||||||
any.async ==2.2.4,
|
any.async ==2.2.4,
|
||||||
async -bench,
|
async -bench,
|
||||||
any.attoparsec ==0.14.3,
|
any.attoparsec ==0.14.4,
|
||||||
attoparsec -developer,
|
attoparsec -developer,
|
||||||
any.auto-update ==0.1.6,
|
any.auto-update ==0.1.6,
|
||||||
any.base ==4.14.3.0,
|
any.base ==4.14.3.0,
|
||||||
@ -206,7 +206,7 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.scotty ==0.12,
|
any.scotty ==0.12,
|
||||||
any.semialign ==1.2.0.1,
|
any.semialign ==1.2.0.1,
|
||||||
semialign +semigroupoids,
|
semialign +semigroupoids,
|
||||||
any.semigroupoids ==5.3.6,
|
any.semigroupoids ==5.3.7,
|
||||||
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
||||||
any.semigroups ==0.20,
|
any.semigroups ==0.20,
|
||||||
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
||||||
@ -219,7 +219,7 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.simple-smt ==0.9.7,
|
any.simple-smt ==0.9.7,
|
||||||
any.splitmix ==0.1.0.4,
|
any.splitmix ==0.1.0.4,
|
||||||
splitmix -optimised-mixer,
|
splitmix -optimised-mixer,
|
||||||
any.statistics ==0.15.2.0,
|
any.statistics ==0.16.0.1,
|
||||||
any.stm ==2.5.0.1,
|
any.stm ==2.5.0.1,
|
||||||
any.streaming-commons ==0.2.2.3,
|
any.streaming-commons ==0.2.2.3,
|
||||||
streaming-commons -use-bytestring-builder,
|
streaming-commons -use-bytestring-builder,
|
||||||
@ -238,7 +238,7 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.test-framework ==0.8.2.0,
|
any.test-framework ==0.8.2.0,
|
||||||
any.test-framework-hunit ==0.3.0.2,
|
any.test-framework-hunit ==0.3.0.2,
|
||||||
test-framework-hunit -base3 +base4,
|
test-framework-hunit -base3 +base4,
|
||||||
any.test-lib ==0.3,
|
any.test-lib ==0.4,
|
||||||
any.text ==1.2.4.1,
|
any.text ==1.2.4.1,
|
||||||
any.text-short ==0.1.5,
|
any.text-short ==0.1.5,
|
||||||
text-short -asserts,
|
text-short -asserts,
|
||||||
@ -264,7 +264,7 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.unbounded-delays ==0.1.1.1,
|
any.unbounded-delays ==0.1.1.1,
|
||||||
any.uniplate ==1.6.13,
|
any.uniplate ==1.6.13,
|
||||||
any.unix ==2.7.2.2,
|
any.unix ==2.7.2.2,
|
||||||
any.unix-compat ==0.5.3,
|
any.unix-compat ==0.5.4,
|
||||||
unix-compat -old-time,
|
unix-compat -old-time,
|
||||||
any.unix-time ==0.4.7,
|
any.unix-time ==0.4.7,
|
||||||
any.unliftio ==0.2.20,
|
any.unliftio ==0.2.20,
|
||||||
@ -306,4 +306,4 @@ constraints: any.Cabal ==3.2.1.0,
|
|||||||
any.zlib ==0.6.2.3,
|
any.zlib ==0.6.2.3,
|
||||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||||
any.zlib-bindings ==0.1.1.5
|
any.zlib-bindings ==0.1.1.5
|
||||||
index-state: hackage.haskell.org 2022-01-06T13:38:03Z
|
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
|
||||||
|
@ -32,7 +32,7 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.assoc ==1.0.2,
|
any.assoc ==1.0.2,
|
||||||
any.async ==2.2.4,
|
any.async ==2.2.4,
|
||||||
async -bench,
|
async -bench,
|
||||||
any.attoparsec ==0.14.3,
|
any.attoparsec ==0.14.4,
|
||||||
attoparsec -developer,
|
attoparsec -developer,
|
||||||
any.auto-update ==0.1.6,
|
any.auto-update ==0.1.6,
|
||||||
any.base ==4.13.0.0,
|
any.base ==4.13.0.0,
|
||||||
@ -207,7 +207,7 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.scotty ==0.12,
|
any.scotty ==0.12,
|
||||||
any.semialign ==1.2.0.1,
|
any.semialign ==1.2.0.1,
|
||||||
semialign +semigroupoids,
|
semialign +semigroupoids,
|
||||||
any.semigroupoids ==5.3.6,
|
any.semigroupoids ==5.3.7,
|
||||||
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
||||||
any.semigroups ==0.20,
|
any.semigroups ==0.20,
|
||||||
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
||||||
@ -220,7 +220,7 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.simple-smt ==0.9.7,
|
any.simple-smt ==0.9.7,
|
||||||
any.splitmix ==0.1.0.4,
|
any.splitmix ==0.1.0.4,
|
||||||
splitmix -optimised-mixer,
|
splitmix -optimised-mixer,
|
||||||
any.statistics ==0.15.2.0,
|
any.statistics ==0.16.0.1,
|
||||||
any.stm ==2.5.0.0,
|
any.stm ==2.5.0.0,
|
||||||
any.streaming-commons ==0.2.2.3,
|
any.streaming-commons ==0.2.2.3,
|
||||||
streaming-commons -use-bytestring-builder,
|
streaming-commons -use-bytestring-builder,
|
||||||
@ -239,7 +239,7 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.test-framework ==0.8.2.0,
|
any.test-framework ==0.8.2.0,
|
||||||
any.test-framework-hunit ==0.3.0.2,
|
any.test-framework-hunit ==0.3.0.2,
|
||||||
test-framework-hunit -base3 +base4,
|
test-framework-hunit -base3 +base4,
|
||||||
any.test-lib ==0.3,
|
any.test-lib ==0.4,
|
||||||
any.text ==1.2.4.0,
|
any.text ==1.2.4.0,
|
||||||
any.text-short ==0.1.5,
|
any.text-short ==0.1.5,
|
||||||
text-short -asserts,
|
text-short -asserts,
|
||||||
@ -265,7 +265,7 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.unbounded-delays ==0.1.1.1,
|
any.unbounded-delays ==0.1.1.1,
|
||||||
any.uniplate ==1.6.13,
|
any.uniplate ==1.6.13,
|
||||||
any.unix ==2.7.2.2,
|
any.unix ==2.7.2.2,
|
||||||
any.unix-compat ==0.5.3,
|
any.unix-compat ==0.5.4,
|
||||||
unix-compat -old-time,
|
unix-compat -old-time,
|
||||||
any.unix-time ==0.4.7,
|
any.unix-time ==0.4.7,
|
||||||
any.unliftio ==0.2.20,
|
any.unliftio ==0.2.20,
|
||||||
@ -307,4 +307,4 @@ constraints: any.Cabal ==3.0.1.0,
|
|||||||
any.zlib ==0.6.2.3,
|
any.zlib ==0.6.2.3,
|
||||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||||
any.zlib-bindings ==0.1.1.5
|
any.zlib-bindings ==0.1.1.5
|
||||||
index-state: hackage.haskell.org 2022-01-06T13:38:03Z
|
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
|
||||||
|
@ -32,7 +32,7 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.assoc ==1.0.2,
|
any.assoc ==1.0.2,
|
||||||
any.async ==2.2.4,
|
any.async ==2.2.4,
|
||||||
async -bench,
|
async -bench,
|
||||||
any.attoparsec ==0.14.3,
|
any.attoparsec ==0.14.4,
|
||||||
attoparsec -developer,
|
attoparsec -developer,
|
||||||
any.auto-update ==0.1.6,
|
any.auto-update ==0.1.6,
|
||||||
any.base ==4.15.1.0,
|
any.base ==4.15.1.0,
|
||||||
@ -207,7 +207,7 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.scotty ==0.12,
|
any.scotty ==0.12,
|
||||||
any.semialign ==1.2.0.1,
|
any.semialign ==1.2.0.1,
|
||||||
semialign +semigroupoids,
|
semialign +semigroupoids,
|
||||||
any.semigroupoids ==5.3.6,
|
any.semigroupoids ==5.3.7,
|
||||||
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
|
||||||
any.semigroups ==0.20,
|
any.semigroups ==0.20,
|
||||||
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
|
||||||
@ -220,7 +220,7 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.simple-smt ==0.9.7,
|
any.simple-smt ==0.9.7,
|
||||||
any.splitmix ==0.1.0.4,
|
any.splitmix ==0.1.0.4,
|
||||||
splitmix -optimised-mixer,
|
splitmix -optimised-mixer,
|
||||||
any.statistics ==0.15.2.0,
|
any.statistics ==0.16.0.1,
|
||||||
any.stm ==2.5.0.0,
|
any.stm ==2.5.0.0,
|
||||||
any.streaming-commons ==0.2.2.3,
|
any.streaming-commons ==0.2.2.3,
|
||||||
streaming-commons -use-bytestring-builder,
|
streaming-commons -use-bytestring-builder,
|
||||||
@ -239,7 +239,7 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.test-framework ==0.8.2.0,
|
any.test-framework ==0.8.2.0,
|
||||||
any.test-framework-hunit ==0.3.0.2,
|
any.test-framework-hunit ==0.3.0.2,
|
||||||
test-framework-hunit -base3 +base4,
|
test-framework-hunit -base3 +base4,
|
||||||
any.test-lib ==0.3,
|
any.test-lib ==0.4,
|
||||||
any.text ==1.2.5.0,
|
any.text ==1.2.5.0,
|
||||||
any.text-short ==0.1.5,
|
any.text-short ==0.1.5,
|
||||||
text-short -asserts,
|
text-short -asserts,
|
||||||
@ -265,7 +265,7 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.unbounded-delays ==0.1.1.1,
|
any.unbounded-delays ==0.1.1.1,
|
||||||
any.uniplate ==1.6.13,
|
any.uniplate ==1.6.13,
|
||||||
any.unix ==2.7.2.2,
|
any.unix ==2.7.2.2,
|
||||||
any.unix-compat ==0.5.3,
|
any.unix-compat ==0.5.4,
|
||||||
unix-compat -old-time,
|
unix-compat -old-time,
|
||||||
any.unix-time ==0.4.7,
|
any.unix-time ==0.4.7,
|
||||||
any.unliftio ==0.2.20,
|
any.unliftio ==0.2.20,
|
||||||
@ -307,4 +307,4 @@ constraints: any.Cabal ==3.4.1.0,
|
|||||||
any.zlib ==0.6.2.3,
|
any.zlib ==0.6.2.3,
|
||||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||||
any.zlib-bindings ==0.1.1.5
|
any.zlib-bindings ==0.1.1.5
|
||||||
index-state: hackage.haskell.org 2022-01-06T13:38:03Z
|
index-state: hackage.haskell.org 2022-01-13T19:44:37Z
|
||||||
|
@ -3,7 +3,3 @@ packages:
|
|||||||
cryptol-remote-api
|
cryptol-remote-api
|
||||||
tests
|
tests
|
||||||
deps/argo/argo
|
deps/argo/argo
|
||||||
|
|
||||||
allow-newer:
|
|
||||||
-- See https://github.com/GaloisInc/test-lib/pull/2
|
|
||||||
test-lib:base
|
|
||||||
|
Loading…
Reference in New Issue
Block a user