Skip to content

Commit

Permalink
Bump submodules. (#2011)
Browse files Browse the repository at this point in the history 
* Bump submodules.

* CI: Regenerate cabal.GHC-*.config files

* Address comments.

* Fix tests.

* Revert "Fix tests."

This reverts commit b7ef1a1.

* Revert cryptol-specs bump.

---------

Co-authored-by: Ryan Scott <ryan.gl.scott@gmail.com>
  • Loading branch information
@andreistefanescu @RyanGlScott
andreistefanescu and RyanGlScott authored Jan 17, 2024
1 parent 29af202 commit 0a8fdf5
Show file tree
Hide file tree
Showing 15 changed files with 110 additions and 104 deletions.
51 changes: 26 additions & 25 deletions cabal.GHC-9.2.8.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,8 @@ constraints: any.BoundedChan ==1.0.3.0,
aeson -cffi +ordered-keymap,
any.aeson-pretty ==0.8.10,
aeson-pretty -lib-only,
any.alex ==3.4.0.1,
any.ansi-terminal ==0.11.5,
any.alex ==3.5.0.0,
any.ansi-terminal ==1.0.2,
ansi-terminal -example,
any.ansi-terminal-types ==0.11.5,
any.ansi-wl-pprint ==0.6.9,
Expand All @@ -34,7 +34,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.asn1-types ==0.3.4,
any.assoc ==1.1,
assoc +tagged,
any.async ==2.2.4,
any.async ==2.2.5,
async -bench,
any.attoparsec ==0.14.4,
attoparsec -developer,
Expand All @@ -59,7 +59,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.blaze-builder ==0.4.2.3,
any.blaze-html ==0.9.1.2,
any.blaze-markup ==0.8.3.0,
any.boomerang ==1.4.9,
any.boomerang ==1.4.9.1,
any.bsb-http-chunked ==0.0.0.4,
any.bv-sized ==1.0.5,
any.byteorder ==1.0.4,
Expand All @@ -74,7 +74,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.cborg-json ==0.2.6.0,
any.cereal ==0.5.8.3,
cereal -bytestring-builder,
any.chimera ==0.3.4.0,
any.chimera ==0.4.0.0,
chimera +representable,
any.clock ==0.8.4,
clock -llvm,
Expand Down Expand Up @@ -170,7 +170,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-prim ==0.8.0,
any.ghci ==9.2.8,
any.gitrev ==1.3.1,
any.graphviz ==2999.20.1.0,
any.graphviz ==2999.20.2.0,
graphviz -test-parsing,
any.half ==0.3.1,
any.happy ==1.20.1.1,
Expand All @@ -182,7 +182,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.haskell-lexer ==1.1.1,
any.haskell-src-exts ==1.23.1,
any.haskell-src-meta ==0.8.13,
any.hedgehog ==1.2,
any.hedgehog ==1.4,
any.hedgehog-classes ==0.2.5.4,
hedgehog-classes +aeson +comonad +primitive +semirings +vector,
any.heredoc ==0.2.0.0,
Expand All @@ -199,14 +199,14 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hspec-discover ==2.11.7,
any.hspec-expectations ==0.8.4,
any.http-date ==0.0.11,
any.http-types ==0.12.3,
any.http2 ==4.2.2,
any.http-types ==0.12.4,
any.http2 ==5.0.1,
http2 -devel -h2spec,
any.ieee754 ==0.8.0,
any.indexed-profunctors ==0.1.1.1,
any.indexed-traversable ==0.1.3,
any.indexed-traversable-instances ==0.1.1.2,
any.infinite-list ==0.1,
any.infinite-list ==0.1.1,
any.integer-gmp ==1.1,
any.integer-logarithms ==1.0.3.1,
integer-logarithms -check-bounds +integer-gmp,
Expand All @@ -223,12 +223,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.kan-extensions ==5.2.5,
any.kvitable ==1.0.2.1,
any.language-c99 ==0.2.0,
any.language-c99-simple ==0.2.3,
any.language-c99-simple ==0.3.0,
any.language-c99-util ==0.2.0,
language-rust +enablequasiquotes +usebytestrings,
any.lens ==5.2.3,
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
any.libBF ==0.6.6,
any.libBF ==0.6.7,
libBF -system-libbf,
any.libffi ==0.2.1,
libffi +ghc-bundled-libffi,
Expand All @@ -243,7 +243,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.lumberjack ==1.0.3.0,
any.math-functions ==0.3.4.3,
math-functions +system-erf +system-expm1,
any.megaparsec ==9.3.1,
any.megaparsec ==9.6.1,
megaparsec -dev,
any.memory ==0.18.0,
memory +support_bytestring +support_deepseq,
Expand All @@ -263,11 +263,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.network ==3.1.4.0,
network -devel,
any.network-byte-order ==0.1.7,
any.network-control ==0.0.2,
any.network-info ==0.2.1,
any.newtype-generics ==0.6.2,
any.numtype-dk ==0.5.0.3,
any.old-locale ==1.0.0.7,
any.old-time ==1.1.0.3,
any.old-time ==1.1.0.4,
any.optparse-applicative ==0.18.1.0,
optparse-applicative +process,
any.ordered-containers ==0.2.3,
Expand Down Expand Up @@ -305,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.rts ==1.0.2,
any.s-cargot ==0.1.6.0,
s-cargot -build-example,
any.safe ==0.3.19,
any.safe ==0.3.20,
any.safe-exceptions ==0.1.7.4,
any.sbv ==10.2,
any.scientific ==0.3.7.0,
Expand All @@ -327,7 +328,7 @@ constraints: any.BoundedChan ==1.0.3.0,
simple-sendfile +allow-bsd -fallback,
any.simple-smt ==0.9.7,
any.smallcheck ==1.2.1.1,
any.split ==0.2.4,
any.split ==0.2.5,
any.splitmix ==0.1.0.5,
splitmix -optimised-mixer,
any.statistics ==0.16.2.1,
Expand All @@ -347,7 +348,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.tasty-expected-failure ==0.12.3,
any.tasty-golden ==2.3.5,
tasty-golden -build-example,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hedgehog ==1.4.0.2,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.1,
any.tasty-quickcheck ==0.10.2,
Expand Down Expand Up @@ -390,12 +391,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.unbounded-delays ==0.1.1.1,
any.uniplate ==1.6.13,
any.unix ==2.7.2.2,
any.unix-compat ==0.7,
any.unix-compat ==0.7.1,
unix-compat -old-time,
any.unix-time ==0.4.11,
any.unliftio ==0.2.25.0,
any.unliftio-core ==0.2.1.0,
any.unordered-containers ==0.2.19.1,
any.unordered-containers ==0.2.20,
unordered-containers -debug,
any.utf8-string ==1.0.2,
any.uuid ==1.3.15,
Expand All @@ -407,16 +408,16 @@ constraints: any.BoundedChan ==1.0.3.0,
any.vector-algorithms ==0.9.0.1,
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
any.vector-binary-instances ==0.2.5.2,
any.vector-stream ==0.1.0.0,
any.vector-stream ==0.1.0.1,
any.vector-th-unbox ==0.2.2,
any.versions ==5.0.5,
any.versions ==6.0.4,
any.void ==0.7.3,
void -safe,
any.wai ==3.2.3,
any.wai-extra ==3.1.13.0,
any.wai ==3.2.4,
any.wai-extra ==3.1.14,
wai-extra -build-example,
any.wai-logger ==2.4.0,
any.warp ==3.3.30,
any.warp ==3.3.31,
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
any.warp-tls ==3.4.3,
any.weigh ==0.0.17,
Expand All @@ -432,4 +433,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-11-20T16:07:24Z
index-state: hackage.haskell.org 2024-01-15T23:27:26Z
51 changes: 26 additions & 25 deletions cabal.GHC-9.4.8.config
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@ constraints: any.BoundedChan ==1.0.3.0,
aeson -cffi +ordered-keymap,
any.aeson-pretty ==0.8.10,
aeson-pretty -lib-only,
any.alex ==3.4.0.1,
any.ansi-terminal ==0.11.5,
any.alex ==3.5.0.0,
any.ansi-terminal ==1.0.2,
ansi-terminal -example,
any.ansi-terminal-types ==0.11.5,
any.ansi-wl-pprint ==0.6.9,
Expand All @@ -35,7 +35,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.asn1-types ==0.3.4,
any.assoc ==1.1,
assoc +tagged,
any.async ==2.2.4,
any.async ==2.2.5,
async -bench,
any.attoparsec ==0.14.4,
attoparsec -developer,
Expand All @@ -60,7 +60,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.blaze-builder ==0.4.2.3,
any.blaze-html ==0.9.1.2,
any.blaze-markup ==0.8.3.0,
any.boomerang ==1.4.9,
any.boomerang ==1.4.9.1,
any.bsb-http-chunked ==0.0.0.4,
any.bv-sized ==1.0.5,
any.byteorder ==1.0.4,
Expand All @@ -75,7 +75,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.cborg-json ==0.2.6.0,
any.cereal ==0.5.8.3,
cereal -bytestring-builder,
any.chimera ==0.3.4.0,
any.chimera ==0.4.0.0,
chimera +representable,
any.clock ==0.8.4,
clock -llvm,
Expand Down Expand Up @@ -170,7 +170,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.ghc-prim ==0.9.1,
any.ghci ==9.4.8,
any.gitrev ==1.3.1,
any.graphviz ==2999.20.1.0,
any.graphviz ==2999.20.2.0,
graphviz -test-parsing,
any.half ==0.3.1,
any.happy ==1.20.1.1,
Expand All @@ -182,7 +182,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.haskell-lexer ==1.1.1,
any.haskell-src-exts ==1.23.1,
any.haskell-src-meta ==0.8.13,
any.hedgehog ==1.2,
any.hedgehog ==1.4,
any.hedgehog-classes ==0.2.5.4,
hedgehog-classes +aeson +comonad +primitive +semirings +vector,
any.heredoc ==0.2.0.0,
Expand All @@ -199,14 +199,14 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hspec-discover ==2.11.7,
any.hspec-expectations ==0.8.4,
any.http-date ==0.0.11,
any.http-types ==0.12.3,
any.http2 ==4.2.2,
any.http-types ==0.12.4,
any.http2 ==5.0.1,
http2 -devel -h2spec,
any.ieee754 ==0.8.0,
any.indexed-profunctors ==0.1.1.1,
any.indexed-traversable ==0.1.3,
any.indexed-traversable-instances ==0.1.1.2,
any.infinite-list ==0.1,
any.infinite-list ==0.1.1,
any.integer-gmp ==1.1,
any.integer-logarithms ==1.0.3.1,
integer-logarithms -check-bounds +integer-gmp,
Expand All @@ -223,12 +223,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.kan-extensions ==5.2.5,
any.kvitable ==1.0.2.1,
any.language-c99 ==0.2.0,
any.language-c99-simple ==0.2.3,
any.language-c99-simple ==0.3.0,
any.language-c99-util ==0.2.0,
language-rust +enablequasiquotes +usebytestrings,
any.lens ==5.2.3,
lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
any.libBF ==0.6.6,
any.libBF ==0.6.7,
libBF -system-libbf,
any.libffi ==0.2.1,
libffi +ghc-bundled-libffi,
Expand All @@ -243,7 +243,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.lumberjack ==1.0.3.0,
any.math-functions ==0.3.4.3,
math-functions +system-erf +system-expm1,
any.megaparsec ==9.3.1,
any.megaparsec ==9.6.1,
megaparsec -dev,
any.memory ==0.18.0,
memory +support_bytestring +support_deepseq,
Expand All @@ -263,11 +263,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.network ==3.1.4.0,
network -devel,
any.network-byte-order ==0.1.7,
any.network-control ==0.0.2,
any.network-info ==0.2.1,
any.newtype-generics ==0.6.2,
any.numtype-dk ==0.5.0.3,
any.old-locale ==1.0.0.7,
any.old-time ==1.1.0.3,
any.old-time ==1.1.0.4,
any.optparse-applicative ==0.18.1.0,
optparse-applicative +process,
any.ordered-containers ==0.2.3,
Expand Down Expand Up @@ -305,7 +306,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.rts ==1.0.2,
any.s-cargot ==0.1.6.0,
s-cargot -build-example,
any.safe ==0.3.19,
any.safe ==0.3.20,
any.safe-exceptions ==0.1.7.4,
any.sbv ==10.2,
any.scientific ==0.3.7.0,
Expand All @@ -327,7 +328,7 @@ constraints: any.BoundedChan ==1.0.3.0,
simple-sendfile +allow-bsd -fallback,
any.simple-smt ==0.9.7,
any.smallcheck ==1.2.1.1,
any.split ==0.2.4,
any.split ==0.2.5,
any.splitmix ==0.1.0.5,
splitmix -optimised-mixer,
any.statistics ==0.16.2.1,
Expand All @@ -347,7 +348,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.tasty-expected-failure ==0.12.3,
any.tasty-golden ==2.3.5,
tasty-golden -build-example,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hedgehog ==1.4.0.2,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.1,
any.tasty-quickcheck ==0.10.2,
Expand Down Expand Up @@ -390,12 +391,12 @@ constraints: any.BoundedChan ==1.0.3.0,
any.unbounded-delays ==0.1.1.1,
any.uniplate ==1.6.13,
any.unix ==2.7.3,
any.unix-compat ==0.7,
any.unix-compat ==0.7.1,
unix-compat -old-time,
any.unix-time ==0.4.11,
any.unliftio ==0.2.25.0,
any.unliftio-core ==0.2.1.0,
any.unordered-containers ==0.2.19.1,
any.unordered-containers ==0.2.20,
unordered-containers -debug,
any.utf8-string ==1.0.2,
any.uuid ==1.3.15,
Expand All @@ -407,16 +408,16 @@ constraints: any.BoundedChan ==1.0.3.0,
any.vector-algorithms ==0.9.0.1,
vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
any.vector-binary-instances ==0.2.5.2,
any.vector-stream ==0.1.0.0,
any.vector-stream ==0.1.0.1,
any.vector-th-unbox ==0.2.2,
any.versions ==5.0.5,
any.versions ==6.0.4,
any.void ==0.7.3,
void -safe,
any.wai ==3.2.3,
any.wai-extra ==3.1.13.0,
any.wai ==3.2.4,
any.wai-extra ==3.1.14,
wai-extra -build-example,
any.wai-logger ==2.4.0,
any.warp ==3.3.30,
any.warp ==3.3.31,
warp +allow-sendfilefd -network-bytestring -warp-debug +x509,
any.warp-tls ==3.4.3,
any.weigh ==0.0.17,
Expand All @@ -432,4 +433,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-11-20T16:07:24Z
index-state: hackage.haskell.org 2024-01-15T23:27:26Z
Loading

0 comments on commit 0a8fdf5

Please sign in to comment.