diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index c8dbae518b67..7ccf308f95ce 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -1,105 +1,104 @@ PORTNAME= Agda -PORTVERSION= 2.6.4.1 +PORTVERSION= 2.6.4.3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant WWW= https://wiki.portal.chalmers.se/agda/ LICENSE= UNKNOWN LICENSE_NAME= custom LICENSE_FILE= ${WRKSRC}/LICENSE LICENSE_PERMS= dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept -BROKEN_i386= Compiler goes out of memory +BROKEN_i386= compiler goes out of memory -BUILD_DEPENDS= emacs:editors/emacs +BUILD_DEPENDS= emacs:editors/emacs@nox USES= cabal USE_LOCALE= en_US.UTF-8 USE_CABAL= OneTuple-0.4.1.1_1 \ QuickCheck-2.14.3 \ STMonadTrans-0.4.8 \ StateVar-1.2.2 \ aeson-2.2.1.0_1 \ - alex-3.5.0.0 \ - ansi-terminal-1.0.2 \ - ansi-terminal-types-0.11.5_1 \ + alex-3.5.1.0 \ + ansi-terminal-1.1 \ + ansi-terminal-types-1.1 \ assoc-1.1_1 \ async-2.2.5 \ base-compat-0.13.1 \ base-orphans-0.9.1 \ bifunctors-5.6.1_2 \ blaze-builder-0.4.2.3 \ - blaze-html-0.9.1.2_4 \ + blaze-html-0.9.2.0 \ blaze-markup-0.8.3.0_1 \ boxes-0.1.5 \ case-insensitive-1.2.1.0 \ colour-2.3.6 \ comonad-5.0.8_2 \ contravariant-1.5.5 \ data-fix-0.3.2_5 \ data-hash-0.2.0.1 \ distributive-0.6.2.1_1 \ dlist-1.0_1 \ edit-distance-0.2.2.1_1 \ equivalence-0.4.1 \ - foldable1-classes-compat-0.1_4 \ generically-0.1.1_2 \ gitrev-1.3.1 \ happy-1.20.1.1 \ hashable-1.4.3.0_1 \ + hsc2hs-0.68.10_1 \ indexed-traversable-0.1.3 \ indexed-traversable-instances-0.1.1.2_2 \ integer-conversion-0.1.0.1_1 \ integer-logarithms-1.0.3.1_5 \ monad-control-1.0.3.1 \ murmur-hash-0.1.0.10_1 \ network-uri-2.6.4.2_1 \ parallel-3.2.2.0_7 \ peano-0.1.0.2 \ primitive-0.9.0.0 \ - random-1.2.1.1_1 \ + random-1.2.1.2 \ regex-base-0.94.0.2_4 \ regex-tdfa-1.3.2.2_2 \ scientific-0.3.7.0_7 \ semialign-1.3_1 \ semigroupoids-6.0.0.1_1 \ split-0.2.5 \ splitmix-0.1.0.5 \ strict-0.5_1 \ tagged-0.8.8 \ text-iso8601-0.1_1 \ text-short-0.1.5_3 \ th-abstraction-0.6.0.0_1 \ th-compat-0.1.4_4 \ these-1.2_1 \ time-compat-1.9.6.1_6 \ transformers-base-0.4.6 \ transformers-compat-0.7.2 \ unordered-containers-0.2.20_1 \ uri-encode-1.5.0.7_3 \ utf8-string-1.0.2 \ uuid-types-1.0.5.1 \ vector-0.13.1.0 \ vector-hashtables-0.1.1.4 \ vector-stream-0.1.0.1 \ witherable-0.4.2_4 \ - zlib-0.6.3.0_4 - + zlib-0.7.0.0 CABAL_EXECUTABLES= agda-mode agda CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES} agda_DATADIR_VARS= Agda agda-mode_DATADIR_VARS= Agda 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 {} \; + ${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 0719c07a3bb9..542123deacfe 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,217 +1,209 @@ -TIMESTAMP = 1706798494 -SHA256 (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080 -SIZE (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 1893496 +TIMESTAMP = 1710558419 +SHA256 (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2 +SIZE (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 1869461 SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601 SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682 SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575 SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501 SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849 SHA256 (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 839eff14d9f1d2d37f485edf116740d996e1ee9fa82ca2e0a73dfcae0ad5b851 SIZE (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 7458 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.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038 SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582 -SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed -SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601 -SHA256 (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 46e516cbf66c7807940ba9896c2d71ba5ffdaa35a4fb80dea9313703efa8d834 -SIZE (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 33561 -SHA256 (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = bf7b230389f43105100a6d5740822598a88b38eaaf7d042de595ccf72db4fdd1 -SIZE (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = 4660 -SHA256 (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a -SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482 +SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 +SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 +SHA256 (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253 +SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897 +SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25 +SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746 SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4 SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193 SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652 SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617 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/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421 SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518 SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172 SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418 SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170 SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755 SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273 SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777 -SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c -SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617 -SHA256 (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450 -SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020 +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-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/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9 SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276 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/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.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13 SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227 SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3 SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631 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-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842 SHA256 (cabal/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1 SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734 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/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/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568 SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812 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/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310 -SHA256 (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = d057c3f358e1a6b72c73519bc64ba6aa959f066c08fed69f73258555ef95ff12 -SIZE (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = 10484 -SHA256 (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e -SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782 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/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169 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-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409 SHA256 (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5 SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601 SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194 SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718 +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/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d +SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013 SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9 SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824 SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769 SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550 SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39 SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166 SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14 SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250 SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023 SHA256 (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278 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.10/murmur-hash-0.1.0.10.tar.gz) = e92fad6000823aa2dabaa55096d2bc4fe21ad347f10614fc684da23e7f48bf90 SIZE (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = 4327 SHA256 (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 036a54f21ac180681e3799e6288ca32765fa3af8ada41fd4dd73a8a5e1e894a3 SIZE (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 1222 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/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6 SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681 SHA256 (cabal/parallel-3.2.2.0/revision/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4 SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926 SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261 SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915 SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7 SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580 -SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76 -SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109 -SHA256 (cabal/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789 -SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777 +SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4 +SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229 SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1 SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488 SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27 SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601 SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7 SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016 SHA256 (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98 SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997 SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9 SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723 SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2 SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869 SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543 SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223 SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888 SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934 SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222 SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5 SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465 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.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002 SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399 SHA256 (cabal/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564 SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d SIZE (cabal/strict-0.5/revision/1.cabal) = 4120 SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7 SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094 SHA256 (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578 SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76 SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407 SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113 SHA256 (cabal/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190 SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216 SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30 SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152 SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303 SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8 SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838 SHA256 (cabal/th-compat-0.1.4/revision/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37 SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224 SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8 SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606 SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e SIZE (cabal/these-1.2/revision/1.cabal) = 2882 SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80 SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964 SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52 SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076 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/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/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823 SHA256 (cabal/unordered-containers-0.2.20/revision/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff SIZE (cabal/unordered-containers-0.2.20/revision/1.cabal) = 3921 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.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965 SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855 SHA256 (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b SIZE (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 15765 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/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104 SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876 SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8 SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342 -SHA256 (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 9eaa989ad4534438b5beb51c1d3a4c8f6a088fdff0b259a5394fbf39aaee04da -SIZE (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 369595 -SHA256 (cabal/zlib-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d -SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325 +SHA256 (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47 +SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149