From ccc8e34b38dd6d48a1d38090462f3faab6e105a9 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 21 Aug 2023 09:45:42 -0400 Subject: [PATCH 1/2] Bump submodule versions This is primarily motivated by a need to bring in a fix for https://github.com/GaloisInc/crucible/issues/1105 into SAW soon. In order to do this, I will need to bump the `crucible` submodule to a more recent commit, so this patch lays the groundwork for doing so. Most of the changes can be brought in directly without any further changes to SAW. One exception in `cryptol`, where I had to explicitly initialize `mInScope` to accommodate the changes from https://github.com/GaloisInc/cryptol/pull/1559. Just like how `cryptol` initializes `mInScope` to `mempty` after parsing a Cryptol `NormalModule`, so too does SAW. --- cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs | 1 + deps/aig | 2 +- deps/argo | 2 +- deps/crucible | 2 +- deps/cryptol | 2 +- deps/dwarf | 2 +- deps/elf-edit | 2 +- deps/flexdis86 | 2 +- deps/language-sally | 2 +- deps/llvm-pretty | 2 +- deps/llvm-pretty-bc-parser | 2 +- deps/macaw | 2 +- deps/parameterized-utils | 2 +- deps/what4 | 2 +- 14 files changed, 14 insertions(+), 13 deletions(-) diff --git a/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs b/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs index fe24d7639f..e873913a04 100644 --- a/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs +++ b/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs @@ -645,6 +645,7 @@ parseDecls sc env input = do -- Create a Module to contain the declarations let rmodule = P.Module { P.mName = P.Located P.emptyRange interactiveName , P.mDef = P.NormalModule rdecls + , P.mInScope = mempty } -- Infer types diff --git a/deps/aig b/deps/aig index 31da58c944..718fcd738b 160000 --- a/deps/aig +++ b/deps/aig @@ -1 +1 @@ -Subproject commit 31da58c944358bdd7267ed95d1ea85ee375ff491 +Subproject commit 718fcd738b6b44b8615916a7f30a4f2b7bc19795 diff --git a/deps/argo b/deps/argo index 2a00d329cd..d39b69dac2 160000 --- a/deps/argo +++ b/deps/argo @@ -1 +1 @@ -Subproject commit 2a00d329cd850d1adcf19348eea3e952730431b7 +Subproject commit d39b69dac23550c7c518b3a2e771a5077ef80232 diff --git a/deps/crucible b/deps/crucible index 0515e64ab5..df3297bb36 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit 0515e64ab5c39036c6577e06bbe4272d39de5656 +Subproject commit df3297bb366448dd7207a77eecafefe80baef69d diff --git a/deps/cryptol b/deps/cryptol index 5139971054..e7241196d3 160000 --- a/deps/cryptol +++ b/deps/cryptol @@ -1 +1 @@ -Subproject commit 5139971054049c73b6c23262d1b2c6d1b0169065 +Subproject commit e7241196d3b53402aa1cecc8d45007a23690e246 diff --git a/deps/dwarf b/deps/dwarf index 5c7101fc99..ca7de7ac85 160000 --- a/deps/dwarf +++ b/deps/dwarf @@ -1 +1 @@ -Subproject commit 5c7101fc9974788c62955a1739aba9d26ebf02bb +Subproject commit ca7de7ac853317ab1f02bb0c53d5bbbff7464863 diff --git a/deps/elf-edit b/deps/elf-edit index dc5eabec3c..3ba7d7148a 160000 --- a/deps/elf-edit +++ b/deps/elf-edit @@ -1 +1 @@ -Subproject commit dc5eabec3c00df530962ec41391356dc491cb0dc +Subproject commit 3ba7d7148adc6029b0046229c4fecbb9ee048f9b diff --git a/deps/flexdis86 b/deps/flexdis86 index 7cb5fc6a87..5370202ab9 160000 --- a/deps/flexdis86 +++ b/deps/flexdis86 @@ -1 +1 @@ -Subproject commit 7cb5fc6a87803f84b019f441279f1bdd4be55b49 +Subproject commit 5370202ab9563cb9a0a15475aa801e9b37fa5ab4 diff --git a/deps/language-sally b/deps/language-sally index b218ac7d4f..26ea364414 160000 --- a/deps/language-sally +++ b/deps/language-sally @@ -1 +1 @@ -Subproject commit b218ac7d4f39b4d30cf7f2db584efa5ea926a024 +Subproject commit 26ea36441446e987b12a44f75923873f8dccae70 diff --git a/deps/llvm-pretty b/deps/llvm-pretty index a454fcbe41..94e384842b 160000 --- a/deps/llvm-pretty +++ b/deps/llvm-pretty @@ -1 +1 @@ -Subproject commit a454fcbe4192c07bcced2cf1384686dc7359a4a3 +Subproject commit 94e384842b214ba72446d1694446fb5261ab6ce2 diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index 65be0b0e38..ac9fff49ef 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit 65be0b0e3898716b1e39659f3d3d49dcc5208d31 +Subproject commit ac9fff49ef1670e58be9ce90075eaa02726f8662 diff --git a/deps/macaw b/deps/macaw index 30fe405a39..299c227a77 160000 --- a/deps/macaw +++ b/deps/macaw @@ -1 +1 @@ -Subproject commit 30fe405a3987fac3a886b66f4de9b9a7e1b25fac +Subproject commit 299c227a77cbad480175e64f8ef2ae27070eb7ad diff --git a/deps/parameterized-utils b/deps/parameterized-utils index a58128337e..95869cd611 160000 --- a/deps/parameterized-utils +++ b/deps/parameterized-utils @@ -1 +1 @@ -Subproject commit a58128337e2a795dd06dd3968b6a7e98dc1b27bf +Subproject commit 95869cd611c037aea6446599fdba9c0984b8635c diff --git a/deps/what4 b/deps/what4 index 2d22d4afaf..28744e48e0 160000 --- a/deps/what4 +++ b/deps/what4 @@ -1 +1 @@ -Subproject commit 2d22d4afaf141195bd4a43a9e5498c2b2e7eaa3d +Subproject commit 28744e48e01dc9c35d5aeebb914a9bb425cfe0f1 From 76b20440c839aa341fbb6ea768aa790f9eaad614 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 21 Aug 2023 12:38:28 -0400 Subject: [PATCH 2/2] CI: Regenerate cabal.GHC-*.config files --- cabal.GHC-8.10.7.config | 123 ++++++++++++++++++++++----------------- cabal.GHC-9.2.7.config | 126 +++++++++++++++++++++++----------------- cabal.GHC-9.4.4.config | 126 +++++++++++++++++++++++----------------- 3 files changed, 217 insertions(+), 158 deletions(-) diff --git a/cabal.GHC-8.10.7.config b/cabal.GHC-8.10.7.config index 7f3965322a..1095efbdb8 100644 --- a/cabal.GHC-8.10.7.config +++ b/cabal.GHC-8.10.7.config @@ -6,19 +6,21 @@ constraints: any.BoundedChan ==1.0.3.0, GraphSCC -use-maps, any.HUnit ==1.6.2.0, any.IfElse ==0.85, - any.IntervalMap ==0.6.2.0, - any.MemoTrie ==0.6.10, + any.IntervalMap ==0.6.2.1, + any.MemoTrie ==0.6.11, MemoTrie -examples, any.MonadRandom ==0.6, - any.OneTuple ==0.3.1, + any.OneTuple ==0.4.1.1, any.Only ==0.1, - any.QuickCheck ==2.14.2, + any.QuickCheck ==2.14.3, 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.alex ==3.2.7.4, + any.aeson-pretty ==0.8.10, + aeson-pretty -lib-only, + any.alex ==3.4.0.0, any.ansi-terminal ==0.11.5, ansi-terminal -example, any.ansi-terminal-types ==0.11.5, @@ -36,15 +38,16 @@ constraints: any.BoundedChan ==1.0.3.0, async -bench, any.attoparsec ==0.14.4, attoparsec -developer, + any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, any.barbies ==2.0.4.0, 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.base16-bytestring ==1.0.2.0, any.base64-bytestring ==1.2.1.0, - any.basement ==0.0.15, + any.basement ==0.0.16, any.bifunctors ==5.6.1, bifunctors +tagged, any.bimap ==0.5.0, @@ -56,7 +59,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.2, any.blaze-html ==0.9.1.2, any.blaze-markup ==0.8.2.8, - any.boomerang ==1.4.8.1, + any.boomerang ==1.4.9, any.bsb-http-chunked ==0.0.0.4, any.bv-sized ==1.0.5, any.byteorder ==1.0.4, @@ -66,19 +69,24 @@ constraints: any.BoundedChan ==1.0.3.0, any.case-insensitive ==1.2.1.0, any.cassava ==0.5.3.0, cassava -bytestring--lt-0_10_4, + any.cborg ==0.2.9.0, + cborg +optimize-gmp, + any.cborg-json ==0.2.5.0, any.cereal ==0.5.8.3, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, + any.cmdargs ==0.10.22, + cmdargs +quotation -testprog, any.code-page ==0.2.1, any.colour ==2.3.6, any.comonad ==5.0.8, comonad +containers +distributive +indexed-traversable, any.concurrent-extra ==0.7.0.12, - any.concurrent-output ==1.10.17, - any.conduit ==1.3.4.3, + any.concurrent-output ==1.10.18, + any.conduit ==1.3.5, any.conduit-extra ==1.3.6, any.config-schema ==1.3.0.0, any.config-value ==0.8.3, @@ -87,15 +95,22 @@ 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.0.0, + any.criterion ==1.6.3.0, criterion -embed-data-files -fast, any.criterion-measurement ==0.2.1.0, criterion-measurement -fast, crucible +unsafe-operations, any.cryptohash-md5 ==0.11.101.0, any.cryptohash-sha1 ==0.11.101.0, + any.cryptohash-sha256 ==0.11.102.1, + cryptohash-sha256 -exe +use-cbits, cryptol +ffi +relocatable -static, cryptol-remote-api -notthreaded -static, + any.crypton ==0.33, + crypton -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq +support_pclmuldq +support_rdrand -support_sse +use_target_attributes, + any.crypton-x509 ==1.7.6, + any.crypton-x509-store ==1.6.9, + any.crypton-x509-validation ==1.6.12, any.cryptonite ==0.30, cryptonite -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq -support_pclmuldq +support_rdrand -support_sse +use_target_attributes, any.cryptonite-conduit ==0.2.2, @@ -108,14 +123,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-ref ==0.1, 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, distributive +semigroups +tagged, any.dlist ==1.0, dlist -werror, - any.doctest ==0.20.1, + any.doctest ==0.22.0, any.dotgen ==0.4.3, dotgen -devel, any.easy-file ==0.2.5, @@ -127,19 +142,19 @@ constraints: any.BoundedChan ==1.0.3.0, any.exceptions ==0.10.4, any.executable-path ==0.0.3.1, any.extensible-exceptions ==0.1.1.4, - any.extra ==1.7.13, - any.fast-logger ==3.2.1, + any.extra ==1.7.14, + any.fast-logger ==3.2.2, any.fgl ==5.8.1.1, fgl +containers042, any.fgl-visualize ==0.1.0.1, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filemanip ==0.3.6.3, any.filepath ==1.4.2.1, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, foldable1-classes-compat +tagged, any.free ==5.2, - any.generic-deriving ==1.14.4, + any.generic-deriving ==1.14.5, generic-deriving +base-4-9, any.generic-lens ==2.2.2.0, any.generic-lens-core ==2.2.1.0, @@ -156,8 +171,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.gitrev ==1.3.1, any.graphviz ==2999.20.1.0, graphviz -test-parsing, + any.half ==0.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, @@ -176,17 +192,17 @@ constraints: any.BoundedChan ==1.0.3.0, any.hpc ==0.6.1.0, any.hsc2hs ==0.68.9, hsc2hs -in-ghc-tree, - any.hspec ==2.11.0.1, - any.hspec-api ==2.11.0.1, - any.hspec-core ==2.11.0.1, - any.hspec-discover ==2.11.0.1, - any.hspec-expectations ==0.8.2, + any.hspec ==2.11.4, + any.hspec-api ==2.11.4, + any.hspec-core ==2.11.4, + any.hspec-discover ==2.11.4, + any.hspec-expectations ==0.8.4, any.http-date ==0.0.11, any.http-types ==0.12.3, - any.http2 ==4.1.2, + any.http2 ==4.1.4, http2 -devel -h2spec, any.ieee754 ==0.8.0, - any.indexed-profunctors ==0.1.1, + any.indexed-profunctors ==0.1.1.1, any.indexed-traversable ==0.1.2.1, any.indexed-traversable-instances ==0.1.1.2, any.integer-gmp ==1.0.3.0, @@ -194,13 +210,13 @@ constraints: any.BoundedChan ==1.0.3.0, integer-logarithms -check-bounds +integer-gmp, any.integer-roots ==1.0.2.0, any.interpolate ==0.2.1, - 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, any.itanium-abi ==0.1.2, any.js-chart ==2.9.4.1, - any.json ==0.10, + any.json ==0.11, json +generic -mapdict +parsec +pretty +split-base, any.kan-extensions ==5.2.5, any.kvitable ==1.0.2.1, @@ -210,7 +226,7 @@ constraints: any.BoundedChan ==1.0.3.0, language-rust +enablequasiquotes +usebytestrings, 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, @@ -219,9 +235,10 @@ constraints: any.BoundedChan ==1.0.3.0, any.lifted-async ==0.10.2.4, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, + lmdb -pkg-config, any.logict ==0.8.1.0, any.lucid ==2.11.20230408, - any.lumberjack ==1.0.2.0, + any.lumberjack ==1.0.3.0, any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, any.megaparsec ==9.2.1, @@ -241,7 +258,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.mono-traversable ==1.0.15.3, any.mtl ==2.2.2, any.mwc-random ==0.15.0.2, - any.network ==3.1.2.9, + any.network ==3.1.4.0, network -devel, any.network-byte-order ==0.1.6, any.network-info ==0.2.1, @@ -249,7 +266,7 @@ constraints: any.BoundedChan ==1.0.3.0, 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, @@ -287,7 +304,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.s-cargot ==0.1.6.0, s-cargot -build-example, any.safe ==0.3.19, - any.safe-exceptions ==0.1.7.3, + any.safe-exceptions ==0.1.7.4, any.sbv ==9.2, any.scientific ==0.3.7.0, scientific -bytestring-builder -integer-simple, @@ -300,12 +317,14 @@ constraints: any.BoundedChan ==1.0.3.0, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.semirings ==0.6, semirings +containers +unordered-containers, + any.serialise ==0.2.6.0, + serialise +newtime15, any.silently ==1.2.5.3, any.simple-get-opt ==0.4, - any.simple-sendfile ==0.2.31, + any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, any.simple-smt ==0.9.7, - any.smallcheck ==1.2.1, + any.smallcheck ==1.2.1.1, any.split ==0.2.3.5, any.splitmix ==0.1.0.4, splitmix -optimised-mixer, @@ -314,8 +333,10 @@ 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.string-interpolate ==0.3.2.1, + string-interpolate -bytestring-builder -extended-benchmarks -text-builder, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -329,7 +350,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==2.2.0.0, + any.tasty-sugar ==2.2.1.0, any.template-haskell ==2.16.0.0, any.temporary ==1.3, any.terminal-size ==0.3.3, @@ -338,13 +359,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.test-framework-hunit ==0.3.0.2, test-framework-hunit -base3 +base4, any.text ==1.2.4.1, + any.text-conversions ==0.3.1.1, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, any.th-abstraction ==0.4.5.0, any.th-compat ==0.1.4, any.th-expand-syns ==0.4.11.0, - any.th-lift ==0.8.3, + any.th-lift ==0.8.4, any.th-lift-instances ==0.1.20, any.th-orphans ==0.13.14, any.th-reify-many ==0.1.10, @@ -353,7 +375,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.time-compat ==1.9.6.1, time-compat -old-locale, any.time-manager ==0.0.0, - any.tls ==1.6.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -368,8 +390,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.2.2, any.unix-compat ==0.7, unix-compat -old-time, - any.unix-time ==0.4.9, - any.unliftio ==0.2.24.0, + any.unix-time ==0.4.10, + any.unliftio ==0.2.25.0, any.unliftio-core ==0.2.1.0, any.unordered-containers ==0.2.19.1, unordered-containers -debug, @@ -392,23 +414,20 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-extra ==3.1.13.0, wai-extra -build-example, any.wai-logger ==2.4.0, - any.warp ==3.3.25, + any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.3.6, - any.weigh ==0.0.16, + any.warp-tls ==3.4.0, + any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.wl-pprint-annotated ==0.1.0.1, any.wl-pprint-text ==1.2.0.2, any.word8 ==0.1.3, - any.x509 ==1.7.7, - any.x509-store ==1.6.9, - any.x509-validation ==1.6.12, any.xml ==1.3.14, - any.yaml ==0.11.11.0, + any.yaml ==0.11.11.2, yaml +no-examples +no-exe, any.zenc ==0.1.2, 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-05-08T16:29:53Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z diff --git a/cabal.GHC-9.2.7.config b/cabal.GHC-9.2.7.config index d2e57716d1..d86db548df 100644 --- a/cabal.GHC-9.2.7.config +++ b/cabal.GHC-9.2.7.config @@ -6,26 +6,28 @@ constraints: any.BoundedChan ==1.0.3.0, GraphSCC -use-maps, any.HUnit ==1.6.2.0, any.IfElse ==0.85, - any.IntervalMap ==0.6.2.0, - any.MemoTrie ==0.6.10, + any.IntervalMap ==0.6.2.1, + any.MemoTrie ==0.6.11, MemoTrie -examples, any.MonadRandom ==0.6, any.OneTuple ==0.4.1.1, any.Only ==0.1, - any.QuickCheck ==2.14.2, + any.QuickCheck ==2.14.3, 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.alex ==3.2.7.4, + any.aeson-pretty ==0.8.10, + aeson-pretty -lib-only, + any.alex ==3.4.0.0, any.ansi-terminal ==0.11.5, ansi-terminal -example, any.ansi-terminal-types ==0.11.5, 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,15 +38,16 @@ constraints: any.BoundedChan ==1.0.3.0, async -bench, any.attoparsec ==0.14.4, attoparsec -developer, + any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, any.barbies ==2.0.4.0, 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.base16-bytestring ==1.0.2.0, any.base64-bytestring ==1.2.1.0, - any.basement ==0.0.15, + any.basement ==0.0.16, any.bifunctors ==5.6.1, bifunctors +tagged, any.bimap ==0.5.0, @@ -56,7 +59,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.2, any.blaze-html ==0.9.1.2, any.blaze-markup ==0.8.2.8, - any.boomerang ==1.4.8.1, + any.boomerang ==1.4.9, any.bsb-http-chunked ==0.0.0.4, any.bv-sized ==1.0.5, any.byteorder ==1.0.4, @@ -66,19 +69,24 @@ constraints: any.BoundedChan ==1.0.3.0, any.case-insensitive ==1.2.1.0, any.cassava ==0.5.3.0, cassava -bytestring--lt-0_10_4, + any.cborg ==0.2.9.0, + cborg +optimize-gmp, + any.cborg-json ==0.2.5.0, any.cereal ==0.5.8.3, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, + any.cmdargs ==0.10.22, + cmdargs +quotation -testprog, any.code-page ==0.2.1, any.colour ==2.3.6, any.comonad ==5.0.8, comonad +containers +distributive +indexed-traversable, any.concurrent-extra ==0.7.0.12, - any.concurrent-output ==1.10.17, - any.conduit ==1.3.4.3, + any.concurrent-output ==1.10.18, + any.conduit ==1.3.5, any.conduit-extra ==1.3.6, any.config-schema ==1.3.0.0, any.config-value ==0.8.3, @@ -87,15 +95,22 @@ 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.0.0, + any.criterion ==1.6.3.0, criterion -embed-data-files -fast, any.criterion-measurement ==0.2.1.0, criterion-measurement -fast, crucible +unsafe-operations, any.cryptohash-md5 ==0.11.101.0, any.cryptohash-sha1 ==0.11.101.0, + any.cryptohash-sha256 ==0.11.102.1, + cryptohash-sha256 -exe +use-cbits, cryptol +ffi +relocatable -static, cryptol-remote-api -notthreaded -static, + any.crypton ==0.33, + crypton -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq +support_pclmuldq +support_rdrand -support_sse +use_target_attributes, + any.crypton-x509 ==1.7.6, + any.crypton-x509-store ==1.6.9, + any.crypton-x509-validation ==1.6.12, any.cryptonite ==0.30, cryptonite -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq -support_pclmuldq +support_rdrand -support_sse +use_target_attributes, any.cryptonite-conduit ==0.2.2, @@ -108,14 +123,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-ref ==0.1, 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, distributive +semigroups +tagged, any.dlist ==1.0, dlist -werror, - any.doctest ==0.20.1, + any.doctest ==0.22.0, any.dotgen ==0.4.3, dotgen -devel, any.easy-file ==0.2.5, @@ -127,19 +142,19 @@ constraints: any.BoundedChan ==1.0.3.0, any.exceptions ==0.10.4, any.executable-path ==0.0.3.1, any.extensible-exceptions ==0.1.1.4, - any.extra ==1.7.13, - any.fast-logger ==3.2.1, + any.extra ==1.7.14, + any.fast-logger ==3.2.2, any.fgl ==5.8.1.1, fgl +containers042, any.fgl-visualize ==0.1.0.1, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filemanip ==0.3.6.3, any.filepath ==1.4.2.2, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, foldable1-classes-compat +tagged, any.free ==5.2, - any.generic-deriving ==1.14.4, + any.generic-deriving ==1.14.5, generic-deriving +base-4-9, any.generic-lens ==2.2.2.0, any.generic-lens-core ==2.2.1.0, @@ -157,8 +172,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.gitrev ==1.3.1, any.graphviz ==2999.20.1.0, graphviz -test-parsing, + any.half ==0.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, @@ -177,31 +193,32 @@ constraints: any.BoundedChan ==1.0.3.0, any.hpc ==0.6.1.0, any.hsc2hs ==0.68.9, hsc2hs -in-ghc-tree, - any.hspec ==2.11.0.1, - any.hspec-api ==2.11.0.1, - any.hspec-core ==2.11.0.1, - any.hspec-discover ==2.11.0.1, - any.hspec-expectations ==0.8.2, + any.hspec ==2.11.4, + any.hspec-api ==2.11.4, + any.hspec-core ==2.11.4, + any.hspec-discover ==2.11.4, + any.hspec-expectations ==0.8.4, any.http-date ==0.0.11, any.http-types ==0.12.3, - any.http2 ==4.1.2, + any.http2 ==4.1.4, http2 -devel -h2spec, any.ieee754 ==0.8.0, - any.indexed-profunctors ==0.1.1, + any.indexed-profunctors ==0.1.1.1, 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.interpolate ==0.2.1, - 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, any.itanium-abi ==0.1.2, any.js-chart ==2.9.4.1, - any.json ==0.10, + any.json ==0.11, json +generic -mapdict +parsec +pretty +split-base, any.kan-extensions ==5.2.5, any.kvitable ==1.0.2.1, @@ -211,7 +228,7 @@ constraints: any.BoundedChan ==1.0.3.0, language-rust +enablequasiquotes +usebytestrings, 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, @@ -220,12 +237,13 @@ constraints: any.BoundedChan ==1.0.3.0, any.lifted-async ==0.10.2.4, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, + lmdb -pkg-config, any.logict ==0.8.1.0, any.lucid ==2.11.20230408, - any.lumberjack ==1.0.2.0, + any.lumberjack ==1.0.3.0, any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, - any.megaparsec ==9.3.0, + any.megaparsec ==9.3.1, megaparsec -dev, any.memory ==0.18.0, memory +support_bytestring +support_deepseq, @@ -242,7 +260,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.mono-traversable ==1.0.15.3, any.mtl ==2.2.2, any.mwc-random ==0.15.0.2, - any.network ==3.1.2.9, + any.network ==3.1.4.0, network -devel, any.network-byte-order ==0.1.6, any.network-info ==0.2.1, @@ -250,7 +268,7 @@ constraints: any.BoundedChan ==1.0.3.0, 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, @@ -288,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.s-cargot ==0.1.6.0, s-cargot -build-example, any.safe ==0.3.19, - any.safe-exceptions ==0.1.7.3, + any.safe-exceptions ==0.1.7.4, any.sbv ==9.2, any.scientific ==0.3.7.0, scientific -bytestring-builder -integer-simple, @@ -301,12 +319,14 @@ constraints: any.BoundedChan ==1.0.3.0, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.semirings ==0.6, semirings +containers +unordered-containers, + any.serialise ==0.2.6.0, + serialise +newtime15, any.silently ==1.2.5.3, any.simple-get-opt ==0.4, - any.simple-sendfile ==0.2.31, + any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, any.simple-smt ==0.9.7, - any.smallcheck ==1.2.1, + any.smallcheck ==1.2.1.1, any.split ==0.2.3.5, any.splitmix ==0.1.0.4, splitmix -optimised-mixer, @@ -315,8 +335,10 @@ 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.string-interpolate ==0.3.2.1, + string-interpolate -bytestring-builder -extended-benchmarks -text-builder, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -330,7 +352,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==2.2.0.0, + any.tasty-sugar ==2.2.1.0, any.template-haskell ==2.18.0.0, any.temporary ==1.3, any.terminal-size ==0.3.3, @@ -339,13 +361,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.test-framework-hunit ==0.3.0.2, test-framework-hunit -base3 +base4, any.text ==1.2.5.0, + any.text-conversions ==0.3.1.1, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, any.th-abstraction ==0.4.5.0, any.th-compat ==0.1.4, any.th-expand-syns ==0.4.11.0, - any.th-lift ==0.8.3, + any.th-lift ==0.8.4, any.th-lift-instances ==0.1.20, any.th-orphans ==0.13.14, any.th-reify-many ==0.1.10, @@ -354,7 +377,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.time-compat ==1.9.6.1, time-compat -old-locale, any.time-manager ==0.0.0, - any.tls ==1.6.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -369,8 +392,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.2.2, any.unix-compat ==0.7, unix-compat -old-time, - any.unix-time ==0.4.9, - any.unliftio ==0.2.24.0, + any.unix-time ==0.4.10, + any.unliftio ==0.2.25.0, any.unliftio-core ==0.2.1.0, any.unordered-containers ==0.2.19.1, unordered-containers -debug, @@ -393,23 +416,20 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-extra ==3.1.13.0, wai-extra -build-example, any.wai-logger ==2.4.0, - any.warp ==3.3.25, + any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.3.6, - any.weigh ==0.0.16, + any.warp-tls ==3.4.0, + any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.wl-pprint-annotated ==0.1.0.1, any.wl-pprint-text ==1.2.0.2, any.word8 ==0.1.3, - any.x509 ==1.7.7, - any.x509-store ==1.6.9, - any.x509-validation ==1.6.12, any.xml ==1.3.14, - any.yaml ==0.11.11.0, + any.yaml ==0.11.11.2, yaml +no-examples +no-exe, any.zenc ==0.1.2, 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-05-08T16:29:53Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z diff --git a/cabal.GHC-9.4.4.config b/cabal.GHC-9.4.4.config index 5063584852..60c28d9c4c 100644 --- a/cabal.GHC-9.4.4.config +++ b/cabal.GHC-9.4.4.config @@ -7,26 +7,28 @@ constraints: any.BoundedChan ==1.0.3.0, GraphSCC -use-maps, any.HUnit ==1.6.2.0, any.IfElse ==0.85, - any.IntervalMap ==0.6.2.0, - any.MemoTrie ==0.6.10, + any.IntervalMap ==0.6.2.1, + any.MemoTrie ==0.6.11, MemoTrie -examples, any.MonadRandom ==0.6, any.OneTuple ==0.4.1.1, any.Only ==0.1, - any.QuickCheck ==2.14.2, + any.QuickCheck ==2.14.3, 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.alex ==3.2.7.4, + any.aeson-pretty ==0.8.10, + aeson-pretty -lib-only, + any.alex ==3.4.0.0, any.ansi-terminal ==0.11.5, ansi-terminal -example, any.ansi-terminal-types ==0.11.5, 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, @@ -37,15 +39,16 @@ constraints: any.BoundedChan ==1.0.3.0, async -bench, any.attoparsec ==0.14.4, attoparsec -developer, + any.attoparsec-aeson ==2.1.0.0, any.auto-update ==0.1.6, any.barbies ==2.0.4.0, any.base ==4.17.0.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.base16-bytestring ==1.0.2.0, any.base64-bytestring ==1.2.1.0, - any.basement ==0.0.15, + any.basement ==0.0.16, any.bifunctors ==5.6.1, bifunctors +tagged, any.bimap ==0.5.0, @@ -57,7 +60,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.blaze-builder ==0.4.2.2, any.blaze-html ==0.9.1.2, any.blaze-markup ==0.8.2.8, - any.boomerang ==1.4.8.1, + any.boomerang ==1.4.9, any.bsb-http-chunked ==0.0.0.4, any.bv-sized ==1.0.5, any.byteorder ==1.0.4, @@ -67,19 +70,24 @@ constraints: any.BoundedChan ==1.0.3.0, any.case-insensitive ==1.2.1.0, any.cassava ==0.5.3.0, cassava -bytestring--lt-0_10_4, + any.cborg ==0.2.9.0, + cborg +optimize-gmp, + any.cborg-json ==0.2.5.0, any.cereal ==0.5.8.3, cereal -bytestring-builder, any.chimera ==0.3.3.0, chimera +representable, - any.clock ==0.8.3, + any.clock ==0.8.4, clock -llvm, + any.cmdargs ==0.10.22, + cmdargs +quotation -testprog, any.code-page ==0.2.1, any.colour ==2.3.6, any.comonad ==5.0.8, comonad +containers +distributive +indexed-traversable, any.concurrent-extra ==0.7.0.12, - any.concurrent-output ==1.10.17, - any.conduit ==1.3.4.3, + any.concurrent-output ==1.10.18, + any.conduit ==1.3.5, any.conduit-extra ==1.3.6, any.config-schema ==1.3.0.0, any.config-value ==0.8.3, @@ -88,15 +96,22 @@ 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.0.0, + any.criterion ==1.6.3.0, criterion -embed-data-files -fast, any.criterion-measurement ==0.2.1.0, criterion-measurement -fast, crucible +unsafe-operations, any.cryptohash-md5 ==0.11.101.0, any.cryptohash-sha1 ==0.11.101.0, + any.cryptohash-sha256 ==0.11.102.1, + cryptohash-sha256 -exe +use-cbits, cryptol +ffi +relocatable -static, cryptol-remote-api -notthreaded -static, + any.crypton ==0.33, + crypton -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq +support_pclmuldq +support_rdrand -support_sse +use_target_attributes, + any.crypton-x509 ==1.7.6, + any.crypton-x509-store ==1.6.9, + any.crypton-x509-validation ==1.6.12, any.cryptonite ==0.30, cryptonite -check_alignment +integer-gmp -old_toolchain_inliner +support_aesni +support_deepseq -support_pclmuldq +support_rdrand -support_sse +use_target_attributes, any.cryptonite-conduit ==0.2.2, @@ -108,14 +123,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.data-ref ==0.1, 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, distributive +semigroups +tagged, any.dlist ==1.0, dlist -werror, - any.doctest ==0.20.1, + any.doctest ==0.22.0, any.dotgen ==0.4.3, dotgen -devel, any.easy-file ==0.2.5, @@ -127,19 +142,19 @@ constraints: any.BoundedChan ==1.0.3.0, any.exceptions ==0.10.5, any.executable-path ==0.0.3.1, any.extensible-exceptions ==0.1.1.4, - any.extra ==1.7.13, - any.fast-logger ==3.2.1, + any.extra ==1.7.14, + any.fast-logger ==3.2.2, any.fgl ==5.8.1.1, fgl +containers042, any.fgl-visualize ==0.1.0.1, - any.filelock ==0.1.1.6, + any.filelock ==0.1.1.7, any.filemanip ==0.3.6.3, any.filepath ==1.4.2.2, any.fingertree ==0.1.5.0, any.foldable1-classes-compat ==0.1, foldable1-classes-compat +tagged, any.free ==5.2, - any.generic-deriving ==1.14.4, + any.generic-deriving ==1.14.5, generic-deriving +base-4-9, any.generic-lens ==2.2.2.0, any.generic-lens-core ==2.2.1.0, @@ -157,8 +172,9 @@ constraints: any.BoundedChan ==1.0.3.0, any.gitrev ==1.3.1, any.graphviz ==2999.20.1.0, graphviz -test-parsing, + any.half ==0.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, @@ -177,31 +193,32 @@ constraints: any.BoundedChan ==1.0.3.0, any.hpc ==0.6.1.0, any.hsc2hs ==0.68.9, hsc2hs -in-ghc-tree, - any.hspec ==2.11.0.1, - any.hspec-api ==2.11.0.1, - any.hspec-core ==2.11.0.1, - any.hspec-discover ==2.11.0.1, - any.hspec-expectations ==0.8.2, + any.hspec ==2.11.4, + any.hspec-api ==2.11.4, + any.hspec-core ==2.11.4, + any.hspec-discover ==2.11.4, + any.hspec-expectations ==0.8.4, any.http-date ==0.0.11, any.http-types ==0.12.3, - any.http2 ==4.1.2, + any.http2 ==4.1.4, http2 -devel -h2spec, any.ieee754 ==0.8.0, - any.indexed-profunctors ==0.1.1, + any.indexed-profunctors ==0.1.1.1, 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.interpolate ==0.2.1, - 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, any.itanium-abi ==0.1.2, any.js-chart ==2.9.4.1, - any.json ==0.10, + any.json ==0.11, json +generic -mapdict +parsec +pretty +split-base, any.kan-extensions ==5.2.5, any.kvitable ==1.0.2.1, @@ -211,7 +228,7 @@ constraints: any.BoundedChan ==1.0.3.0, language-rust +enablequasiquotes +usebytestrings, 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, @@ -220,12 +237,13 @@ constraints: any.BoundedChan ==1.0.3.0, any.lifted-async ==0.10.2.4, any.lifted-base ==0.2.3.12, llvm-pretty-bc-parser -fuzz -regressions, + lmdb -pkg-config, any.logict ==0.8.1.0, any.lucid ==2.11.20230408, - any.lumberjack ==1.0.2.0, + any.lumberjack ==1.0.3.0, any.math-functions ==0.3.4.2, math-functions +system-erf +system-expm1, - any.megaparsec ==9.3.0, + any.megaparsec ==9.3.1, megaparsec -dev, any.memory ==0.18.0, memory +support_bytestring +support_deepseq, @@ -242,7 +260,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.mono-traversable ==1.0.15.3, any.mtl ==2.2.2, any.mwc-random ==0.15.0.2, - any.network ==3.1.2.9, + any.network ==3.1.4.0, network -devel, any.network-byte-order ==0.1.6, any.network-info ==0.2.1, @@ -250,7 +268,7 @@ constraints: any.BoundedChan ==1.0.3.0, 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, @@ -288,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.s-cargot ==0.1.6.0, s-cargot -build-example, any.safe ==0.3.19, - any.safe-exceptions ==0.1.7.3, + any.safe-exceptions ==0.1.7.4, any.sbv ==9.2, any.scientific ==0.3.7.0, scientific -bytestring-builder -integer-simple, @@ -301,12 +319,14 @@ constraints: any.BoundedChan ==1.0.3.0, semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers, any.semirings ==0.6, semirings +containers +unordered-containers, + any.serialise ==0.2.6.0, + serialise +newtime15, any.silently ==1.2.5.3, any.simple-get-opt ==0.4, - any.simple-sendfile ==0.2.31, + any.simple-sendfile ==0.2.32, simple-sendfile +allow-bsd -fallback, any.simple-smt ==0.9.7, - any.smallcheck ==1.2.1, + any.smallcheck ==1.2.1.1, any.split ==0.2.3.5, any.splitmix ==0.1.0.4, splitmix -optimised-mixer, @@ -315,8 +335,10 @@ 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.string-interpolate ==0.3.2.1, + string-interpolate -bytestring-builder -extended-benchmarks -text-builder, + any.syb ==0.7.2.4, + any.tagged ==0.8.8, tagged +deepseq +transformers, any.tasty ==1.4.3, tasty +unix, @@ -330,7 +352,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.tasty-hunit ==0.10.0.3, any.tasty-quickcheck ==0.10.2, any.tasty-smallcheck ==0.8.2, - any.tasty-sugar ==2.2.0.0, + any.tasty-sugar ==2.2.1.0, any.template-haskell ==2.19.0.0, any.temporary ==1.3, any.terminal-size ==0.3.3, @@ -339,13 +361,14 @@ constraints: any.BoundedChan ==1.0.3.0, any.test-framework-hunit ==0.3.0.2, test-framework-hunit -base3 +base4, any.text ==2.0.1, + any.text-conversions ==0.3.1.1, any.text-short ==0.1.5, text-short -asserts, any.tf-random ==0.5, any.th-abstraction ==0.4.5.0, any.th-compat ==0.1.4, any.th-expand-syns ==0.4.11.0, - any.th-lift ==0.8.3, + any.th-lift ==0.8.4, any.th-lift-instances ==0.1.20, any.th-orphans ==0.13.14, any.th-reify-many ==0.1.10, @@ -354,7 +377,7 @@ constraints: any.BoundedChan ==1.0.3.0, any.time-compat ==1.9.6.1, time-compat -old-locale, any.time-manager ==0.0.0, - any.tls ==1.6.0, + any.tls ==1.7.1, tls +compat -hans +network, any.tls-session-manager ==0.0.4, any.transformers ==0.5.6.2, @@ -369,8 +392,8 @@ constraints: any.BoundedChan ==1.0.3.0, any.unix ==2.7.3, any.unix-compat ==0.7, unix-compat -old-time, - any.unix-time ==0.4.9, - any.unliftio ==0.2.24.0, + any.unix-time ==0.4.10, + any.unliftio ==0.2.25.0, any.unliftio-core ==0.2.1.0, any.unordered-containers ==0.2.19.1, unordered-containers -debug, @@ -393,23 +416,20 @@ constraints: any.BoundedChan ==1.0.3.0, any.wai-extra ==3.1.13.0, wai-extra -build-example, any.wai-logger ==2.4.0, - any.warp ==3.3.25, + any.warp ==3.3.28, warp +allow-sendfilefd -network-bytestring -warp-debug +x509, - any.warp-tls ==3.3.6, - any.weigh ==0.0.16, + any.warp-tls ==3.4.0, + any.weigh ==0.0.17, what4 -drealtestdisable -solvertests -stptestdisable, any.witherable ==0.4.2, any.wl-pprint-annotated ==0.1.0.1, any.wl-pprint-text ==1.2.0.2, any.word8 ==0.1.3, - any.x509 ==1.7.7, - any.x509-store ==1.6.9, - any.x509-validation ==1.6.12, any.xml ==1.3.14, - any.yaml ==0.11.11.0, + any.yaml ==0.11.11.2, yaml +no-examples +no-exe, any.zenc ==0.1.2, 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-05-08T16:29:53Z +index-state: hackage.haskell.org 2023-08-12T09:08:58Z