git: bc787f8e0d50 - main - math/hs-Agda: Update 2.8.0 => 2.8.0.2
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 15 Sep 2026 13:00:43 UTC
The branch main has been updated by alven:
URL: https://cgit.FreeBSD.org/ports/commit/?id=bc787f8e0d501bae7ddfb571f41e5d01864263aa
commit bc787f8e0d501bae7ddfb571f41e5d01864263aa
Author: Älven <alven@FreeBSD.org>
AuthorDate: 2026-09-14 00:09:58 +0000
Commit: Älven <alven@FreeBSD.org>
CommitDate: 2026-09-15 13:00:03 +0000
math/hs-Agda: Update 2.8.0 => 2.8.0.2
* Add WWW for Hackage package
* Remove BROKEN_i386 stance as lang/ghc* is already 64-bit only
Approved by: haskell@ (alven@)
---
math/hs-Agda/Makefile | 103 +-------
math/hs-Agda/distinfo | 272 ++++++++++-----------
.../patch-__cabal__deps_tasty-1.5.3_tasty.cabal | 11 -
3 files changed, 127 insertions(+), 259 deletions(-)
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 181e5b2be2aa..52f94f9067f0 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,120 +1,25 @@
PORTNAME= Agda
-DISTVERSION= 2.8.0
-PORTREVISION= 2
+DISTVERSION= 2.8.0.2
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
COMMENT= Dependently typed functional programming language and proof assistant
-WWW= https://wiki.portal.chalmers.se/agda/
+WWW= https://wiki.portal.chalmers.se/agda/ \
+ https://hackage.haskell.org/package/Agda
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE
-BROKEN_i386= compiler goes out of memory
-
BUILD_DEPENDS= emacs:editors/emacs@nox
USES= cabal
-USE_CABAL= ListLike-4.7.8.4 \
- OneTuple-0.4.2_1 \
- QuickCheck-2.16.0.0 \
- STMonadTrans-0.4.8.1 \
- StateVar-1.2.2 \
- aeson-2.2.3.0_4 \
- alex-3.5.4.0 \
- ansi-terminal-1.1.5 \
- ansi-terminal-types-1.1.3 \
- ap-normalize-0.1.0.1 \
- assoc-1.1.1_1 \
- async-2.2.5_3 \
- base-compat-0.14.1 \
- base-orphans-0.9.3 \
- bifunctors-5.6.2_2 \
- blaze-builder-0.4.4.1 \
- blaze-html-0.9.2.0_1 \
- blaze-markup-0.8.3.0_2 \
- boxes-0.1.5 \
- case-insensitive-1.2.1.0 \
- character-ps-0.1 \
- colour-2.3.6 \
- comonad-5.0.9_1 \
- contravariant-1.5.5 \
- data-default-0.8.0.1 \
- data-fix-0.3.4_1 \
- data-hash-0.2.0.1 \
- distributive-0.6.2.1_1 \
- dlist-1.0_2 \
- edit-distance-0.2.2.1_1 \
- enummapset-0.7.3.0 \
- equivalence-0.4.1.1 \
- filelock-0.1.1.8 \
- filemanip-0.3.6.3_1 \
- fmlist-0.9.4 \
- generic-data-1.1.0.2 \
- generic-deriving-1.14.6_1 \
- generically-0.1.1_4 \
- gitrev-1.3.1 \
- happy-2.1.7 \
- happy-lib-2.1.7 \
- hashable-1.5.0.0_1 \
- hsc2hs-0.68.10_4 \
- indexed-traversable-0.1.4_1 \
- indexed-traversable-instances-0.1.2_1 \
- integer-conversion-0.1.1_1 \
- integer-logarithms-1.0.4 \
- invariant-0.6.4_1 \
- monad-control-1.0.3.1 \
- murmur-hash-0.1.0.11 \
- network-uri-2.6.4.2_1 \
- nonempty-containers-0.3.5.0 \
- nonempty-vector-0.2.4 \
- optparse-applicative-0.19.0.0 \
- parallel-3.3.0.0 \
- peano-0.1.0.3 \
- pqueue-1.6.0.0 \
- prettyprinter-1.7.1 \
- prettyprinter-ansi-terminal-1.1.3 \
- primitive-0.9.1.0 \
- process-extras-0.7.4_1 \
- profunctors-5.6.3 \
- random-1.3.1 \
- regex-base-0.94.0.3 \
- regex-tdfa-1.3.2.5 \
- scientific-0.3.8.0_2 \
- semialign-1.3.1_2 \
- semigroupoids-6.0.1_2 \
- show-combinators-0.2.0.0_2 \
- split-0.2.5 \
- splitmix-0.1.3.1 \
- strict-0.5.1_1 \
- tagged-0.8.10 \
- tasty-1.5.3_2 \
- text-iso8601-0.1.1_2 \
- text-short-0.1.6_3 \
- th-abstraction-0.7.1.0_1 \
- th-compat-0.1.6 \
- these-1.2.1_2 \
- time-compat-1.9.8 \
- transformers-base-0.4.6 \
- transformers-compat-0.7.2 \
- unix-compat-0.7.4.1 \
- unordered-containers-0.2.21_1 \
- uri-encode-1.5.0.7_3 \
- utf8-string-1.0.2 \
- uuid-types-1.0.6_3 \
- vector-0.13.2.0_2 \
- vector-hashtables-0.1.2.1 \
- vector-stream-0.1.0.1_4 \
- witherable-0.5_1 \
- zlib-0.7.1.1
-CABAL_REVISION= 2
CABAL_EXECUTABLES= agda agda-mode
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
agda_DATADIR_VARS= Agda
agda-mode_DATADIR_VARS= Agda
-PLIST_SUB= AGDA_VER=${PORTVERSION}
+PLIST_SUB= AGDA_VER=${DISTVERSION}
post-install:
#${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index 40bf5c2797cd..89dcc790c0fe 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,26 +1,20 @@
-TIMESTAMP = 1766778615
-SHA256 (cabal/Agda-2.8.0/Agda-2.8.0.tar.gz) = 86841907e78a5aafcf57b09edb7d50036f7de1b2217c8b58e2c57d6004969ba0
-SIZE (cabal/Agda-2.8.0/Agda-2.8.0.tar.gz) = 1951997
-SHA256 (cabal/Agda-2.8.0/revision/2.cabal) = b73b1b6685650d4429074f10440952cecb7aef190a994f75d168c354d20b01a8
-SIZE (cabal/Agda-2.8.0/revision/2.cabal) = 34453
+TIMESTAMP = 1789344424
+SHA256 (cabal/Agda-2.8.0.2/Agda-2.8.0.2.tar.gz) = a4f57af0da1c3fb05dc3b9c50c86ce3932614776d3b32b2ffcbbfa38e3eab8c5
+SIZE (cabal/Agda-2.8.0.2/Agda-2.8.0.2.tar.gz) = 1952317
SHA256 (cabal/ListLike-4.7.8.4/ListLike-4.7.8.4.tar.gz) = 3bc7e503c204990b47cf977b9ffa498c564086165fba4700512afc6b5e3c69c4
SIZE (cabal/ListLike-4.7.8.4/ListLike-4.7.8.4.tar.gz) = 33381
-SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
-SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
-SHA256 (cabal/OneTuple-0.4.2/revision/1.cabal) = dd7266f983da2970e5662168add810dabadabb3a4bb9b137181eafc0ac7ea4d4
-SIZE (cabal/OneTuple-0.4.2/revision/1.cabal) = 2013
-SHA256 (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 0b563fa6ea11653d76d57e96625f4a476e02b9fdaeba9c05d2ccc10d8da802c0
-SIZE (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 83903
+SHA256 (cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz) = 643d1f48e63480ac6d03a8f0ab5976d66527c9b42b1fca81d1bf373d10099c6b
+SIZE (cabal/OneTuple-0.4.3/OneTuple-0.4.3.tar.gz) = 5299
+SHA256 (cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz) = fd8462ad3b1c3bb90465ec581356cf5214673c1015d73f28f2e7a3df179bbc55
+SIZE (cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz) = 90712
SHA256 (cabal/STMonadTrans-0.4.8.1/STMonadTrans-0.4.8.1.tar.gz) = 7b281fe640ef983786d0457a446af2cd1f968def37b91be102a268361ff6a914
SIZE (cabal/STMonadTrans-0.4.8.1/STMonadTrans-0.4.8.1.tar.gz) = 7517
SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
-SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa
-SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855
-SHA256 (cabal/aeson-2.2.3.0/revision/4.cabal) = 7d48c2395ef168d2c2070fdb02c7998384be27d31a03bb35d1740af4a19a857b
-SIZE (cabal/aeson-2.2.3.0/revision/4.cabal) = 6368
-SHA256 (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = a9ea70f2c4900e685312cf330d1fe955a3e8f00acd1328d463ae150481d28ade
-SIZE (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = 94220
+SHA256 (cabal/aeson-2.3.2.0/aeson-2.3.2.0.tar.gz) = c30d187d60fb81b0f93f72442ee6b1abd2709fc3b5e3befcf4173f6b30983458
+SIZE (cabal/aeson-2.3.2.0/aeson-2.3.2.0.tar.gz) = 342460
+SHA256 (cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz) = df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418
+SIZE (cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz) = 94432
SHA256 (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073
SIZE (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 33344
SHA256 (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689
@@ -29,20 +23,16 @@ SHA256 (cabal/ap-normalize-0.1.0.1/ap-normalize-0.1.0.1.tar.gz) = 820613b12ce759
SIZE (cabal/ap-normalize-0.1.0.1/ap-normalize-0.1.0.1.tar.gz) = 6725
SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6
SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158
-SHA256 (cabal/assoc-1.1.1/revision/1.cabal) = 0ab39b4d1feb4caca95ac6e314f48782b27a86a6b8d1f5e8dc4be9fbed11185f
-SIZE (cabal/assoc-1.1.1/revision/1.cabal) = 1420
-SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
-SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
-SHA256 (cabal/async-2.2.5/revision/3.cabal) = b7648c6165729a973d95cb328f9fd874813a81c727707e8b2552b4f03399763b
-SIZE (cabal/async-2.2.5/revision/3.cabal) = 3366
-SHA256 (cabal/base-compat-0.14.1/base-compat-0.14.1.tar.gz) = 74e655541e645e8fc7aade1e6a1b6973561be0bca9369bc1623aa345019a35e9
-SIZE (cabal/base-compat-0.14.1/base-compat-0.14.1.tar.gz) = 32244
-SHA256 (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 17a35079c8719014560c028d9805ec1301b900972adf212e00af23fe3ebfabd8
-SIZE (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 19923
-SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a
-SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193
-SHA256 (cabal/bifunctors-5.6.2/revision/2.cabal) = 115a621c4eaaabb07834f9e4dd3371e21f39d034305062f4bd5cd72c2f8880d2
-SIZE (cabal/bifunctors-5.6.2/revision/2.cabal) = 3332
+SHA256 (cabal/assoc-1.1.1/revision/2.cabal) = 766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4
+SIZE (cabal/assoc-1.1.1/revision/2.cabal) = 1437
+SHA256 (cabal/async-2.2.6/async-2.2.6.tar.gz) = 148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619
+SIZE (cabal/async-2.2.6/async-2.2.6.tar.gz) = 18996
+SHA256 (cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz) = 08cc283a31350f7bd28b2a5d31af693ee337f2593d3e7222999b72dd4954c72b
+SIZE (cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz) = 19999
+SHA256 (cabal/bifunctors-5.6.3/bifunctors-5.6.3.tar.gz) = ad7a357f022f4c780c505040d73f1c06a4fd697b4a0bab6123bbd73b55d8115c
+SIZE (cabal/bifunctors-5.6.3/bifunctors-5.6.3.tar.gz) = 38216
+SHA256 (cabal/bifunctors-5.6.3/revision/1.cabal) = 58f1d66db71ed9dd70648eaca1a0986b29354b3a69b5bfd729ce1a896766466e
+SIZE (cabal/bifunctors-5.6.3/revision/1.cabal) = 3271
SHA256 (cabal/blaze-builder-0.4.4.1/blaze-builder-0.4.4.1.tar.gz) = 971d360428ac97af9a4e55e4f2c23649f6cedc0ce5d6e94d520e663f33ea5113
SIZE (cabal/blaze-builder-0.4.4.1/blaze-builder-0.4.4.1.tar.gz) = 59452
SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f
@@ -59,26 +49,22 @@ SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc1
SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609
SHA256 (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 22de71fde38b236d3e9168a832b5e1e75d1fb4f4028667bdf747b3b4c8c1529c
SIZE (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 8192
-SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871
-SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
-SHA256 (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 69fb0eb49a80055a9b76d31d0a5648777c4050ac8dbf56a9344b862ed878a789
-SIZE (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 14455
-SHA256 (cabal/comonad-5.0.9/revision/1.cabal) = 75aded79bf583c908e4e4687c0ae067f256e2507536b75f58ffba7748767c353
-SIZE (cabal/comonad-5.0.9/revision/1.cabal) = 3587
-SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa
-SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815
-SHA256 (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = ce085de8ec2196f0c1d30af0ad8a517d5737c9edfd4ebfbb49e8687dfc40b6ca
-SIZE (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = 5821
+SHA256 (cabal/colour-2.3.7/colour-2.3.7.tar.gz) = 1f3b1055675abe4e3362800cc9bf7ab9b92dfdf21a1f6c82b252611270be9680
+SIZE (cabal/colour-2.3.7/colour-2.3.7.tar.gz) = 22506
+SHA256 (cabal/comonad-5.0.10/comonad-5.0.10.tar.gz) = e9739df2bf5944958062a4ea73bde3bf35c0879cee0944edf7f05bebf993f9c1
+SIZE (cabal/comonad-5.0.10/comonad-5.0.10.tar.gz) = 14520
+SHA256 (cabal/contravariant-1.5.6/contravariant-1.5.6.tar.gz) = 65f3260354ee5fd1f2c7ffc54cff99d22b794c254f053734979ad37820e6efe3
+SIZE (cabal/contravariant-1.5.6/contravariant-1.5.6.tar.gz) = 13438
+SHA256 (cabal/data-default-0.8.0.2/data-default-0.8.0.2.tar.gz) = fa7d5de70ccef7381a7f17cd64948de1c24b620de13e1cd55c36c26949870799
+SIZE (cabal/data-default-0.8.0.2/data-default-0.8.0.2.tar.gz) = 6138
SHA256 (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37
SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992
-SHA256 (cabal/data-fix-0.3.4/revision/1.cabal) = ee78be6168ca0878d670fede957195d3debf4a37a806d13d72182b274901261b
-SIZE (cabal/data-fix-0.3.4/revision/1.cabal) = 1406
+SHA256 (cabal/data-fix-0.3.4/revision/2.cabal) = 200360c49cc81cf8b8bbdf49afd4aee03fffd09d3395b080a7e7c65fcf01d313
+SIZE (cabal/data-fix-0.3.4/revision/2.cabal) = 1421
SHA256 (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe
SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504
-SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
-SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140
-SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
-SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
+SHA256 (cabal/distributive-0.6.3/distributive-0.6.3.tar.gz) = aeeb028a23db9f9b073e24a6bd766b79b9d58c2b407b06bf33296c27e9264baa
+SIZE (cabal/distributive-0.6.3/distributive-0.6.3.tar.gz) = 7840
SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
SHA256 (cabal/dlist-1.0/revision/2.cabal) = 854727594c5a816ab3d10f15b1bc4fedaf9e3f7d1ef517a2bb9011f29ba261d2
@@ -89,58 +75,46 @@ SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b8
SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351
SHA256 (cabal/enummapset-0.7.3.0/enummapset-0.7.3.0.tar.gz) = 74c805415005f065379d644b2f2530d297b1cff650e5ef269a479220afdf7070
SIZE (cabal/enummapset-0.7.3.0/enummapset-0.7.3.0.tar.gz) = 14074
+SHA256 (cabal/enummapset-0.7.3.0/revision/2.cabal) = ed553ba6fefd12509605b32ba75d905dde2a507aa0dff0a8bda259a69f6a7413
+SIZE (cabal/enummapset-0.7.3.0/revision/2.cabal) = 2549
SHA256 (cabal/equivalence-0.4.1.1/equivalence-0.4.1.1.tar.gz) = 926dc61dc9153aac3dafa69712f0ca6a96516a9423e4fbb8cca31f332c102bf2
SIZE (cabal/equivalence-0.4.1.1/equivalence-0.4.1.1.tar.gz) = 9361
-SHA256 (cabal/filelock-0.1.1.8/filelock-0.1.1.8.tar.gz) = 72ab22e966feb4f6021425fdf9e6f758e3ca711b0156eeb3f8590b8e1092b62e
-SIZE (cabal/filelock-0.1.1.8/filelock-0.1.1.8.tar.gz) = 8128
+SHA256 (cabal/filelock-0.1.1.9/filelock-0.1.1.9.tar.gz) = 243248730399e383a10c276c476db8c735591716e0f6f34ca6120cb3a255eae7
+SIZE (cabal/filelock-0.1.1.9/filelock-0.1.1.9.tar.gz) = 8212
SHA256 (cabal/filemanip-0.3.6.3/filemanip-0.3.6.3.tar.gz) = 8836da17baaaf02ca080c9990ece4e0b0c8d6a128f458f8b64fd07b225ca9846
SIZE (cabal/filemanip-0.3.6.3/filemanip-0.3.6.3.tar.gz) = 10369
SHA256 (cabal/filemanip-0.3.6.3/revision/1.cabal) = 0a7923d17b13f4f6bb996a3915aa795b6f7401ce68f656ac38e5f00429c6a3d0
SIZE (cabal/filemanip-0.3.6.3/revision/1.cabal) = 1283
-SHA256 (cabal/fmlist-0.9.4/fmlist-0.9.4.tar.gz) = 2dbdc1850e6768fd5f4e4c45d011ef6796d8b2d639ec200da7f4407ae02d09a6
-SIZE (cabal/fmlist-0.9.4/fmlist-0.9.4.tar.gz) = 4445
+SHA256 (cabal/fmlist-0.9.5/fmlist-0.9.5.tar.gz) = c7a19a27340b6e0fd77934482985244e9850873b55acc51d5ec72dfb7569c00c
+SIZE (cabal/fmlist-0.9.5/fmlist-0.9.5.tar.gz) = 5495
SHA256 (cabal/generic-data-1.1.0.2/generic-data-1.1.0.2.tar.gz) = f27e0a28459755f6c301eb9661f15230ccc6cf94f699d9aafb34ce659138dab5
SIZE (cabal/generic-data-1.1.0.2/generic-data-1.1.0.2.tar.gz) = 40676
-SHA256 (cabal/generic-deriving-1.14.6/generic-deriving-1.14.6.tar.gz) = f195c17f1a32a3c9a2bf8762b8f9a9b5f6271f9e6075c887aa3609364356b2af
-SIZE (cabal/generic-deriving-1.14.6/generic-deriving-1.14.6.tar.gz) = 50583
-SHA256 (cabal/generic-deriving-1.14.6/revision/1.cabal) = f47c071d90370e0eee27dad6139964bed29b2d896b404b3a9516138f0d92ac55
-SIZE (cabal/generic-deriving-1.14.6/revision/1.cabal) = 6755
-SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf
-SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870
-SHA256 (cabal/generically-0.1.1/revision/4.cabal) = 3f64278f5c582dd7c6963967b1290079bcd03b8348989f909ac9bd972ddc452e
-SIZE (cabal/generically-0.1.1/revision/4.cabal) = 1203
-SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332
-SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756
-SHA256 (cabal/happy-2.1.7/happy-2.1.7.tar.gz) = 9e390f0ab082d11d46598f6215b2f6e8253059721860f81082409091532d7e2a
-SIZE (cabal/happy-2.1.7/happy-2.1.7.tar.gz) = 62023
-SHA256 (cabal/happy-lib-2.1.7/happy-lib-2.1.7.tar.gz) = f625b2c4a3f2b5fafa3c560fa8757502cc8de83d9a84c2692fc943380900f269
-SIZE (cabal/happy-lib-2.1.7/happy-lib-2.1.7.tar.gz) = 94227
-SHA256 (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = e58b3a8e18da5f6cd7e937e5fd683e500bb1f8276b3768269759119ca0cddb6a
-SIZE (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = 89062
-SHA256 (cabal/hashable-1.5.0.0/revision/1.cabal) = 2f23146cbe0325029927b221647695a4c7d6e97548ff731110979e34361f58ef
-SIZE (cabal/hashable-1.5.0.0/revision/1.cabal) = 5914
+SHA256 (cabal/generic-data-1.1.0.2/revision/1.cabal) = e88e636c7555a4de499761598c9ecfca72f50896e5adefd10d603170a68c4a38
+SIZE (cabal/generic-data-1.1.0.2/revision/1.cabal) = 4347
+SHA256 (cabal/generic-deriving-1.14.7/generic-deriving-1.14.7.tar.gz) = c91620a5c9159bbd7adde183520eac22c2d06f4e076dffe4e0b8650191e5d8ca
+SIZE (cabal/generic-deriving-1.14.7/generic-deriving-1.14.7.tar.gz) = 50604
+SHA256 (cabal/happy-2.2/happy-2.2.tar.gz) = 2e9345c99a61bc29b5a1b9d5c1ea791cbea219499a4c01ed71f33c3af34a5eb0
+SIZE (cabal/happy-2.2/happy-2.2.tar.gz) = 62273
+SHA256 (cabal/happy-lib-2.2/happy-lib-2.2.tar.gz) = d2e0662b12b52008787c380b94acd4f6ed0a0af04bb0d433ed8c4ac00f1e3003
+SIZE (cabal/happy-lib-2.2/happy-lib-2.2.tar.gz) = 94570
+SHA256 (cabal/hashable-1.5.1.0/hashable-1.5.1.0.tar.gz) = ed0b7c10ce92c9ffe45420dadc38c6d39db486ff3633ff13567cc9f75f79b112
+SIZE (cabal/hashable-1.5.1.0/hashable-1.5.1.0.tar.gz) = 90605
SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
-SHA256 (cabal/hsc2hs-0.68.10/revision/4.cabal) = 725ef6da03d3d6e332db4de0a35bee45d72e4d31decc5ec7f153e6837af5f03e
-SIZE (cabal/hsc2hs-0.68.10/revision/4.cabal) = 3114
-SHA256 (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22
-SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465
-SHA256 (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 42d9e84a65a0c17c248233cab98ada872ff6140dfa24d109d6eb285204d07e7d
-SIZE (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 2098
-SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1
-SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673
-SHA256 (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 68df0fc8070ae2c15f9e6febf1449fee364c131a6d1e93cac45e7895ba86dd89
-SIZE (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 2401
+SHA256 (cabal/hsc2hs-0.68.10/revision/5.cabal) = 39b25fd929b02b01a3fe59fec7ca8b2da6f0f9e282276b7a84e63a4702c4d725
+SIZE (cabal/hsc2hs-0.68.10/revision/5.cabal) = 3131
+SHA256 (cabal/indexed-traversable-0.1.5/indexed-traversable-0.1.5.tar.gz) = 6423597d3528ac66c54beaab9f5408429c0a29b8cb98c45a1645f255aef7fef0
+SIZE (cabal/indexed-traversable-0.1.5/indexed-traversable-0.1.5.tar.gz) = 9532
+SHA256 (cabal/indexed-traversable-instances-0.1.2.1/indexed-traversable-instances-0.1.2.1.tar.gz) = e69d41f23a95463c2e03aee03374a4f489c72f7bf235be251499c4cca9411fec
+SIZE (cabal/indexed-traversable-instances-0.1.2.1/indexed-traversable-instances-0.1.2.1.tar.gz) = 3690
SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a
SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179
-SHA256 (cabal/integer-conversion-0.1.1/revision/1.cabal) = 941d4ae16e2124cbff5defe2abedb49efc8e03a594f817035bf231a317e6c1c9
-SIZE (cabal/integer-conversion-0.1.1/revision/1.cabal) = 2256
-SHA256 (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 6a93c76c2518cbe2d72ab17da6ae46d8cae93cbfb7c5a5ad5783f903c1448f45
-SIZE (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 8948
-SHA256 (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = a9e2ab4ee3e0d4613beb7bda36a8ebc4f72318450514f4832d2fa43b74f0aeb3
-SIZE (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = 27079
-SHA256 (cabal/invariant-0.6.4/revision/1.cabal) = 4a9a609f4e93ffed158b3b4f5a80822c6da30aa71a5370307c0c00c2d658d1c6
-SIZE (cabal/invariant-0.6.4/revision/1.cabal) = 3513
+SHA256 (cabal/integer-conversion-0.1.1/revision/2.cabal) = 123d1b088404f0976500c68d8105978aa2e32908ce5508e32aebd237f0447c9f
+SIZE (cabal/integer-conversion-0.1.1/revision/2.cabal) = 2311
+SHA256 (cabal/integer-logarithms-1.0.5/integer-logarithms-1.0.5.tar.gz) = 66dff6f1f778fe1ec689139fe125cd4e6a95643734c651c891eafa2c50669459
+SIZE (cabal/integer-logarithms-1.0.5/integer-logarithms-1.0.5.tar.gz) = 8925
+SHA256 (cabal/invariant-0.6.5/invariant-0.6.5.tar.gz) = 626bdec7c925fb0f15896dcc776992cb00a5fcf99211528c13e7535e72396e3a
+SIZE (cabal/invariant-0.6.5/invariant-0.6.5.tar.gz) = 27115
SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c
SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985
SHA256 (cabal/murmur-hash-0.1.0.11/murmur-hash-0.1.0.11.tar.gz) = 71aa17132bff71814d653caed8f9da55c27e3c3425eb4db404fa65b3ca296dfe
@@ -149,24 +123,32 @@ SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e8932
SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
-SHA256 (cabal/nonempty-containers-0.3.5.0/nonempty-containers-0.3.5.0.tar.gz) = 09e5385852d02830152a4ef72a4928a7a3c9353a1fa6fc8510228d9215bfeab6
-SIZE (cabal/nonempty-containers-0.3.5.0/nonempty-containers-0.3.5.0.tar.gz) = 101237
+SHA256 (cabal/nonempty-containers-0.3.6.0/nonempty-containers-0.3.6.0.tar.gz) = ae2473d7b31a015cdab35b9e1b13f68f5ac6a557b635ebfef6dae0e0d3ad8de9
+SIZE (cabal/nonempty-containers-0.3.6.0/nonempty-containers-0.3.6.0.tar.gz) = 106438
SHA256 (cabal/nonempty-vector-0.2.4/nonempty-vector-0.2.4.tar.gz) = e32d9efb7862507e76e3f6876c67c980da9a5b4d743e07d424159868ae471c67
SIZE (cabal/nonempty-vector-0.2.4/nonempty-vector-0.2.4.tar.gz) = 18480
+SHA256 (cabal/nonempty-vector-0.2.4/revision/1.cabal) = 36c9d3da829e4da7c3d9ffdc5cfd5919877af27143852775bff658df15fdd093
+SIZE (cabal/nonempty-vector-0.2.4/revision/1.cabal) = 1520
SHA256 (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = cf16aeefd821730c7738447fa7c6b7ada7ca1c9cc25400d64ef283294d345871
SIZE (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = 67629
+SHA256 (cabal/optparse-applicative-0.19.0.0/revision/1.cabal) = 4c1dcbdbf2498f7cdd88826e876403db7f8d81931962060ec4c3a57a186c6cc3
+SIZE (cabal/optparse-applicative-0.19.0.0/revision/1.cabal) = 5982
SHA256 (cabal/parallel-3.3.0.0/parallel-3.3.0.0.tar.gz) = 47c21e778d8e8ebf657aa72fd30e189e71ffddb188660e9d09ca9062d7541791
SIZE (cabal/parallel-3.3.0.0/parallel-3.3.0.0.tar.gz) = 15309
-SHA256 (cabal/peano-0.1.0.3/peano-0.1.0.3.tar.gz) = fd7959f2c97e64ecae28cb50fb47c0437d7382adabec532bba48e806b4ebdd41
-SIZE (cabal/peano-0.1.0.3/peano-0.1.0.3.tar.gz) = 2959
-SHA256 (cabal/pqueue-1.6.0.0/pqueue-1.6.0.0.tar.gz) = 865b5cf14bf26b7ca43028a8997aedbd9e56cedf49e03c7f7d8f0a032af8e9ad
-SIZE (cabal/pqueue-1.6.0.0/pqueue-1.6.0.0.tar.gz) = 41748
-SHA256 (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45
-SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907
-SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3
-SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879
+SHA256 (cabal/parallel-3.3.0.0/revision/1.cabal) = 7a4b82d3ad83e38f5b3be442ee32c9e17905ba9a813349fa76707fd0377e91aa
+SIZE (cabal/parallel-3.3.0.0/revision/1.cabal) = 1849
+SHA256 (cabal/peano-0.1.1.0/peano-0.1.1.0.tar.gz) = 939f728e5507c0d1427ef27ae8783ba082a79a10839f089ee02d6c9c6bf5de28
+SIZE (cabal/peano-0.1.1.0/peano-0.1.1.0.tar.gz) = 3054
+SHA256 (cabal/pqueue-1.7.0.0/pqueue-1.7.0.0.tar.gz) = 235f4f47334d9340a17553851a0e2e8ed59a8ea13b5b7ca85f8484ca35f2cd95
+SIZE (cabal/pqueue-1.7.0.0/pqueue-1.7.0.0.tar.gz) = 41442
+SHA256 (cabal/prettyprinter-1.7.2/prettyprinter-1.7.2.tar.gz) = f04eb6fd865512ad8672da1e8bfcea1c384509fc2f662c41b7ac39d7898706ee
+SIZE (cabal/prettyprinter-1.7.2/prettyprinter-1.7.2.tar.gz) = 57434
+SHA256 (cabal/prettyprinter-ansi-terminal-1.1.4/prettyprinter-ansi-terminal-1.1.4.tar.gz) = 912cd340d5c2583111e2eaeb9aa03b87551ca2e3dd78bbfd346756b9f1e6c9fe
+SIZE (cabal/prettyprinter-ansi-terminal-1.1.4/prettyprinter-ansi-terminal-1.1.4.tar.gz) = 9918
SHA256 (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 44b4de41813c7bc5db8a57f87c3612a069b65086946268ba165097252ebd3d76
SIZE (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 61724
+SHA256 (cabal/primitive-0.9.1.0/revision/1.cabal) = 756b222c715bc6ef5ba81fa69cdbaa20c5c53beb6f16f174b8bacc93a6d239f0
+SIZE (cabal/primitive-0.9.1.0/revision/1.cabal) = 3258
SHA256 (cabal/process-extras-0.7.4/process-extras-0.7.4.tar.gz) = 293e75f849254ce0ce0d7fa659681917e07a557c602505a2f9e20777467e984e
SIZE (cabal/process-extras-0.7.4/process-extras-0.7.4.tar.gz) = 14256
SHA256 (cabal/process-extras-0.7.4/revision/1.cabal) = bf5f39f0c43fd4d413ac38c6bd24cb4d9a901adf3d646cc673bb8db93606f4d2
@@ -177,91 +159,83 @@ SHA256 (cabal/random-1.3.1/random-1.3.1.tar.gz) = d840ac83f265b0cfa2a678f8ec7862
SIZE (cabal/random-1.3.1/random-1.3.1.tar.gz) = 63846
SHA256 (cabal/regex-base-0.94.0.3/regex-base-0.94.0.3.tar.gz) = e8ca2dee598c790dd1c1c4359bdd1e495d9b881f5aa1f539c22f0dd5563747bf
SIZE (cabal/regex-base-0.94.0.3/regex-base-0.94.0.3.tar.gz) = 10550
-SHA256 (cabal/regex-tdfa-1.3.2.5/regex-tdfa-1.3.2.5.tar.gz) = 2e3dfb449a548484f7d3b4e2a1b1040b39be26c4f3182a47004dc5eddf028a78
-SIZE (cabal/regex-tdfa-1.3.2.5/regex-tdfa-1.3.2.5.tar.gz) = 83371
-SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf
-SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314
-SHA256 (cabal/scientific-0.3.8.0/revision/2.cabal) = ba83a6701dd0110138443757aca4a42786afa94272b73045ef878fd860d1732e
-SIZE (cabal/scientific-0.3.8.0/revision/2.cabal) = 4397
-SHA256 (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 66e87bc254ffec2ee908bf625c42d3b7363238d6ab1cfba8934bbee7590c9df7
-SIZE (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 10117
-SHA256 (cabal/semialign-1.3.1/revision/2.cabal) = dfe515a9e43230f5308564a649a04ea1538499ed98b944644b77bed5394b9deb
-SIZE (cabal/semialign-1.3.1/revision/2.cabal) = 2224
-SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f
-SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372
-SHA256 (cabal/semigroupoids-6.0.1/revision/2.cabal) = bfee06a6d88038a88ddd10fc21c230bf5ee3a14d0584dc6ab7ad54a9252c2c21
-SIZE (cabal/semigroupoids-6.0.1/revision/2.cabal) = 7539
+SHA256 (cabal/regex-tdfa-1.3.2.6/regex-tdfa-1.3.2.6.tar.gz) = 331285935eb029bc048fad5031c8de31b038bb361c5b6cbbfc47c011cc2ee295
+SIZE (cabal/regex-tdfa-1.3.2.6/regex-tdfa-1.3.2.6.tar.gz) = 83407
+SHA256 (cabal/scientific-0.3.8.1/scientific-0.3.8.1.tar.gz) = ad3781be149dfc7936e62eb9c3ad78ded0e9985b4dae16d2f62d9ba957ccdcfe
+SIZE (cabal/scientific-0.3.8.1/scientific-0.3.8.1.tar.gz) = 24338
+SHA256 (cabal/semialign-1.4/semialign-1.4.tar.gz) = 0f51389e57af646042dcec2511960617bee2857231ac291228cf4ef6621a9464
+SIZE (cabal/semialign-1.4/semialign-1.4.tar.gz) = 10752
+SHA256 (cabal/semigroupoids-6.0.2/semigroupoids-6.0.2.tar.gz) = e48258e49542245ef6c58d7f419a83d1d1ab91b013d92c3b5c8c7c048daaa12e
+SIZE (cabal/semigroupoids-6.0.2/semigroupoids-6.0.2.tar.gz) = 36447
+SHA256 (cabal/semigroupoids-6.0.2/revision/1.cabal) = 52c5a346fdf74380618f67ff784989ef9078498dbbdff09e4d8e2fed20202e2c
+SIZE (cabal/semigroupoids-6.0.2/revision/1.cabal) = 7216
SHA256 (cabal/show-combinators-0.2.0.0/show-combinators-0.2.0.0.tar.gz) = c902dbaf0e9cf7056d786d44fbdea2781bc65524089639242c2624dae841ba1d
SIZE (cabal/show-combinators-0.2.0.0/show-combinators-0.2.0.0.tar.gz) = 4297
SHA256 (cabal/show-combinators-0.2.0.0/revision/2.cabal) = 5d7a36c6383c9eff1dc15970da3206a05b50c2d1e93155970ffcf240eaa57d58
SIZE (cabal/show-combinators-0.2.0.0/revision/2.cabal) = 1277
-SHA256 (cabal/split-0.2.5/split-0.2.5.tar.gz) = 52da404e8397c1ab238354c8d4fd9a7e9c5cac8849cc2ce2e45facc85e74a913
-SIZE (cabal/split-0.2.5/split-0.2.5.tar.gz) = 16008
-SHA256 (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = b6bcd0d79bd4fe40975c8ebe803be2f3bfbf6006069a59745a325a0df3f86270
-SIZE (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = 21955
+SHA256 (cabal/split-0.2.5.1/split-0.2.5.1.tar.gz) = 18adb60f7f12d08601c382d47c2bacbbd4de4b9233f09683889d15b64b6420d6
+SIZE (cabal/split-0.2.5.1/split-0.2.5.1.tar.gz) = 16004
+SHA256 (cabal/splitmix-0.1.3.2/splitmix-0.1.3.2.tar.gz) = a61d4e8b30f5a16526d7d31171b674ae7924d2207f378060d13363bd8794de8c
+SIZE (cabal/splitmix-0.1.3.2/splitmix-0.1.3.2.tar.gz) = 11373
SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b
SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798
SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2
SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557
SHA256 (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 17ef791eb4caf314a3b4b158827a0f1f4b695c2a24af0875f09e3d8c10f56c5d
SIZE (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 8398
-SHA256 (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 54a0c7b644813af871a3726ac8771b5e17b5158c792a7acf8f9e2d3ae9360780
-SIZE (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 66548
-SHA256 (cabal/tasty-1.5.3/revision/2.cabal) = 6b5dda3f16db1274a0b3e6c4073ac57172a1e96b1dca05666c5cbd1183639412
-SIZE (cabal/tasty-1.5.3/revision/2.cabal) = 2923
-SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202
-SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599
-SHA256 (cabal/text-iso8601-0.1.1/revision/2.cabal) = e07a625eef969338992bf9bba8e5dc73f07ac65f991ba636b8f1175890d15849
-SIZE (cabal/text-iso8601-0.1.1/revision/2.cabal) = 2411
-SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab
-SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691
-SHA256 (cabal/text-short-0.1.6/revision/3.cabal) = 41be94ccd3f6646ab69b0b05c5130ea3c7911a4598ab9b9192f21ad25a69163a
-SIZE (cabal/text-short-0.1.6/revision/3.cabal) = 2827
-SHA256 (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = f9b6184aba4c6b61dd0d96f7dad41a4c9db0a01d3cdbf993a7d860488f1c04c5
-SIZE (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = 45428
-SHA256 (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 3011403d85b0070630e33d66b9370535ccd1e0e672ae58f847550b2b15bb4fd8
-SIZE (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 2268
-SHA256 (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = b781a0c059872bc95406d00e98f6fa7d9e81e744730f75186583cb4dcea0a4eb
-SIZE (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = 14622
+SHA256 (cabal/tagged-0.8.10/revision/1.cabal) = e9b97c98e9827981d62f37c5febf9e6bbb67acec92b8bd41fd9f7ace5eb31d32
+SIZE (cabal/tagged-0.8.10/revision/1.cabal) = 2201
+SHA256 (cabal/tasty-1.5.4/tasty-1.5.4.tar.gz) = c76120141bd61c4418b3ed5efc5fe3094186d47cfe12d7be552320139f52c6c7
+SIZE (cabal/tasty-1.5.4/tasty-1.5.4.tar.gz) = 68529
+SHA256 (cabal/text-iso8601-0.2.0.0/text-iso8601-0.2.0.0.tar.gz) = d5271d05477bd946d62b31adf4bb6eb3d963c13581c67e7e57d2e2bdffcbe4ee
+SIZE (cabal/text-iso8601-0.2.0.0/text-iso8601-0.2.0.0.tar.gz) = 10093
+SHA256 (cabal/text-short-0.1.6.1/text-short-0.1.6.1.tar.gz) = 83669f402354274fbcdc75126443af733267b955e451f72c0c6d86ae8da87416
+SIZE (cabal/text-short-0.1.6.1/text-short-0.1.6.1.tar.gz) = 24700
+SHA256 (cabal/th-abstraction-0.7.2.0/th-abstraction-0.7.2.0.tar.gz) = 946654bcd8ea2dff7d0058061861a8c898be9addf20c92d3cfa53b679e737622
+SIZE (cabal/th-abstraction-0.7.2.0/th-abstraction-0.7.2.0.tar.gz) = 45532
+SHA256 (cabal/th-compat-0.1.7/th-compat-0.1.7.tar.gz) = 9e26f12230d38ae56dcf94f8c139799dc3b7376f3434d35ce74847a0a24fd5ff
+SIZE (cabal/th-compat-0.1.7/th-compat-0.1.7.tar.gz) = 14763
SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de
SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906
-SHA256 (cabal/these-1.2.1/revision/2.cabal) = 35c57aede96c15ea1fed559ac287b1168eb2b2869d79e62ed8c845780b7ea136
-SIZE (cabal/these-1.2.1/revision/2.cabal) = 2294
-SHA256 (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 502ef8694a5b131b47c0e5df2e9053d005a3b345b30f5225af04f081d3ef5cf0
-SIZE (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 63414
-SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
-SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
+SHA256 (cabal/these-1.2.1/revision/3.cabal) = ba1aec9a502eb2b3f90ef254f420468a3c4e5b9b7e8324e3ddc7035143c92640
+SIZE (cabal/these-1.2.1/revision/3.cabal) = 2384
+SHA256 (cabal/time-compat-1.9.9/time-compat-1.9.9.tar.gz) = 90fadded53cf9c15855eebf809e9536af8f85d00e32b82f7c8b506d2fadf7c25
+SIZE (cabal/time-compat-1.9.9/time-compat-1.9.9.tar.gz) = 64400
+SHA256 (cabal/time-compat-1.9.9/revision/1.cabal) = 0c291e0c3c87ee08b2517107b62901b102a040dc86203b53bdf07a96ff5632e0
+SIZE (cabal/time-compat-1.9.9/revision/1.cabal) = 5488
+SHA256 (cabal/transformers-base-0.4.6.1/transformers-base-0.4.6.1.tar.gz) = b43de3b3b9d658d504e8a0309356602ddc53c8dad3fdbbc3359abcb5439b41d8
+SIZE (cabal/transformers-base-0.4.6.1/transformers-base-0.4.6.1.tar.gz) = 2946
SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
SHA256 (cabal/unix-compat-0.7.4.1/unix-compat-0.7.4.1.tar.gz) = 3f9611624a100c75e672d900e63fe7a0e595615a34e6605662edaff151e44054
SIZE (cabal/unix-compat-0.7.4.1/unix-compat-0.7.4.1.tar.gz) = 15619
SHA256 (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 3b2ad1522b546e61960153257d1e5d239eeec5e83da847d5cb4d896a5bb7f9c0
SIZE (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 68227
-SHA256 (cabal/unordered-containers-0.2.21/revision/1.cabal) = bcff64f48fba1e25bf9b5346d1c3545402cd2f1293b411435e7850ccb62884e5
-SIZE (cabal/unordered-containers-0.2.21/revision/1.cabal) = 3987
+SHA256 (cabal/unordered-containers-0.2.21/revision/2.cabal) = c5de1fb3377ed3c5f4cd851a771d1acc5c37d2f6bef0a499295c0e8857da5605
+SIZE (cabal/unordered-containers-0.2.21/revision/2.cabal) = 3987
SHA256 (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = c79c624257833841a22890e4d2b0ab07e4be88e0f99474d328223815c0814252
SIZE (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = 3506
SHA256 (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00
SIZE (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 2462
SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
-SHA256 (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e
-SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222
-SHA256 (cabal/uuid-types-1.0.6/revision/3.cabal) = 5ac2b681a8d7676f6a51ac1b113bfdcf18dd7fdbb313034850ed6493eef96da0
-SIZE (cabal/uuid-types-1.0.6/revision/3.cabal) = 2619
+SHA256 (cabal/uuid-types-1.0.6.1/uuid-types-1.0.6.1.tar.gz) = 9f00f278b9711104b6acc1404d9f0d45c1183b4987cf9c07403bebc05c0c3024
+SIZE (cabal/uuid-types-1.0.6.1/uuid-types-1.0.6.1.tar.gz) = 11231
SHA256 (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 28f203c786cbf8ac6dc3fea3378ec36f34173d505fb4a1dd60fc8418ad91c423
SIZE (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 185739
-SHA256 (cabal/vector-0.13.2.0/revision/2.cabal) = 9ac338c8da52d8a37db08434ca4480fef2cea4f9aac240f4f994bb467f5275b4
-SIZE (cabal/vector-0.13.2.0/revision/2.cabal) = 8804
+SHA256 (cabal/vector-0.13.2.0/revision/5.cabal) = 3ec12de580ee31ceac89b314fd00b5057ed40198c0b3d9e9dafa54c1941e6942
+SIZE (cabal/vector-0.13.2.0/revision/5.cabal) = 8804
SHA256 (cabal/vector-hashtables-0.1.2.1/vector-hashtables-0.1.2.1.tar.gz) = 33910f79ff3c17b6f3cc1068fdc4f94dafad87b0e079c4157eeba8686fdeaeb1
SIZE (cabal/vector-hashtables-0.1.2.1/vector-hashtables-0.1.2.1.tar.gz) = 25707
+SHA256 (cabal/vector-hashtables-0.1.2.1/revision/2.cabal) = f577660b18b079f2bc901bc51ff80f7f1d2e638fd105d63ca428034dd98c4786
+SIZE (cabal/vector-hashtables-0.1.2.1/revision/2.cabal) = 2825
SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c
SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577
SHA256 (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 483be6df13c72169a917640589666f9fece7bea9fa13fcd41d052dab37ea289e
SIZE (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 1642
SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1
SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819
-SHA256 (cabal/witherable-0.5/revision/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de
-SIZE (cabal/witherable-0.5/revision/1.cabal) = 2343
+SHA256 (cabal/witherable-0.5/revision/2.cabal) = a5600431df5d297f098c322c7fbc2ece804e44ade0bb2022a838de24604d6275
+SIZE (cabal/witherable-0.5/revision/2.cabal) = 2355
SHA256 (cabal/zlib-0.7.1.1/zlib-0.7.1.1.tar.gz) = bf95ab01ed924be800addea195fba5ca97ec69f378368f6ff466bdc29666c1c1
SIZE (cabal/zlib-0.7.1.1/zlib-0.7.1.1.tar.gz) = 29324
diff --git a/math/hs-Agda/files/patch-__cabal__deps_tasty-1.5.3_tasty.cabal b/math/hs-Agda/files/patch-__cabal__deps_tasty-1.5.3_tasty.cabal
deleted file mode 100644
index 67950ca8d8e2..000000000000
--- a/math/hs-Agda/files/patch-__cabal__deps_tasty-1.5.3_tasty.cabal
+++ /dev/null
@@ -1,11 +0,0 @@
---- _cabal_deps/tasty-1.5.3/tasty.cabal.orig 2026-05-29 10:05:13 UTC
-+++ _cabal_deps/tasty-1.5.3/tasty.cabal
-@@ -69,7 +69,7 @@ library
- ansi-terminal >= 0.9 && < 1.2
-
- -- No reason to depend on unbounded-delays on 64-bit architecture
-- if(!arch(x86_64) && !arch(aarch64) && !arch(ppc64) && !arch(s390x) && !arch(riscv64))
-+ if(!arch(x86_64) && !arch(aarch64) && !arch(ppc64le) && !arch(ppc64) && !arch(s390x) && !arch(riscv64))
- build-depends:
- unbounded-delays >= 0.1 && < 0.2
-