diff --git a/cabal.GHC-8.10.7.config b/cabal.GHC-8.10.7.config index 836e54924..5914467eb 100644 --- a/cabal.GHC-8.10.7.config +++ b/cabal.GHC-8.10.7.config @@ -5,9 +5,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.GraphSCC ==1.0.4, GraphSCC -use-maps, any.HUnit ==1.6.2.0, - any.MemoTrie ==0.6.10, + any.MemoTrie ==0.6.11, MemoTrie -examples, - any.OneTuple ==0.3.1, + any.OneTuple ==0.4.1.1, any.Only ==0.1, any.QuickCheck ==2.14.3, QuickCheck -old-random +templatehaskell, @@ -35,9 +35,9 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.auto-update ==0.1.6, any.base ==4.14.3.0, - any.base-compat ==0.12.2, - any.base-compat-batteries ==0.12.2, - any.base-orphans ==0.8.8.2, + any.base-compat ==0.12.3, + any.base-compat-batteries ==0.12.3, + any.base-orphans ==0.9.0, any.base64-bytestring ==1.2.1.0, any.basement ==0.0.16, any.bifunctors ==5.6.1, @@ -64,7 +64,7 @@ constraints: any.BoundedChan ==1.0.3.0, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, any.code-page ==0.2.1, any.colour ==2.3.6, @@ -96,7 +96,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-fix ==0.3.2, any.deepseq ==1.4.4.0, any.dense-linear-algebra ==0.1.0.0, - any.deriving-compat ==0.6.3, + 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.distributive ==0.6.2.1, @@ -111,7 +111,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.extensible-exceptions ==0.1.1.4, any.extra ==1.7.14, any.fast-logger ==3.2.2, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filepath ==1.4.2.1, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, @@ -122,7 +122,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.6.1, any.gitrev ==1.3.1, any.happy ==1.20.1.1, - any.hashable ==1.4.2.0, + 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, @@ -145,7 +145,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.integer-logarithms ==1.0.3.1, integer-logarithms -check-bounds +integer-gmp, any.integer-roots ==1.0.2.0, - any.invariant ==0.6.1, + any.invariant ==0.6.2, any.io-streams ==1.5.2.2, io-streams +network -nointeractivetests +zlib, any.iproute ==1.7.12, @@ -156,7 +156,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.language-c99-util ==0.2.0, any.lens ==5.2.2, lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, - any.libBF ==0.6.5.1, + any.libBF ==0.6.6, libBF -system-libbf, any.libffi ==0.2.1, libffi +ghc-bundled-libffi, @@ -186,7 +186,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ordered-containers ==0.2.3, any.panic ==0.4.0.1, any.parallel ==3.2.2.0, - any.parameterized-utils ==2.1.6.0, + any.parameterized-utils ==2.1.7.0, parameterized-utils +unsafe-operations, any.parsec ==3.1.14.0, any.parser-combinators ==1.3.0, @@ -240,8 +240,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.syb ==0.7.2.3, - any.tagged ==0.8.7, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -258,15 +258,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, - any.th-abstraction ==0.4.5.0, - any.th-lift ==0.8.3, + any.th-abstraction ==0.5.0.0, + any.th-lift ==0.8.4, any.th-lift-instances ==0.1.20, any.these ==1.2, any.time ==1.9.3, any.time-compat ==1.9.6.1, time-compat -old-locale, any.time-manager ==0.0.0, - any.tls ==1.7.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -307,7 +307,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, any.warp-tls ==3.4.0, - any.what4 ==1.4, + any.what4 ==1.5, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.word8 ==0.1.3, @@ -316,4 +316,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-07-10T01:00:51Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z diff --git a/cabal.GHC-9.2.8.config b/cabal.GHC-9.2.8.config index 53fff935d..b861891b6 100644 --- a/cabal.GHC-9.2.8.config +++ b/cabal.GHC-9.2.8.config @@ -5,7 +5,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.GraphSCC ==1.0.4, GraphSCC -use-maps, any.HUnit ==1.6.2.0, - any.MemoTrie ==0.6.10, + any.MemoTrie ==0.6.11, MemoTrie -examples, any.OneTuple ==0.4.1.1, any.Only ==0.1, @@ -22,7 +22,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ansi-wl-pprint ==0.6.9, ansi-wl-pprint -example, any.appar ==0.1.8, - any.arithmoi ==0.12.1.0, + any.arithmoi ==0.13.0.0, any.array ==0.5.4.0, any.asn1-encoding ==0.9.6, any.asn1-parse ==0.9.5, @@ -35,9 +35,9 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.auto-update ==0.1.6, any.base ==4.16.4.0, - any.base-compat ==0.12.2, - any.base-compat-batteries ==0.12.2, - any.base-orphans ==0.8.8.2, + any.base-compat ==0.12.3, + any.base-compat-batteries ==0.12.3, + any.base-orphans ==0.9.0, any.base64-bytestring ==1.2.1.0, any.basement ==0.0.16, any.bifunctors ==5.6.1, @@ -64,7 +64,7 @@ constraints: any.BoundedChan ==1.0.3.0, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, any.code-page ==0.2.1, any.colour ==2.3.6, @@ -96,7 +96,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-fix ==0.3.2, any.deepseq ==1.4.6.1, any.dense-linear-algebra ==0.1.0.0, - any.deriving-compat ==0.6.3, + any.deriving-compat ==0.6.5, deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11, any.directory ==1.3.6.2, any.distributive ==0.6.2.1, @@ -111,7 +111,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.extensible-exceptions ==0.1.1.4, any.extra ==1.7.14, any.fast-logger ==3.2.2, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filepath ==1.4.2.2, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, @@ -123,7 +123,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.8.0, any.gitrev ==1.3.1, any.happy ==1.20.1.1, - any.hashable ==1.4.2.0, + 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, @@ -142,11 +142,12 @@ 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.infinite-list ==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, - any.invariant ==0.6.1, + any.invariant ==0.6.2, any.io-streams ==1.5.2.2, io-streams +network -nointeractivetests +zlib, any.iproute ==1.7.12, @@ -157,7 +158,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.language-c99-util ==0.2.0, any.lens ==5.2.2, lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, - any.libBF ==0.6.5.1, + any.libBF ==0.6.6, libBF -system-libbf, any.libffi ==0.2.1, libffi +ghc-bundled-libffi, @@ -187,7 +188,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ordered-containers ==0.2.3, any.panic ==0.4.0.1, any.parallel ==3.2.2.0, - any.parameterized-utils ==2.1.6.0, + any.parameterized-utils ==2.1.7.0, parameterized-utils +unsafe-operations, any.parsec ==3.1.15.0, any.parser-combinators ==1.3.0, @@ -241,8 +242,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.syb ==0.7.2.3, - any.tagged ==0.8.7, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -259,15 +260,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, - any.th-abstraction ==0.4.5.0, - any.th-lift ==0.8.3, + any.th-abstraction ==0.5.0.0, + 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.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -308,7 +309,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, any.warp-tls ==3.4.0, - any.what4 ==1.4, + any.what4 ==1.5, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.word8 ==0.1.3, @@ -317,4 +318,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-07-10T01:00:51Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z diff --git a/cabal.GHC-9.4.5.config b/cabal.GHC-9.4.5.config index 892553ac4..1de99b4ea 100644 --- a/cabal.GHC-9.4.5.config +++ b/cabal.GHC-9.4.5.config @@ -6,7 +6,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.GraphSCC ==1.0.4, GraphSCC -use-maps, any.HUnit ==1.6.2.0, - any.MemoTrie ==0.6.10, + any.MemoTrie ==0.6.11, MemoTrie -examples, any.OneTuple ==0.4.1.1, any.Only ==0.1, @@ -23,7 +23,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ansi-wl-pprint ==0.6.9, ansi-wl-pprint -example, any.appar ==0.1.8, - any.arithmoi ==0.12.1.0, + any.arithmoi ==0.13.0.0, any.array ==0.5.4.0, any.asn1-encoding ==0.9.6, any.asn1-parse ==0.9.5, @@ -36,9 +36,9 @@ constraints: any.BoundedChan ==1.0.3.0, attoparsec -developer, any.auto-update ==0.1.6, any.base ==4.17.1.0, - any.base-compat ==0.12.2, - any.base-compat-batteries ==0.12.2, - any.base-orphans ==0.8.8.2, + any.base-compat ==0.12.3, + any.base-compat-batteries ==0.12.3, + any.base-orphans ==0.9.0, any.base64-bytestring ==1.2.1.0, any.basement ==0.0.16, any.bifunctors ==5.6.1, @@ -65,7 +65,7 @@ constraints: any.BoundedChan ==1.0.3.0, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, any.code-page ==0.2.1, any.colour ==2.3.6, @@ -96,7 +96,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-fix ==0.3.2, any.deepseq ==1.4.8.0, any.dense-linear-algebra ==0.1.0.0, - any.deriving-compat ==0.6.3, + any.deriving-compat ==0.6.5, deriving-compat +base-4-9 +new-functor-classes +template-haskell-2-11, any.directory ==1.3.7.1, any.distributive ==0.6.2.1, @@ -111,7 +111,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.extensible-exceptions ==0.1.1.4, any.extra ==1.7.14, any.fast-logger ==3.2.2, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filepath ==1.4.2.2, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, @@ -123,7 +123,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ghc-prim ==0.9.0, any.gitrev ==1.3.1, any.happy ==1.20.1.1, - any.hashable ==1.4.2.0, + 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, @@ -142,11 +142,12 @@ 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.infinite-list ==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, - any.invariant ==0.6.1, + any.invariant ==0.6.2, any.io-streams ==1.5.2.2, io-streams +network -nointeractivetests +zlib, any.iproute ==1.7.12, @@ -157,7 +158,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.language-c99-util ==0.2.0, any.lens ==5.2.2, lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy, - any.libBF ==0.6.5.1, + any.libBF ==0.6.6, libBF -system-libbf, any.libffi ==0.2.1, libffi +ghc-bundled-libffi, @@ -187,7 +188,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.ordered-containers ==0.2.3, any.panic ==0.4.0.1, any.parallel ==3.2.2.0, - any.parameterized-utils ==2.1.6.0, + any.parameterized-utils ==2.1.7.0, parameterized-utils +unsafe-operations, any.parsec ==3.1.16.1, any.parser-combinators ==1.3.0, @@ -241,8 +242,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.streaming-commons ==0.2.2.6, streaming-commons -use-bytestring-builder, any.strict ==0.5, - any.syb ==0.7.2.3, - any.tagged ==0.8.7, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -259,15 +260,15 @@ constraints: any.BoundedChan ==1.0.3.0, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, - any.th-abstraction ==0.4.5.0, - any.th-lift ==0.8.3, + any.th-abstraction ==0.5.0.0, + 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.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -308,7 +309,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, any.warp-tls ==3.4.0, - any.what4 ==1.4, + any.what4 ==1.5, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.word8 ==0.1.3, @@ -317,4 +318,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-07-10T01:00:51Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z diff --git a/cryptol.cabal b/cryptol.cabal index bae401530..a80fc4af7 100644 --- a/cryptol.cabal +++ b/cryptol.cabal @@ -85,7 +85,7 @@ library mtl >= 2.2.1, time >= 1.6.0.1, panic >= 0.3, - what4 >= 1.4 && < 1.5 + what4 >= 1.4 && < 1.6 if impl(ghc >= 9.0) build-depends: ghc-bignum >= 1.0 && < 1.4