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,126 +1,31 @@ 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 ${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \; ${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR} #cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR} .include 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,267 +1,241 @@ -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 SIZE (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 8791 SHA256 (cabal/ap-normalize-0.1.0.1/ap-normalize-0.1.0.1.tar.gz) = 820613b12ce759c8c8a254c78a0e4c474b2cd4cfd08fc0c1d4d5584c58ff2288 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 SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915 SHA256 (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58 SIZE (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 3087 SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8 SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647 SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d456c4e5aa92d145e9dcee14834fbad73a39ad7e4 SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360 SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3 SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598 SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406 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 SIZE (cabal/dlist-1.0/revision/2.cabal) = 3942 SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228 SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee 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 SIZE (cabal/murmur-hash-0.1.0.11/murmur-hash-0.1.0.11.tar.gz) = 4458 SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228 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 SIZE (cabal/process-extras-0.7.4/revision/1.cabal) = 1785 SHA256 (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = b9c6f427368d2e811e4c48b59005218672458fd2f00a02cbefb8be9c751c0ef3 SIZE (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = 28146 SHA256 (cabal/random-1.3.1/random-1.3.1.tar.gz) = d840ac83f265b0cfa2a678f8ec78627eb50cf9be2f067c52c8a4239c29b71a35 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 -