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
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