haskellPackages: stackage LTS 24.19 -> LTS 24.21
all-cabal-hashes: 2025-11-11T08:13:55Z -> 2025-11-24T11:39:51Z (generated by maintainers/scripts/haskell/update-package-set.sh)
This commit is contained in:
@@ -1,6 +1,6 @@
|
||||
{
|
||||
"commit": "919b0d78e660eb496f9b2d0adb6dd7cfb1b64535",
|
||||
"url": "https://github.com/commercialhaskell/all-cabal-hashes/archive/919b0d78e660eb496f9b2d0adb6dd7cfb1b64535.tar.gz",
|
||||
"sha256": "0vjq2aq1wk2i2k2d54sl1ang3gmzcfnx1fv8jvxg50i246dnydrz",
|
||||
"msg": "Update from Hackage at 2025-11-11T08:13:55Z"
|
||||
"commit": "24e42920d74ce9ac5c0c05264079d55cec49e82b",
|
||||
"url": "https://github.com/commercialhaskell/all-cabal-hashes/archive/24e42920d74ce9ac5c0c05264079d55cec49e82b.tar.gz",
|
||||
"sha256": "1kmf1wg09gsw06525mc0y91x9jy81amhd1sd3b7gl1swnj3dzqqf",
|
||||
"msg": "Update from Hackage at 2025-11-24T11:39:51Z"
|
||||
}
|
||||
|
||||
@@ -3093,7 +3093,7 @@ with haskellLib;
|
||||
]
|
||||
) super)
|
||||
what4
|
||||
what4_1_7_1_0
|
||||
what4_1_7_2
|
||||
;
|
||||
|
||||
copilot-theorem = lib.pipe super.copilot-theorem [
|
||||
@@ -3158,12 +3158,12 @@ with haskellLib;
|
||||
# 2025-04-13: jailbreak to allow th-abstraction >= 0.7
|
||||
crucible = doJailbreak (
|
||||
super.crucible.override {
|
||||
what4 = self.what4_1_7_1_0;
|
||||
what4 = self.what4_1_7_2;
|
||||
}
|
||||
);
|
||||
|
||||
crucible-llvm = super.crucible-llvm.override {
|
||||
what4 = self.what4_1_7_1_0;
|
||||
what4 = self.what4_1_7_2;
|
||||
};
|
||||
|
||||
# Test suite invokes cabal-install in a way incompatible with our generic builder
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
# Stackage LTS 24.19
|
||||
# Stackage LTS 24.21
|
||||
# This file is auto-generated by
|
||||
# maintainers/scripts/haskell/update-stackage.sh
|
||||
default-package-overrides:
|
||||
@@ -223,7 +223,7 @@ default-package-overrides:
|
||||
- blaze-svg ==0.3.7
|
||||
- blaze-textual ==0.2.3.1
|
||||
- bloodhound ==0.23.0.1
|
||||
- bloomfilter ==2.0.1.2
|
||||
- bloomfilter ==2.0.1.3
|
||||
- bluefin ==0.0.17.1
|
||||
- bluefin-internal ==0.1.2.0
|
||||
- bm ==0.2.0.0
|
||||
@@ -270,14 +270,14 @@ default-package-overrides:
|
||||
- byte-count-reader ==0.10.1.12
|
||||
- byte-order ==0.1.3.1
|
||||
- byteable ==0.1.1
|
||||
- bytebuild ==0.3.16.3
|
||||
- bytebuild ==0.3.17.0
|
||||
- bytedump ==1.0
|
||||
- bytehash ==0.1.1.2
|
||||
- byteorder ==1.0.4
|
||||
- bytes ==0.17.4
|
||||
- byteset ==0.1.1.2
|
||||
- byteslice ==0.2.15.0
|
||||
- bytesmith ==0.3.13.0
|
||||
- bytesmith ==0.3.14.0
|
||||
- bytestring-aeson-orphans ==0.1.0.2
|
||||
- bytestring-builder ==0.10.8.2.0
|
||||
- bytestring-conversion ==0.3.2
|
||||
@@ -298,10 +298,10 @@ default-package-overrides:
|
||||
- c2hs ==0.28.8
|
||||
- ca-province-codes ==1.0.0.0
|
||||
- cabal-add ==0.2
|
||||
- cabal-appimage ==0.4.1.0
|
||||
- cabal-appimage ==0.4.2.0
|
||||
- cabal-clean ==0.2.20230609
|
||||
- cabal-debian ==5.2.6
|
||||
- cabal-doctest ==1.0.11
|
||||
- cabal-doctest ==1.0.12
|
||||
- cabal-file ==0.1.1
|
||||
- cabal-flatpak ==0.1.2
|
||||
- cabal-gild ==1.6.0.2
|
||||
@@ -469,7 +469,7 @@ default-package-overrides:
|
||||
- control-bool ==0.2.1
|
||||
- control-dsl ==0.2.1.3
|
||||
- control-monad-free ==0.6.2
|
||||
- control-monad-omega ==0.3.3
|
||||
- control-monad-omega ==0.3.4
|
||||
- convertible ==1.1.1.1
|
||||
- cookie ==0.5.1
|
||||
- copilot ==4.5.1
|
||||
@@ -804,7 +804,7 @@ default-package-overrides:
|
||||
- express ==1.0.18
|
||||
- extended-reals ==0.2.7.0
|
||||
- extensible-exceptions ==0.1.1.4
|
||||
- extra ==1.8
|
||||
- extra ==1.8.1
|
||||
- extra-data-yj ==0.1.0.0
|
||||
- extractable-singleton ==0.0.1
|
||||
- extrapolate ==0.4.6
|
||||
@@ -991,7 +991,7 @@ default-package-overrides:
|
||||
- ghc-lib ==9.12.2.20250421
|
||||
- ghc-lib-parser ==9.12.2.20250421
|
||||
- ghc-lib-parser-ex ==9.12.0.0
|
||||
- ghc-parser ==0.2.7.0
|
||||
- ghc-parser ==0.2.8.0
|
||||
- ghc-paths ==0.1.0.12
|
||||
- ghc-source-gen ==0.4.6.0
|
||||
- ghc-syntax-highlighter ==0.0.13.0
|
||||
@@ -1240,7 +1240,7 @@ default-package-overrides:
|
||||
- HaTeX ==3.23.0.1
|
||||
- haveibeenpwned ==0.2.0.3
|
||||
- HaXml ==1.25.14
|
||||
- haxr ==3000.11.5.1
|
||||
- haxr ==3000.11.6
|
||||
- Hclip ==3.0.0.4
|
||||
- HCodecs ==0.5.2
|
||||
- hdaemonize ==0.5.7
|
||||
@@ -1411,7 +1411,7 @@ default-package-overrides:
|
||||
- http-common ==0.8.3.4
|
||||
- http-conduit ==2.3.9.1
|
||||
- http-date ==0.0.11
|
||||
- http-directory ==0.1.11
|
||||
- http-directory ==0.1.12
|
||||
- http-download ==0.2.1.0
|
||||
- http-io-streams ==0.1.7.2
|
||||
- http-link-header ==1.2.3
|
||||
@@ -1526,7 +1526,7 @@ default-package-overrides:
|
||||
- ip ==1.7.8
|
||||
- ip6addr ==2.0.0.1
|
||||
- iproute ==1.7.15
|
||||
- IPv6Addr ==2.0.6.1
|
||||
- IPv6Addr ==2.0.6.2
|
||||
- IPv6DB ==0.3.3.4
|
||||
- ipynb ==0.2
|
||||
- ipython-kernel ==0.11.0.0
|
||||
@@ -1645,7 +1645,7 @@ default-package-overrides:
|
||||
- lens-properties ==4.11.1
|
||||
- lens-regex ==0.1.3
|
||||
- lens-regex-pcre ==1.1.2.0
|
||||
- lentil ==1.5.9.1
|
||||
- lentil ==1.5.10.0
|
||||
- LetsBeRational ==1.0.0.0
|
||||
- leveldb-haskell ==0.6.5.1
|
||||
- lexer-applicative ==2.1.0.2
|
||||
@@ -1707,7 +1707,7 @@ default-package-overrides:
|
||||
- lr-acts ==0.0.1
|
||||
- lrucache ==1.2.0.1
|
||||
- lsfrom ==2.0
|
||||
- lua ==2.3.3
|
||||
- lua ==2.3.4
|
||||
- lua-arbitrary ==1.0.1.1
|
||||
- lucid ==2.11.20250303
|
||||
- lucid-cdn ==0.2.2.0
|
||||
@@ -1725,7 +1725,7 @@ default-package-overrides:
|
||||
- mailtrap ==0.1.2.2
|
||||
- main-tester ==0.2.0.1
|
||||
- mainland-pretty ==0.7.1.1
|
||||
- managed ==1.0.10
|
||||
- managed ==1.0.11
|
||||
- mandrill ==0.5.8.0
|
||||
- manifolds-core ==0.6.1.1
|
||||
- Mantissa ==0.1.0.0
|
||||
@@ -1919,7 +1919,7 @@ default-package-overrides:
|
||||
- named-text ==1.2.2.0
|
||||
- names-th ==0.3.0.1
|
||||
- nano-erl ==0.1.0.1
|
||||
- NanoID ==3.4.1.1
|
||||
- NanoID ==3.4.1.2
|
||||
- nanospec ==0.2.2
|
||||
- nats ==1.1.2
|
||||
- natural-arithmetic ==0.2.3.0
|
||||
@@ -1956,6 +1956,7 @@ default-package-overrides:
|
||||
- network-transport-tcp ==0.8.6
|
||||
- network-transport-tests ==0.3.4
|
||||
- network-uri ==2.6.4.2
|
||||
- network-uri-template ==0.1.1.4
|
||||
- network-wait ==0.2.0.0
|
||||
- newtype ==0.2.2.0
|
||||
- newtype-generics ==0.6.2
|
||||
@@ -2435,7 +2436,7 @@ default-package-overrides:
|
||||
- rhythmic-sequences ==0.8.0.0
|
||||
- riak-protobuf ==0.25.0.0
|
||||
- richenv ==0.1.0.3
|
||||
- rio ==0.1.23.0
|
||||
- rio ==0.1.24.0
|
||||
- rio-orphans ==0.1.2.0
|
||||
- rio-prettyprint ==0.1.8.0
|
||||
- rng-utils ==0.3.1
|
||||
@@ -2452,7 +2453,7 @@ default-package-overrides:
|
||||
- row-types ==1.0.1.2
|
||||
- rp-tree ==0.7.1
|
||||
- rpm-nvr ==0.1.2
|
||||
- rpmbuild-order ==0.4.12
|
||||
- rpmbuild-order ==0.4.13
|
||||
- rrb-vector ==0.2.2.1
|
||||
- RSA ==2.4.1
|
||||
- rss ==3000.2.0.8
|
||||
@@ -2958,7 +2959,7 @@ default-package-overrides:
|
||||
- time-lens ==0.4.0.2
|
||||
- time-locale-compat ==0.1.1.5
|
||||
- time-locale-vietnamese ==1.0.0.0
|
||||
- time-manager ==0.2.3
|
||||
- time-manager ==0.2.4
|
||||
- time-units ==1.0.0
|
||||
- time-units-types ==0.2.0.1
|
||||
- timeit ==2.0
|
||||
|
||||
+2410
-442
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user