2 files changed, 218 insertions, 156 deletions

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 51133e90583e..d92a2bcd8704 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,7 +1,7 @@
 # Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
 
 PORTNAME=	Agda
-PORTVERSION=	2.6.2
+PORTVERSION=	2.6.2.2
 PORTREVISION=	1
 CATEGORIES=	math haskell
 
@@ -21,54 +21,68 @@ USES=		cabal
 
 USE_LOCALE=	en_US.UTF-8
 
-USE_CABAL=	Cabal-3.0.2.0 \
-		STMonadTrans-0.4.4 \
-		aeson-1.4.7.1_2 \
-		alex-3.2.5_1 \
-		async-2.2.2_1 \
-		attoparsec-0.13.2.4_1 \
-		base-compat-0.11.1 \
-		base-compat-batteries-0.11.1 \
-		base-orphans-0.8.2 \
-		blaze-builder-0.4.1.0_1 \
-		blaze-html-0.9.1.2_1 \
-		blaze-markup-0.8.2.5 \
+USE_CABAL=	OneTuple-0.3.1_2 \
+		QuickCheck-2.14.2 \
+		STMonadTrans-0.4.6_1 \
+		StateVar-1.2.2 \
+		aeson-2.0.3.0 \
+		alex-3.2.7.1 \
+		assoc-1.0.2_2 \
+		async-2.2.4_1 \
+		attoparsec-0.14.4_1 \
+		base-compat-0.12.1 \
+		base-compat-batteries-0.12.1_2 \
+		base-orphans-0.8.6 \
+		bifunctors-5.5.12 \
+		blaze-builder-0.4.2.2_1 \
+		blaze-html-0.9.1.2_2 \
+		blaze-markup-0.8.2.8_2 \
 		boxes-0.1.5 \
 		case-insensitive-1.2.1.0 \
+		comonad-5.0.8_1 \
+		contravariant-1.5.5 \
+		data-fix-0.3.2_2 \
 		data-hash-0.2.0.1 \
-		dlist-0.8.0.8 \
+		distributive-0.6.2.1_1 \
+		dlist-1.0 \
 		edit-distance-0.2.2.1_1 \
-		equivalence-0.3.5 \
-		fail-4.9.0.0 \
-		geniplate-mirror-0.7.7 \
+		equivalence-0.4 \
 		gitrev-1.3.1 \
-		happy-1.19.12 \
-		hashable-1.3.0.0_2 \
-		hashtables-1.2.3.4 \
-		ieee754-0.8.0 \
-		integer-logarithms-1.0.3_2 \
+		happy-1.20.0_1 \
+		hashable-1.4.0.2 \
+		hashtables-1.3 \
+		indexed-traversable-0.1.2_1 \
+		indexed-traversable-instances-0.1.1 \
+		integer-logarithms-1.0.3.1_2 \
 		monad-control-1.0.3.1 \
-		murmur-hash-0.1.0.9 \
-		network-uri-2.6.3.0_1 \
-		parallel-3.2.2.0_3 \
-		primitive-0.7.0.1 \
-		random-1.1_1 \
-		regex-base-0.94.0.0_1 \
-		regex-tdfa-1.3.1.0_2 \
-		scientific-0.3.6.2 \
+		murmur-hash-0.1.0.10 \
+		network-uri-2.6.4.1 \
+		parallel-3.2.2.0_4 \
+		primitive-0.7.3.0 \
+		random-1.2.1.1 \
+		regex-base-0.94.0.2 \
+		regex-tdfa-1.3.1.2 \
+		scientific-0.3.7.0_2 \
+		semialign-1.2.0.1_1 \
+		semigroupoids-5.3.7 \
 		split-0.2.3.4_2 \
-		strict-0.3.2 \
-		tagged-0.8.6_3 \
-		th-abstraction-0.3.2.0 \
-		time-compat-1.9.3 \
+		splitmix-0.1.0.4 \
+		strict-0.4.0.1_4 \
+		tagged-0.8.6.1_2 \
+		text-short-0.1.5 \
+		th-abstraction-0.4.3.0 \
+		th-compat-0.1.3_1 \
+		these-1.1.1.1_5 \
+		time-compat-1.9.6.1_3 \
 		transformers-base-0.4.6 \
-		transformers-compat-0.6.5 \
-		unordered-containers-0.2.10.0_1 \
-		uri-encode-1.5.0.5 \
-		utf8-string-1.0.1.1_3 \
-		uuid-types-1.0.3_4 \
-		vector-0.12.1.2 \
-		zlib-0.6.2.1_1
+		transformers-compat-0.7.1_1 \
+		unordered-containers-0.2.19.1 \
+		uri-encode-1.5.0.7_2 \
+		utf8-string-1.0.2 \
+		uuid-types-1.0.5_2 \
+		vector-0.12.3.1_1 \
+		witherable-0.4.2_2 \
+		zlib-0.6.3.0
 
 EXECUTABLES=		agda-mode agda
 agda_DATADIR_VARS=	Agda
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index fa9fec68eb85..cc66c9b1d742 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,139 +1,187 @@
-TIMESTAMP = 1633109477
-SHA256 (cabal/Agda-2.6.2.tar.gz) = 072caaad7a405b764423958d2001b68fbfd3fc8f98870cd0a5f0bcaeadfd3095
-SIZE (cabal/Agda-2.6.2.tar.gz) = 2872739
-SHA256 (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 65d3d7e953388df26c748c4ca2c57175e71a71e779fe6b1a77f6639c4336ea07
-SIZE (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 758932
-SHA256 (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 1ae82a40060b8014981b8f4d45517f80f02456e73245030993c4c9123b827103
-SIZE (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 6298
-SHA256 (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 07e746655fd9bec81c59927c5617877ff4fcd81d0df45c5fb8ef154fb8f40294
-SIZE (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 277911
-SHA256 (cabal/aeson-1.4.7.1/revision/2.cabal) = 6199a98b072e5a7748e81ab72476a0992cf23d925ebe4fefd5b917cbda9c2af8
-SIZE (cabal/aeson-1.4.7.1/revision/2.cabal) = 7098
-SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3
-SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531
-SHA256 (cabal/alex-3.2.5/revision/1.cabal) = dae09bfcac2fe2ac7e967c0e565fd0bc1b5b3ed5e0ca450a004b9497e9d44d17
-SIZE (cabal/alex-3.2.5/revision/1.cabal) = 4225
-SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff
-SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927
-SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd
-SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934
-SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2
-SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431
-SHA256 (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5941a05141a61239e8d6c4f2c9876bec3765d786766721b8474b8625febf914a
-SIZE (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5796
-SHA256 (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 356f1542ec93e7192a9073d32a8ef1e48194275495dcec7fb0d241f4baaf6d36
-SIZE (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 33691
-SHA256 (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = caf66fed3c0a3b0437692cad18c93a7074e8524a86b8be1ce04d0a18cbf6aed8
-SIZE (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = 16748
-SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee418428a22c72b9391557bc1fe2f93bd643f7754b36b9eb01
-SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727
-SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814
-SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365
-SHA256 (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3231635f58df8f62a4e791d3ccade450d07dd370bf97729a8d0fabf113acc6dc
-SIZE (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3558
+TIMESTAMP = 1652171926
+SHA256 (cabal/Agda-2.6.2.2.tar.gz) = e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a
+SIZE (cabal/Agda-2.6.2.2.tar.gz) = 1690635
+SHA256 (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 98853682d52fb4cc37a45cd186fbd77cf2565d3df5171acc4cf026427e103eef
+SIZE (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 5148
+SHA256 (cabal/OneTuple-0.3.1/revision/2.cabal) = a848c096c9d29e82ffdd30a9998aa2931cbccb3a1bc137539d80f6174d31603e
+SIZE (cabal/OneTuple-0.3.1/revision/2.cabal) = 2262
+SHA256 (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = d87b6c85696b601175274361fa62217894401e401e150c3c5d4013ac53cd36f3
+SIZE (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = 75246
+SHA256 (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = cb7a9af72af10ca56a3ce43ed775c9c1c8e1faf159c77f570cc07c0e21807067
+SIZE (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = 7151
+SHA256 (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 6cf50537070f6ce559b4bae28b2a167a85c2379d9710d54afb22c7c8dd785b13
+SIZE (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 2458
+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.0.3.0/aeson-2.0.3.0.tar.gz) = 19760a2b84764fa3cee65c63df0c80d45497e2f0c3b95d4e6dc2083b8604b325
+SIZE (cabal/aeson-2.0.3.0/aeson-2.0.3.0.tar.gz) = 297283
+SHA256 (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 9bd2f1a27e8f1b2ffdb5b2fbd3ed82b6f0e85191459a1b24ffcbef4e68a81bec
+SIZE (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 108229
+SHA256 (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = d8988dc6e8718c7a3456515b769c9336aeeec730cf86fc5175247969ff8f144f
+SIZE (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = 3047
+SHA256 (cabal/assoc-1.0.2/revision/2.cabal) = e0d9d1febc172e2a1b22aacd25df7f90be557dcf12ff87359f43128f8c194d9e
+SIZE (cabal/assoc-1.0.2/revision/2.cabal) = 1237
+SHA256 (cabal/async-2.2.4/async-2.2.4.tar.gz) = 484df85be0e76c4fed9376451e48e1d0c6e97952ce79735b72d54297e7e0a725
+SIZE (cabal/async-2.2.4/async-2.2.4.tar.gz) = 14148
+SHA256 (cabal/async-2.2.4/revision/1.cabal) = b83dec34a53520de84c6dd3dc7aae45d22409b46eb471c478b98108215a370f0
+SIZE (cabal/async-2.2.4/revision/1.cabal) = 3095
+SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c
+SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701
+SHA256 (cabal/attoparsec-0.14.4/revision/1.cabal) = 79584bdada8b730cb5138fca8c35c76fbef75fc1d1e01e6b1d815a5ee9843191
+SIZE (cabal/attoparsec-0.14.4/revision/1.cabal) = 5810
+SHA256 (cabal/base-compat-0.12.1/base-compat-0.12.1.tar.gz) = fb683cb4041b88cab1d0849f70ebd26b342c734a9ef6f75233c1602d53a015fd
+SIZE (cabal/base-compat-0.12.1/base-compat-0.12.1.tar.gz) = 35504
+SHA256 (cabal/base-compat-batteries-0.12.1/base-compat-batteries-0.12.1.tar.gz) = f98f3cdd8231edb4826744904d61f7672b9b628c7072c45684d3f7f1f55d838b
+SIZE (cabal/base-compat-batteries-0.12.1/base-compat-batteries-0.12.1.tar.gz) = 17623
+SHA256 (cabal/base-compat-batteries-0.12.1/revision/2.cabal) = ee819d7570b2fda1012d29db945a1778c388ef8c0c282e45c8fe4eae7616a25c
+SIZE (cabal/base-compat-batteries-0.12.1/revision/2.cabal) = 8891
+SHA256 (cabal/base-orphans-0.8.6/base-orphans-0.8.6.tar.gz) = 20a21c4b7adb0fd844b25e196241467406a28286b021f9b7a082ab03fa8015eb
+SIZE (cabal/base-orphans-0.8.6/base-orphans-0.8.6.tar.gz) = 24255
+SHA256 (cabal/bifunctors-5.5.12/bifunctors-5.5.12.tar.gz) = c6067772009772764cdbd585057cc88902876378686bc391fe7b0d1eb66e715d
+SIZE (cabal/bifunctors-5.5.12/bifunctors-5.5.12.tar.gz) = 46135
+SHA256 (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 2cdc998c021d3a5f2a66a95138b93386271c26a117e7676d78264a90e536af67
+SIZE (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 60707
+SHA256 (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = f0017df374c330de0ebe0eb15eae8c48427bddefa1d81a3cb31c0a4812ecdb08
+SIZE (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = 3685
 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/1.cabal) = 49db3eb70fa93fb572f3a9233b542b59e7f766a2b95c92d01d95a596c7727473
-SIZE (cabal/blaze-html-0.9.1.2/revision/1.cabal) = 3048
-SHA256 (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 1bd3ba68775e4a11efc71567e30e8ef3d27801c6b5fe4a1abf57dd747af37661
-SIZE (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 14529
+SHA256 (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 74b89ffa665891f528f571ce9e3c2dce24f698563f14b6f5e9e0512eccdf5dc2
+SIZE (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 3062
+SHA256 (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 43fc3f6872dc8d1be8d0fe091bd4775139b42179987f33d6490a7c5f1e07a349
+SIZE (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 14519
+SHA256 (cabal/blaze-markup-0.8.2.8/revision/2.cabal) = 38d7a3840163aeaff8194d8a3af354a8c4c4db833f172b88f8bfb7d23dd59f1c
+SIZE (cabal/blaze-markup-0.8.2.8/revision/2.cabal) = 2413
 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/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/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e
+SIZE (cabal/comonad-5.0.8/revision/1.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/2.cabal) = e909776381648a75e82438a40df33c05397b57119b80bb83e38189370319b67a
+SIZE (cabal/data-fix-0.3.2/revision/2.cabal) = 1692
 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/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 7129cf18068d3384e305708a10426ab8f573bee1030b023a114f45f1d0ec496d
-SIZE (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 9262
+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/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.3.5/equivalence-0.3.5.tar.gz) = 17ab5a2a6759f6855de40acdd9dde0d0f89e9d9219a4bc8e52623816da97f698
-SIZE (cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz) = 8313
-SHA256 (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 6d5cdb1a5c539425a9665f740e364722e1d9d6ae37fbc55f30fe3dbbbb91d4a2
-SIZE (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 2416
-SHA256 (cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz) = 6b64885458d7a0a89ff452ea5d4a663f6fb3e4573e54f57141dfecdfa9ce8423
-SIZE (cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz) = 9448
+SHA256 (cabal/equivalence-0.4/equivalence-0.4.tar.gz) = 2d38218f85a40484df45dfe2cd495e96d20e53f5a7b2119ab4533aa8ed3cd277
+SIZE (cabal/equivalence-0.4/equivalence-0.4.tar.gz) = 8572
 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.19.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a66db9f97da1ce32ec4fffea4b78a0daeb40f
-SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254
-SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4
-SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835
-SHA256 (cabal/hashable-1.3.0.0/revision/2.cabal) = d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b
-SIZE (cabal/hashable-1.3.0.0/revision/2.cabal) = 5389
-SHA256 (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 125ce62701fba3f666609f5c75f452005aa5d32dff4eeee3f3903c30b2ed55e6
-SIZE (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 58458
-SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1
-SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564
-SHA256 (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262018698af35bb74916fad170d96d3eb44669c72ed36db9a19a3392cec16
-SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840
-SHA256 (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 63d42595ec92b71ac98a07b984b0a2eb3d4956f4ad2d856c3bf6fc3dc218d228
-SIZE (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 2820
+SHA256 (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 3b1d3a8f93a2723b554d9f07b2cd136be1a7b2fcab1855b12b7aab5cbac8868c
+SIZE (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 184515
+SHA256 (cabal/happy-1.20.0/revision/1.cabal) = 5d47dc221a9fe964e36aaaa2e1ab7e8f085a225fd6528d6eff310b92360bbe99
+SIZE (cabal/happy-1.20.0/revision/1.cabal) = 5732
+SHA256 (cabal/hashable-1.4.0.2/hashable-1.4.0.2.tar.gz) = 83606edd356d914c075ecd44f6d5fe91a3b186aa0683c8dd8c9a7e8e22a47600
+SIZE (cabal/hashable-1.4.0.2/hashable-1.4.0.2.tar.gz) = 25528
+SHA256 (cabal/hashtables-1.3/hashtables-1.3.tar.gz) = af785a6d13842ebbd804b0ec174dd957a2591b224434e3ce883f537321f90dd3
+SIZE (cabal/hashtables-1.3/hashtables-1.3.tar.gz) = 58599
+SHA256 (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 516858ee7198b1fed1b93c665157f9855fd947379db7f115d48c1b0d670e698d
+SIZE (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 8685
+SHA256 (cabal/indexed-traversable-0.1.2/revision/1.cabal) = d66228887242f93ccb4fc7101a1e25a6560c8e4708f6e9ee1d3dd21901756c65
+SIZE (cabal/indexed-traversable-0.1.2/revision/1.cabal) = 2519
+SHA256 (cabal/indexed-traversable-instances-0.1.1/indexed-traversable-instances-0.1.1.tar.gz) = 100ed1023b541328b04bcec0964b9f9d5fc93285fc23a2ac6873bf8597439a44
+SIZE (cabal/indexed-traversable-instances-0.1.1/indexed-traversable-instances-0.1.1.tar.gz) = 4422
+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/2.cabal) = b65e11ec6f4b29c5278716da0544b951a49ab5310608df0fc41eec29f15691d9
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/2.cabal) = 3229
 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.9/murmur-hash-0.1.0.9.tar.gz) = 89b9db94ead4cc0784dbcfb47c51b5664c1718860db00cd8ada3ef6fdd4465ad
-SIZE (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 4204
-SHA256 (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = a01c1389f15d2cc2e847914737f706133bb11f0c5f8ee89711a36a25b7afa723
-SIZE (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = 31997
-SHA256 (cabal/network-uri-2.6.3.0/revision/1.cabal) = 43727dafd00531c8c9df1ed4ee1cf363d76111f8e841193a3397a2a4c5f79b3f
-SIZE (cabal/network-uri-2.6.3.0/revision/1.cabal) = 3033
+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/network-uri-2.6.4.1/network-uri-2.6.4.1.tar.gz) = 57856db93608a4d419f681b881c9b8d4448800d5a687587dc37e8a9e0b223584
+SIZE (cabal/network-uri-2.6.4.1/network-uri-2.6.4.1.tar.gz) = 32373
 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/3.cabal) = 421ce1717610bab82969572b96be89d83ea8d8afe7751cb54d80b996fff063d3
-SIZE (cabal/parallel-3.2.2.0/revision/3.cabal) = 1817
-SHA256 (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = dd8bb7d829f492d6200fca4a839a7563b80571c5f76b4d0fa76700ebe897f7dd
-SIZE (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = 66023
-SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a
-SIZE (cabal/random-1.1/random-1.1.tar.gz) = 10870
-SHA256 (cabal/random-1.1/revision/1.cabal) = 7b67624fd76ddf97c206de0801dc7e888097e9d572974be9b9ea6551d76965df
-SIZE (cabal/random-1.1/revision/1.cabal) = 1777
-SHA256 (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = c41f82f5fc1157c961a4cbdc0cd5561e5aa44f339ce6e706d978d97e0ca6b914
-SIZE (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = 9679
-SHA256 (cabal/regex-base-0.94.0.0/revision/1.cabal) = 44aa95ca762294ffbb28cf0af9c567d93b5d2c56e4f38ce5385a257d899f968e
-SIZE (cabal/regex-base-0.94.0.0/revision/1.cabal) = 2253
-SHA256 (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 15c376783d397b3b9933cf35980808feddde273bd6f2445babbccb2f76a42ec0
-SIZE (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 77767
-SHA256 (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = eb8d0f007cf45faca8574f56f0d19c9b02bc529ef1688d8f8a9751ce7dc36cc3
-SIZE (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = 6483
-SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f
-SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510
+SHA256 (cabal/parallel-3.2.2.0/revision/4.cabal) = 19ff631f3a26ee7cf0603e2b80fc375d77d3f350ae460ae72fe4cf5da665c90b
+SIZE (cabal/parallel-3.2.2.0/revision/4.cabal) = 1821
+SHA256 (cabal/primitive-0.7.3.0/primitive-0.7.3.0.tar.gz) = 3c0cfda67f1ee6f7f65108ad6f973b5bbb35ddba34b3c87746a7448f787501dc
+SIZE (cabal/primitive-0.7.3.0/primitive-0.7.3.0.tar.gz) = 55161
+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/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-tdfa-1.3.1.2/regex-tdfa-1.3.1.2.tar.gz) = c47a78c9da532ba0883868a1e34427318cba3cccc8e42f995834c74eea286a62
+SIZE (cabal/regex-tdfa-1.3.1.2/regex-tdfa-1.3.1.2.tar.gz) = 81331
+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/2.cabal) = 76465a82beb2af6ea83ebd00684acc0ffe659e7da7066329931dc8f02fc97507
+SIZE (cabal/scientific-0.3.7.0/revision/2.cabal) = 4826
+SHA256 (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = d900697041ae4b0cca3243273a2b3e80bcf74d937405d6a5ff34dc33ee952132
+SIZE (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = 10371
+SHA256 (cabal/semialign-1.2.0.1/revision/1.cabal) = 0e179b4d3a8eff79001d374d6c91917c6221696b9620f0a4d86852fc6a9b9501
+SIZE (cabal/semialign-1.2.0.1/revision/1.cabal) = 2836
+SHA256 (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799
+SIZE (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 35349
 SHA256 (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 271fe5104c9f40034aa9a1aad6269bcecc9454bc5a57c247e69e17de996c1f2a
 SIZE (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 15942
 SHA256 (cabal/split-0.2.3.4/revision/2.cabal) = a6df9c3e806ee7cb50bc980a183fc1156f35022a39430dabac0bf9456fe18a4b
 SIZE (cabal/split-0.2.3.4/revision/2.cabal) = 2647
-SHA256 (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 2cd35a67938db635a87617d9576d5df0158b581e8e5694f07487c0f4b1549221
-SIZE (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 3948
-SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd
-SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759
-SHA256 (cabal/tagged-0.8.6/revision/3.cabal) = 7cce0b9355d1daad797555dfa906f756ed0253a40bc826ca367adf21d7b369f3
-SIZE (cabal/tagged-0.8.6/revision/3.cabal) = 2606
-SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79
-SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111
-SHA256 (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = bb6a44e667945ddca8ded93e041ee91986a4a19f59e149a5dd21fdb1bfa3db88
-SIZE (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = 50050
+SHA256 (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 6d065402394e7a9117093dbb4530a21342c9b1e2ec509516c8a8d0ffed98ecaa
+SIZE (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 22382
+SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241
+SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488
+SHA256 (cabal/strict-0.4.0.1/revision/4.cabal) = d6205a748eb8db4cd17a7179be970c94598809709294ccfa43159c7f3cc4bf5d
+SIZE (cabal/strict-0.4.0.1/revision/4.cabal) = 4187
+SHA256 (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = f5e0fcf95f0bb4aa63f428f2c01955a41ea1a42cfcf39145ed631f59a9616c02
+SIZE (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = 9842
+SHA256 (cabal/tagged-0.8.6.1/revision/2.cabal) = 29c67d98a4404607f024750ab9c7210dadcbbef4e1944c48c52902f2071b2662
+SIZE (cabal/tagged-0.8.6.1/revision/2.cabal) = 2874
+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/th-abstraction-0.4.3.0/th-abstraction-0.4.3.0.tar.gz) = c8bb13e31d1d22a99168536a35c66e1091a6e4274b9841a023eac52c2bd3de06
+SIZE (cabal/th-abstraction-0.4.3.0/th-abstraction-0.4.3.0.tar.gz) = 38595
+SHA256 (cabal/th-compat-0.1.3/th-compat-0.1.3.tar.gz) = 6b5059caf6714f47da92953badf2f556119877e09708c14e206b3ae98b8681c6
+SIZE (cabal/th-compat-0.1.3/th-compat-0.1.3.tar.gz) = 13718
+SHA256 (cabal/th-compat-0.1.3/revision/1.cabal) = f65819f74c6ced42b24d9e5053165508c4b6a18271c8e3229dc93b1dc8f7a5ab
+SIZE (cabal/th-compat-0.1.3/revision/1.cabal) = 2972
+SHA256 (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = d798c9f56e17def441e8f51e54cc11afdb3e76c6a9d1e9ee154e9a78da0bf508
+SIZE (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = 9804
+SHA256 (cabal/these-1.1.1.1/revision/5.cabal) = f069e766b8fed73d457fca20cc197f5c539bcdd03d7636e478ddf14dbb67684a
+SIZE (cabal/these-1.1.1.1/revision/5.cabal) = 2748
+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/3.cabal) = 42d8f2e08e965e1718917d54ad69e1d06bd4b87d66c41dc7410f59313dba4ed1
+SIZE (cabal/time-compat-1.9.6.1/revision/3.cabal) = 5033
 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.6.5/transformers-compat-0.6.5.tar.gz) = da67cf11515da751b32a8ce6e96549f7268f7c435769ad19dc9766b69774620b
-SIZE (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = 40421
-SHA256 (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 65f117bdbdea9efc75fb9fd539873de7687e005d8898bb21821020a4b383c573
-SIZE (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 44733
-SHA256 (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5e9b095a9283d9e2f064fec73a81a6b6ea0b7fda3f219a8175785d2d2a3de204
-SIZE (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5199
-SHA256 (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = e82b588aad63112d34f6bad6f1ef72489b9edebfe14f2f523dc1dabdcbe2b186
-SIZE (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = 3447
-SHA256 (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140
-SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667
-SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b
-SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151
-SHA256 (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 9276517ab24a9b06f39d6e3c33c6c2b4ace1fc2126dbc1cd9806866a6551b3fd
-SIZE (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 11999
-SHA256 (cabal/uuid-types-1.0.3/revision/4.cabal) = 963505cf2eeadb4f1c14336cda8ee8a0e658386450caa6eef34100e44b73fc46
-SIZE (cabal/uuid-types-1.0.3/revision/4.cabal) = 2462
-SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd
-SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049
-SHA256 (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = f0f810ff173560b60392db448455c0513b3239f48e43cb494b3733aa559621d0
-SIZE (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = 143424
-SHA256 (cabal/zlib-0.6.2.1/revision/1.cabal) = d34ddf5fece4d1e9d471b5298f36335bb3cfe12cb5a1b8525c42f0b665382f45
-SIZE (cabal/zlib-0.6.2.1/revision/1.cabal) = 4547
+SHA256 (cabal/transformers-compat-0.7.1/transformers-compat-0.7.1.tar.gz) = ac0b861534c14d3cfd61534f474674e3b634b8decea072ffd4d21f8b59f35080
+SIZE (cabal/transformers-compat-0.7.1/transformers-compat-0.7.1.tar.gz) = 44363
+SHA256 (cabal/transformers-compat-0.7.1/revision/1.cabal) = 873ef500790cae136d14b2e890da1fe4df963e372f21b1671fa3c6cdfb23b10f
+SIZE (cabal/transformers-compat-0.7.1/revision/1.cabal) = 5807
+SHA256 (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 1b27bec5e0d522b27a6029ebf4c4a6d40acbc083c787008e32fb55c4b1d128d2
+SIZE (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 58030
+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/2.cabal) = f255fed3d51f87016d2ca65cbc8c31d0af7618b3f48dccc50faf3e53e2daf50e
+SIZE (cabal/uri-encode-1.5.0.7/revision/2.cabal) = 2341
+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/uuid-types-1.0.5.tar.gz) = ad68b89b7a64c07dd5c250a11be2033ee929318ff51ec7b4e4b54e1b4deba7dd
+SIZE (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = 11922
+SHA256 (cabal/uuid-types-1.0.5/revision/2.cabal) = 8447b8a08723877400da13b6329b3fb19ea9e4c20fabe62888841eb3708d7474
+SIZE (cabal/uuid-types-1.0.5/revision/2.cabal) = 2608
+SHA256 (cabal/vector-0.12.3.1/vector-0.12.3.1.tar.gz) = fb4a53c02bd4d7fdf155c0604da9a5bb0f3b3bfce5d9960aea11c2ae235b9f35
+SIZE (cabal/vector-0.12.3.1/vector-0.12.3.1.tar.gz) = 151420
+SHA256 (cabal/vector-0.12.3.1/revision/1.cabal) = 040210919e5ce454dcee3320f77803da3dbda579c8428dc25ff0155732234808
+SIZE (cabal/vector-0.12.3.1/revision/1.cabal) = 7946
+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/2.cabal) = 81fd3b1e56e6d8c5b1acdbed06d49c72186902f7400139152afd70e37ad956d2
+SIZE (cabal/witherable-0.4.2/revision/2.cabal) = 2285
+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