mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
CI: Test GHC 9.6.2 and 9.4.7, drop GHC 8.10.7
This commit is contained in:
Ryan Scott
parent
a5b69e8c94
commit
55fb062a53
8
.github/workflows/ci.yml
vendored
8
.github/workflows/ci.yml
vendored
@ -65,15 +65,15 @@ jobs:
|
||||
fail-fast: false
|
||||
matrix:
|
||||
os: [ubuntu-22.04, macos-12, windows-2019]
|
||||
ghc-version: ["8.10.7", "9.2.8", "9.4.5"]
|
||||
cabal: [ '3.8.1.0' ]
|
||||
ghc-version: ["9.2.8", "9.4.7", "9.6.2"]
|
||||
cabal: [ '3.10.1.0' ]
|
||||
run-tests: [true]
|
||||
exclude:
|
||||
- os: windows-2019
|
||||
ghc-version: 8.10.7
|
||||
ghc-version: 9.4.7
|
||||
run-tests: true
|
||||
- os: windows-2019
|
||||
ghc-version: 9.4.5
|
||||
ghc-version: 9.6.2
|
||||
run-tests: true
|
||||
include:
|
||||
# We include one job from an older Ubuntu LTS release to increase our
|
||||
|
||||
@ -82,8 +82,8 @@ Windows. We regularly build and test it in the following environments:
|
||||
## Prerequisites
|
||||
|
||||
Cryptol is regularly built and tested with the three most recent
|
||||
versions of GHC, which at the time of this writing are 8.10.7, 9.2.8, and
|
||||
9.4.5. The easiest way to install an appropriate version of GHC is
|
||||
versions of GHC, which at the time of this writing are 9.2.8, 9.4.7, and
|
||||
9.6.2. The easiest way to install an appropriate version of GHC is
|
||||
with [ghcup](https://www.haskell.org/ghcup/).
|
||||
|
||||
Some supporting non-Haskell libraries are required to build
|
||||
|
||||
@ -13,13 +13,13 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
QuickCheck -old-random +templatehaskell,
|
||||
any.StateVar ==1.2.2,
|
||||
any.adjunctions ==4.4.2,
|
||||
any.aeson ==2.1.2.1,
|
||||
aeson -cffi +ordered-keymap,
|
||||
any.aeson ==2.2.0.0,
|
||||
aeson +ordered-keymap,
|
||||
any.alex ==3.4.0.0,
|
||||
any.ansi-terminal ==1.0,
|
||||
ansi-terminal -example,
|
||||
any.ansi-terminal-types ==0.11.5,
|
||||
any.ansi-wl-pprint ==0.6.9,
|
||||
any.ansi-wl-pprint ==1.0.2,
|
||||
ansi-wl-pprint -example,
|
||||
any.appar ==0.1.8,
|
||||
any.arithmoi ==0.13.0.0,
|
||||
@ -45,10 +45,10 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.bimap ==0.5.0,
|
||||
any.binary ==0.8.9.0,
|
||||
any.binary-orphans ==1.0.4.1,
|
||||
any.bitvec ==1.1.4.0,
|
||||
bitvec -libgmp,
|
||||
any.bitvec ==1.1.5.0,
|
||||
bitvec +simd,
|
||||
any.bitwise ==1.0.0.1,
|
||||
any.blaze-builder ==0.4.2.2,
|
||||
any.blaze-builder ==0.4.2.3,
|
||||
any.blaze-html ==0.9.1.2,
|
||||
any.blaze-markup ==0.8.2.8,
|
||||
any.bsb-http-chunked ==0.0.0.4,
|
||||
@ -77,7 +77,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.contravariant ==1.5.5,
|
||||
contravariant +semigroups +statevar +tagged,
|
||||
any.cookie ==0.4.6,
|
||||
any.criterion ==1.6.1.0,
|
||||
any.criterion ==1.6.3.0,
|
||||
criterion -embed-data-files -fast,
|
||||
any.criterion-measurement ==0.2.1.0,
|
||||
criterion-measurement -fast,
|
||||
@ -143,6 +143,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.indexed-traversable ==0.1.2.1,
|
||||
any.indexed-traversable-instances ==0.1.1.2,
|
||||
any.infinite-list ==0.1,
|
||||
any.integer-conversion ==0.1,
|
||||
any.integer-gmp ==1.1,
|
||||
any.integer-logarithms ==1.0.3.1,
|
||||
integer-logarithms -check-bounds +integer-gmp,
|
||||
@ -154,9 +155,9 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.js-chart ==2.9.4.1,
|
||||
any.kan-extensions ==5.2.5,
|
||||
any.language-c99 ==0.2.0,
|
||||
any.language-c99-simple ==0.2.2,
|
||||
any.language-c99-simple ==0.2.3,
|
||||
any.language-c99-util ==0.2.0,
|
||||
any.lens ==5.2.2,
|
||||
any.lens ==5.2.3,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.6,
|
||||
libBF -system-libbf,
|
||||
@ -164,7 +165,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
libffi +ghc-bundled-libffi,
|
||||
any.math-functions ==0.3.4.2,
|
||||
math-functions +system-erf +system-expm1,
|
||||
any.megaparsec ==9.4.1,
|
||||
any.megaparsec ==9.5.0,
|
||||
megaparsec -dev,
|
||||
any.memory ==0.18.0,
|
||||
memory +support_bytestring +support_deepseq,
|
||||
@ -179,11 +180,12 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
network -devel,
|
||||
any.network-byte-order ==0.1.6,
|
||||
any.network-info ==0.2.1,
|
||||
any.network-uri ==2.6.4.2,
|
||||
any.newtype-generics ==0.6.2,
|
||||
any.numtype-dk ==0.5.0.3,
|
||||
any.old-locale ==1.0.0.7,
|
||||
any.old-time ==1.1.0.3,
|
||||
any.optparse-applicative ==0.16.1.0,
|
||||
any.optparse-applicative ==0.18.1.0,
|
||||
optparse-applicative +process,
|
||||
any.ordered-containers ==0.2.3,
|
||||
any.panic ==0.4.0.1,
|
||||
@ -198,6 +200,8 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.pretty-show ==1.10,
|
||||
any.prettyprinter ==1.7.1,
|
||||
prettyprinter -buildreadme +text,
|
||||
any.prettyprinter-ansi-terminal ==1.1.3,
|
||||
any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
|
||||
any.primitive ==0.8.0.0,
|
||||
any.process ==1.6.16.0,
|
||||
any.profunctors ==5.6.2,
|
||||
@ -257,18 +261,20 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
test-framework-hunit -base3 +base4,
|
||||
any.test-lib ==0.4,
|
||||
any.text ==1.2.5.0,
|
||||
any.text-iso8601 ==0.1,
|
||||
any.text-short ==0.1.5,
|
||||
text-short -asserts,
|
||||
any.tf-random ==0.5,
|
||||
any.th-abstraction ==0.5.0.0,
|
||||
any.th-compat ==0.1.4,
|
||||
any.th-lift ==0.8.4,
|
||||
any.th-lift-instances ==0.1.20,
|
||||
any.these ==1.2,
|
||||
any.time ==1.11.1.1,
|
||||
any.time-compat ==1.9.6.1,
|
||||
time-compat -old-locale,
|
||||
any.time-manager ==0.0.0,
|
||||
any.tls ==1.7.1,
|
||||
any.time-manager ==0.0.1,
|
||||
any.tls ==1.8.0,
|
||||
tls +compat -hans +network,
|
||||
any.tls-session-manager ==0.0.4,
|
||||
any.transformers ==0.5.6.2,
|
||||
@ -308,7 +314,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.wai-logger ==2.4.0,
|
||||
any.warp ==3.3.28,
|
||||
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
|
||||
any.warp-tls ==3.4.0,
|
||||
any.warp-tls ==3.4.1,
|
||||
any.what4 ==1.5,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.witherable ==0.4.2,
|
||||
@ -318,4 +324,4 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.zlib ==0.6.3.0,
|
||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||
any.zlib-bindings ==0.1.1.5
|
||||
index-state: hackage.haskell.org 2023-08-12T09:08:58Z
|
||||
index-state: hackage.haskell.org 2023-08-30T21:35:34Z
|
||||
|
||||
@ -14,13 +14,13 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
QuickCheck -old-random +templatehaskell,
|
||||
any.StateVar ==1.2.2,
|
||||
any.adjunctions ==4.4.2,
|
||||
any.aeson ==2.1.2.1,
|
||||
aeson -cffi +ordered-keymap,
|
||||
any.aeson ==2.2.0.0,
|
||||
aeson +ordered-keymap,
|
||||
any.alex ==3.4.0.0,
|
||||
any.ansi-terminal ==1.0,
|
||||
ansi-terminal -example,
|
||||
any.ansi-terminal-types ==0.11.5,
|
||||
any.ansi-wl-pprint ==0.6.9,
|
||||
any.ansi-wl-pprint ==1.0.2,
|
||||
ansi-wl-pprint -example,
|
||||
any.appar ==0.1.8,
|
||||
any.arithmoi ==0.13.0.0,
|
||||
@ -35,7 +35,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.attoparsec ==0.14.4,
|
||||
attoparsec -developer,
|
||||
any.auto-update ==0.1.6,
|
||||
any.base ==4.17.1.0,
|
||||
any.base ==4.17.2.0,
|
||||
any.base-compat ==0.12.3,
|
||||
any.base-compat-batteries ==0.12.3,
|
||||
any.base-orphans ==0.9.0,
|
||||
@ -46,16 +46,16 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.bimap ==0.5.0,
|
||||
any.binary ==0.8.9.1,
|
||||
any.binary-orphans ==1.0.4.1,
|
||||
any.bitvec ==1.1.4.0,
|
||||
bitvec -libgmp,
|
||||
any.bitvec ==1.1.5.0,
|
||||
bitvec +simd,
|
||||
any.bitwise ==1.0.0.1,
|
||||
any.blaze-builder ==0.4.2.2,
|
||||
any.blaze-builder ==0.4.2.3,
|
||||
any.blaze-html ==0.9.1.2,
|
||||
any.blaze-markup ==0.8.2.8,
|
||||
any.bsb-http-chunked ==0.0.0.4,
|
||||
any.bv-sized ==1.0.5,
|
||||
any.byteorder ==1.0.4,
|
||||
any.bytestring ==0.11.4.0,
|
||||
any.bytestring ==0.11.5.2,
|
||||
any.cabal-doctest ==1.0.9,
|
||||
any.call-stack ==0.4.0,
|
||||
any.case-insensitive ==1.2.1.0,
|
||||
@ -78,7 +78,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.contravariant ==1.5.5,
|
||||
contravariant +semigroups +statevar +tagged,
|
||||
any.cookie ==0.4.6,
|
||||
any.criterion ==1.6.1.0,
|
||||
any.criterion ==1.6.3.0,
|
||||
criterion -embed-data-files -fast,
|
||||
any.criterion-measurement ==0.2.1.0,
|
||||
criterion-measurement -fast,
|
||||
@ -119,8 +119,8 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.free ==5.2,
|
||||
any.generically ==0.1.1,
|
||||
any.ghc-bignum ==1.3,
|
||||
any.ghc-boot-th ==9.4.5,
|
||||
any.ghc-prim ==0.9.0,
|
||||
any.ghc-boot-th ==9.4.7,
|
||||
any.ghc-prim ==0.9.1,
|
||||
any.gitrev ==1.3.1,
|
||||
any.happy ==1.20.1.1,
|
||||
any.hashable ==1.4.3.0,
|
||||
@ -143,6 +143,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.indexed-traversable ==0.1.2.1,
|
||||
any.indexed-traversable-instances ==0.1.1.2,
|
||||
any.infinite-list ==0.1,
|
||||
any.integer-conversion ==0.1,
|
||||
any.integer-gmp ==1.1,
|
||||
any.integer-logarithms ==1.0.3.1,
|
||||
integer-logarithms -check-bounds +integer-gmp,
|
||||
@ -154,9 +155,9 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.js-chart ==2.9.4.1,
|
||||
any.kan-extensions ==5.2.5,
|
||||
any.language-c99 ==0.2.0,
|
||||
any.language-c99-simple ==0.2.2,
|
||||
any.language-c99-simple ==0.2.3,
|
||||
any.language-c99-util ==0.2.0,
|
||||
any.lens ==5.2.2,
|
||||
any.lens ==5.2.3,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.6,
|
||||
libBF -system-libbf,
|
||||
@ -164,7 +165,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
libffi +ghc-bundled-libffi,
|
||||
any.math-functions ==0.3.4.2,
|
||||
math-functions +system-erf +system-expm1,
|
||||
any.megaparsec ==9.4.1,
|
||||
any.megaparsec ==9.5.0,
|
||||
megaparsec -dev,
|
||||
any.memory ==0.18.0,
|
||||
memory +support_bytestring +support_deepseq,
|
||||
@ -179,11 +180,12 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
network -devel,
|
||||
any.network-byte-order ==0.1.6,
|
||||
any.network-info ==0.2.1,
|
||||
any.network-uri ==2.6.4.2,
|
||||
any.newtype-generics ==0.6.2,
|
||||
any.numtype-dk ==0.5.0.3,
|
||||
any.old-locale ==1.0.0.7,
|
||||
any.old-time ==1.1.0.3,
|
||||
any.optparse-applicative ==0.16.1.0,
|
||||
any.optparse-applicative ==0.18.1.0,
|
||||
optparse-applicative +process,
|
||||
any.ordered-containers ==0.2.3,
|
||||
any.panic ==0.4.0.1,
|
||||
@ -198,8 +200,10 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.pretty-show ==1.10,
|
||||
any.prettyprinter ==1.7.1,
|
||||
prettyprinter -buildreadme +text,
|
||||
any.prettyprinter-ansi-terminal ==1.1.3,
|
||||
any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
|
||||
any.primitive ==0.8.0.0,
|
||||
any.process ==1.6.16.0,
|
||||
any.process ==1.6.17.0,
|
||||
any.profunctors ==5.6.2,
|
||||
any.psqueues ==0.2.7.3,
|
||||
any.quickcheck-instances ==0.3.29.1,
|
||||
@ -257,18 +261,20 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
test-framework-hunit -base3 +base4,
|
||||
any.test-lib ==0.4,
|
||||
any.text ==2.0.2,
|
||||
any.text-iso8601 ==0.1,
|
||||
any.text-short ==0.1.5,
|
||||
text-short -asserts,
|
||||
any.tf-random ==0.5,
|
||||
any.th-abstraction ==0.5.0.0,
|
||||
any.th-compat ==0.1.4,
|
||||
any.th-lift ==0.8.4,
|
||||
any.th-lift-instances ==0.1.20,
|
||||
any.these ==1.2,
|
||||
any.time ==1.12.2,
|
||||
any.time-compat ==1.9.6.1,
|
||||
time-compat -old-locale,
|
||||
any.time-manager ==0.0.0,
|
||||
any.tls ==1.7.1,
|
||||
any.time-manager ==0.0.1,
|
||||
any.tls ==1.8.0,
|
||||
tls +compat -hans +network,
|
||||
any.tls-session-manager ==0.0.4,
|
||||
any.transformers ==0.5.6.2,
|
||||
@ -308,7 +314,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.wai-logger ==2.4.0,
|
||||
any.warp ==3.3.28,
|
||||
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
|
||||
any.warp-tls ==3.4.0,
|
||||
any.warp-tls ==3.4.1,
|
||||
any.what4 ==1.5,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.witherable ==0.4.2,
|
||||
@ -318,4 +324,4 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.zlib ==0.6.3.0,
|
||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||
any.zlib-bindings ==0.1.1.5
|
||||
index-state: hackage.haskell.org 2023-08-12T09:08:58Z
|
||||
index-state: hackage.haskell.org 2023-08-30T21:35:34Z
|
||||
@ -1,6 +1,7 @@
|
||||
active-repositories: hackage.haskell.org:merge
|
||||
constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.Cabal ==3.2.1.0,
|
||||
any.Cabal ==3.10.1.0,
|
||||
any.Cabal-syntax ==3.10.1.0,
|
||||
any.Glob ==0.10.2,
|
||||
any.GraphSCC ==1.0.4,
|
||||
GraphSCC -use-maps,
|
||||
@ -13,17 +14,17 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
QuickCheck -old-random +templatehaskell,
|
||||
any.StateVar ==1.2.2,
|
||||
any.adjunctions ==4.4.2,
|
||||
any.aeson ==2.1.2.1,
|
||||
aeson -cffi +ordered-keymap,
|
||||
any.aeson ==2.2.0.0,
|
||||
aeson +ordered-keymap,
|
||||
any.alex ==3.4.0.0,
|
||||
any.ansi-terminal ==1.0,
|
||||
ansi-terminal -example,
|
||||
any.ansi-terminal-types ==0.11.5,
|
||||
any.ansi-wl-pprint ==0.6.9,
|
||||
any.ansi-wl-pprint ==1.0.2,
|
||||
ansi-wl-pprint -example,
|
||||
any.appar ==0.1.8,
|
||||
any.arithmoi ==0.12.1.0,
|
||||
any.array ==0.5.4.0,
|
||||
any.arithmoi ==0.13.0.0,
|
||||
any.array ==0.5.5.0,
|
||||
any.asn1-encoding ==0.9.6,
|
||||
any.asn1-parse ==0.9.5,
|
||||
any.asn1-types ==0.3.4,
|
||||
@ -34,7 +35,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.attoparsec ==0.14.4,
|
||||
attoparsec -developer,
|
||||
any.auto-update ==0.1.6,
|
||||
any.base ==4.14.3.0,
|
||||
any.base ==4.18.0.0,
|
||||
any.base-compat ==0.12.3,
|
||||
any.base-compat-batteries ==0.12.3,
|
||||
any.base-orphans ==0.9.0,
|
||||
@ -43,18 +44,18 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.bifunctors ==5.6.1,
|
||||
bifunctors +tagged,
|
||||
any.bimap ==0.5.0,
|
||||
any.binary ==0.8.8.0,
|
||||
any.binary ==0.8.9.1,
|
||||
any.binary-orphans ==1.0.4.1,
|
||||
any.bitvec ==1.1.4.0,
|
||||
bitvec -libgmp,
|
||||
any.bitvec ==1.1.5.0,
|
||||
bitvec +simd,
|
||||
any.bitwise ==1.0.0.1,
|
||||
any.blaze-builder ==0.4.2.2,
|
||||
any.blaze-builder ==0.4.2.3,
|
||||
any.blaze-html ==0.9.1.2,
|
||||
any.blaze-markup ==0.8.2.8,
|
||||
any.bsb-http-chunked ==0.0.0.4,
|
||||
any.bv-sized ==1.0.5,
|
||||
any.byteorder ==1.0.4,
|
||||
any.bytestring ==0.10.12.0,
|
||||
any.bytestring ==0.11.4.0,
|
||||
any.cabal-doctest ==1.0.9,
|
||||
any.call-stack ==0.4.0,
|
||||
any.case-insensitive ==1.2.1.0,
|
||||
@ -73,11 +74,11 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.concurrent-extra ==0.7.0.12,
|
||||
any.config-value ==0.8.3,
|
||||
any.constraints ==0.13.4,
|
||||
any.containers ==0.6.5.1,
|
||||
any.containers ==0.6.7,
|
||||
any.contravariant ==1.5.5,
|
||||
contravariant +semigroups +statevar +tagged,
|
||||
any.cookie ==0.4.6,
|
||||
any.criterion ==1.6.1.0,
|
||||
any.criterion ==1.6.3.0,
|
||||
criterion -embed-data-files -fast,
|
||||
any.criterion-measurement ==0.2.1.0,
|
||||
criterion-measurement -fast,
|
||||
@ -91,14 +92,13 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.crypton-x509 ==1.7.6,
|
||||
any.crypton-x509-store ==1.6.9,
|
||||
any.crypton-x509-validation ==1.6.12,
|
||||
any.data-array-byte ==0.1.0.1,
|
||||
any.data-default-class ==0.1.2.0,
|
||||
any.data-fix ==0.3.2,
|
||||
any.deepseq ==1.4.4.0,
|
||||
any.deepseq ==1.4.8.1,
|
||||
any.dense-linear-algebra ==0.1.0.0,
|
||||
any.deriving-compat ==0.6.5,
|
||||
deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11,
|
||||
any.directory ==1.3.6.0,
|
||||
any.directory ==1.3.8.1,
|
||||
any.distributive ==0.6.2.1,
|
||||
distributive +semigroups +tagged,
|
||||
any.dlist ==1.0,
|
||||
@ -107,26 +107,25 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.entropy ==0.4.1.10,
|
||||
entropy -donotgetentropy,
|
||||
any.exact-pi ==0.5.0.2,
|
||||
any.exceptions ==0.10.4,
|
||||
any.exceptions ==0.10.7,
|
||||
any.extensible-exceptions ==0.1.1.4,
|
||||
any.extra ==1.7.14,
|
||||
any.fast-logger ==3.2.2,
|
||||
any.filelock ==0.1.1.7,
|
||||
any.filepath ==1.4.2.1,
|
||||
any.filepath ==1.4.100.1,
|
||||
any.fingertree ==0.1.5.0,
|
||||
any.foldable1-classes-compat ==0.1,
|
||||
foldable1-classes-compat +tagged,
|
||||
any.free ==5.2,
|
||||
any.generically ==0.1.1,
|
||||
any.ghc-boot-th ==8.10.7,
|
||||
any.ghc-prim ==0.6.1,
|
||||
any.ghc-bignum ==1.3,
|
||||
any.ghc-boot-th ==9.6.2,
|
||||
any.ghc-prim ==0.10.0,
|
||||
any.gitrev ==1.3.1,
|
||||
any.happy ==1.20.1.1,
|
||||
any.hashable ==1.4.3.0,
|
||||
hashable +integer-gmp -random-initial-seed,
|
||||
any.hashtables ==1.3.1,
|
||||
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
|
||||
any.haskeline ==0.8.2,
|
||||
any.haskeline ==0.8.2.1,
|
||||
any.haskell-lexer ==1.1.1,
|
||||
any.heredoc ==0.2.0.0,
|
||||
any.hgmp ==0.1.2.1,
|
||||
@ -141,7 +140,9 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.ieee754 ==0.8.0,
|
||||
any.indexed-traversable ==0.1.2.1,
|
||||
any.indexed-traversable-instances ==0.1.1.2,
|
||||
any.integer-gmp ==1.0.3.0,
|
||||
any.infinite-list ==0.1,
|
||||
any.integer-conversion ==0.1,
|
||||
any.integer-gmp ==1.1,
|
||||
any.integer-logarithms ==1.0.3.1,
|
||||
integer-logarithms -check-bounds +integer-gmp,
|
||||
any.integer-roots ==1.0.2.0,
|
||||
@ -152,9 +153,9 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.js-chart ==2.9.4.1,
|
||||
any.kan-extensions ==5.2.5,
|
||||
any.language-c99 ==0.2.0,
|
||||
any.language-c99-simple ==0.2.2,
|
||||
any.language-c99-simple ==0.2.3,
|
||||
any.language-c99-util ==0.2.0,
|
||||
any.lens ==5.2.2,
|
||||
any.lens ==5.2.3,
|
||||
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
|
||||
any.libBF ==0.6.6,
|
||||
libBF -system-libbf,
|
||||
@ -162,33 +163,34 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
libffi +ghc-bundled-libffi,
|
||||
any.math-functions ==0.3.4.2,
|
||||
math-functions +system-erf +system-expm1,
|
||||
any.megaparsec ==9.2.1,
|
||||
any.megaparsec ==9.5.0,
|
||||
megaparsec -dev,
|
||||
any.memory ==0.18.0,
|
||||
memory +support_bytestring +support_deepseq,
|
||||
any.microstache ==1.0.2.3,
|
||||
any.mod ==0.1.2.2,
|
||||
any.mod ==0.2.0.1,
|
||||
mod +semirings +vector,
|
||||
any.monad-control ==1.0.3.1,
|
||||
any.monadLib ==3.10.1,
|
||||
any.mtl ==2.2.2,
|
||||
any.mtl ==2.3.1,
|
||||
any.mwc-random ==0.15.0.2,
|
||||
any.network ==3.1.4.0,
|
||||
network -devel,
|
||||
any.network-byte-order ==0.1.6,
|
||||
any.network-info ==0.2.1,
|
||||
any.network-uri ==2.6.4.2,
|
||||
any.newtype-generics ==0.6.2,
|
||||
any.numtype-dk ==0.5.0.3,
|
||||
any.old-locale ==1.0.0.7,
|
||||
any.old-time ==1.1.0.3,
|
||||
any.optparse-applicative ==0.16.1.0,
|
||||
any.optparse-applicative ==0.18.1.0,
|
||||
optparse-applicative +process,
|
||||
any.ordered-containers ==0.2.3,
|
||||
any.panic ==0.4.0.1,
|
||||
any.parallel ==3.2.2.0,
|
||||
any.parameterized-utils ==2.1.7.0,
|
||||
parameterized-utils +unsafe-operations,
|
||||
any.parsec ==3.1.14.0,
|
||||
any.parsec ==3.1.16.1,
|
||||
any.parser-combinators ==1.3.0,
|
||||
parser-combinators -dev,
|
||||
any.pem ==0.2.4,
|
||||
@ -196,8 +198,10 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.pretty-show ==1.10,
|
||||
any.prettyprinter ==1.7.1,
|
||||
prettyprinter -buildreadme +text,
|
||||
any.prettyprinter-ansi-terminal ==1.1.3,
|
||||
any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
|
||||
any.primitive ==0.8.0.0,
|
||||
any.process ==1.6.13.2,
|
||||
any.process ==1.6.17.0,
|
||||
any.profunctors ==5.6.2,
|
||||
any.psqueues ==0.2.7.3,
|
||||
any.quickcheck-instances ==0.3.29.1,
|
||||
@ -211,12 +215,12 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.regex-posix ==0.96.0.1,
|
||||
regex-posix -_regex-posix-clib,
|
||||
any.resourcet ==1.3.0,
|
||||
any.rts ==1.0.1,
|
||||
any.rts ==1.0.2,
|
||||
any.s-cargot ==0.1.6.0,
|
||||
s-cargot -build-example,
|
||||
any.safe ==0.3.19,
|
||||
any.safe-exceptions ==0.1.7.4,
|
||||
any.sbv ==9.2,
|
||||
any.sbv ==10.2,
|
||||
any.scientific ==0.3.7.0,
|
||||
scientific -bytestring-builder -integer-simple,
|
||||
any.scotty ==0.12.1,
|
||||
@ -236,7 +240,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.splitmix ==0.1.0.4,
|
||||
splitmix -optimised-mixer,
|
||||
any.statistics ==0.16.2.0,
|
||||
any.stm ==2.5.0.1,
|
||||
any.stm ==2.5.1.0,
|
||||
any.streaming-commons ==0.2.2.6,
|
||||
streaming-commons -use-bytestring-builder,
|
||||
any.strict ==0.5,
|
||||
@ -247,29 +251,31 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
tasty +unix,
|
||||
any.tasty-hunit ==0.10.0.3,
|
||||
any.tasty-quickcheck ==0.10.2,
|
||||
any.template-haskell ==2.16.0.0,
|
||||
any.template-haskell ==2.20.0.0,
|
||||
any.temporary ==1.3,
|
||||
any.terminfo ==0.4.1.4,
|
||||
any.terminfo ==0.4.1.6,
|
||||
any.test-framework ==0.8.2.0,
|
||||
any.test-framework-hunit ==0.3.0.2,
|
||||
test-framework-hunit -base3 +base4,
|
||||
any.test-lib ==0.4,
|
||||
any.text ==1.2.4.1,
|
||||
any.text ==2.0.2,
|
||||
any.text-iso8601 ==0.1,
|
||||
any.text-short ==0.1.5,
|
||||
text-short -asserts,
|
||||
any.tf-random ==0.5,
|
||||
any.th-abstraction ==0.5.0.0,
|
||||
any.th-compat ==0.1.4,
|
||||
any.th-lift ==0.8.4,
|
||||
any.th-lift-instances ==0.1.20,
|
||||
any.these ==1.2,
|
||||
any.time ==1.9.3,
|
||||
any.time ==1.12.2,
|
||||
any.time-compat ==1.9.6.1,
|
||||
time-compat -old-locale,
|
||||
any.time-manager ==0.0.0,
|
||||
any.tls ==1.7.1,
|
||||
any.time-manager ==0.0.1,
|
||||
any.tls ==1.8.0,
|
||||
tls +compat -hans +network,
|
||||
any.tls-session-manager ==0.0.4,
|
||||
any.transformers ==0.5.6.2,
|
||||
any.transformers ==0.6.1.0,
|
||||
any.transformers-base ==0.4.6,
|
||||
transformers-base +orphaninstances,
|
||||
any.transformers-compat ==0.7.2,
|
||||
@ -277,7 +283,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.type-equality ==1,
|
||||
any.unbounded-delays ==0.1.1.1,
|
||||
any.uniplate ==1.6.13,
|
||||
any.unix ==2.7.2.2,
|
||||
any.unix ==2.8.1.0,
|
||||
any.unix-compat ==0.7,
|
||||
unix-compat -old-time,
|
||||
any.unix-time ==0.4.10,
|
||||
@ -306,7 +312,7 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.wai-logger ==2.4.0,
|
||||
any.warp ==3.3.28,
|
||||
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
|
||||
any.warp-tls ==3.4.0,
|
||||
any.warp-tls ==3.4.1,
|
||||
any.what4 ==1.5,
|
||||
what4 -drealtestdisable -solvertests -stptestdisable,
|
||||
any.witherable ==0.4.2,
|
||||
@ -316,4 +322,4 @@ constraints: any.BoundedChan ==1.0.3.0,
|
||||
any.zlib ==0.6.3.0,
|
||||
zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
|
||||
any.zlib-bindings ==0.1.1.5
|
||||
index-state: hackage.haskell.org 2023-08-12T09:08:58Z
|
||||
index-state: hackage.haskell.org 2023-08-30T21:35:34Z
|
||||
Loading…
Reference in New Issue
Block a user