git: f44c5e4b44fc - main - security/hs-cryptol: Update to 2.13.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 07 Jul 2022 10:25:30 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07
commit f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07
Author: Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-05-18 10:13:15 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-07-07 10:24:35 +0000
security/hs-cryptol: Update to 2.13.0
---
security/hs-cryptol/Makefile | 177 ++++++++++----------
security/hs-cryptol/distinfo | 366 +++++++++++++++++++++++-------------------
security/hs-cryptol/pkg-plist | 7 +
3 files changed, 304 insertions(+), 246 deletions(-)
diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
index 80c2d5defad2..b3bf20ee10d8 100644
--- a/security/hs-cryptol/Makefile
+++ b/security/hs-cryptol/Makefile
@@ -1,6 +1,5 @@
PORTNAME= cryptol
-DISTVERSION= 2.11.0
-PORTREVISION= 1
+DISTVERSION= 2.13.0
CATEGORIES= security lang haskell
MAINTAINER= yuri@FreeBSD.org
@@ -17,99 +16,115 @@ RUN_DEPENDS= z3:math/z3
USES= cabal
-USE_CABAL= FloatingHex-0.5 \
- GraphSCC-1.0.4 \
+CABAL_FLAGS= -relocatable
+
+USE_CABAL= GraphSCC-1.0.4 \
MemoTrie-0.6.10 \
+ OneTuple-0.3.1_2 \
QuickCheck-2.14.2 \
- StateVar-1.2.1 \
- adjunctions-4.4_2 \
- alex-3.2.6 \
- ansi-terminal-0.11 \
- ansi-wl-pprint-0.6.9_2 \
- assoc-1.0.2_1 \
- async-2.2.3 \
- attoparsec-0.13.2.5_1 \
- base-compat-0.11.2 \
- base-orphans-0.8.4 \
- bifunctors-5.5.10 \
- bimap-0.4.0_1 \
- bitwise-1.0.0.1_4 \
- blaze-builder-0.4.2.1 \
- blaze-html-0.9.1.2_1 \
- blaze-markup-0.8.2.8 \
- bv-sized-1.0.2 \
- bytestring-builder-0.10.8.2.0 \
- call-stack-0.3.0 \
+ StateVar-1.2.2 \
+ adjunctions-4.4.1 \
+ alex-3.2.7.1 \
+ ansi-terminal-0.11.3 \
+ ansi-wl-pprint-0.6.9_3 \
+ arithmoi-0.12.0.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 \
+ bimap-0.5.0 \
+ bitwise-1.0.0.1_5 \
+ blaze-builder-0.4.2.2_1 \
+ blaze-html-0.9.1.2_2 \
+ blaze-markup-0.8.2.8_2 \
+ bv-sized-1.0.4 \
+ call-stack-0.4.0 \
case-insensitive-1.2.1.0 \
- clock-0.8.2 \
- colour-2.3.5 \
- comonad-5.0.8 \
- config-value-0.8.1_1 \
- constraints-0.13 \
- contravariant-1.5.3 \
- cryptohash-sha1-0.11.100.1_5 \
+ chimera-0.3.2.0 \
+ clock-0.8.3 \
+ colour-2.3.6 \
+ comonad-5.0.8_1 \
+ concurrent-extra-0.7.0.12 \
+ config-value-0.8.2.1 \
+ constraints-0.13.3 \
+ contravariant-1.5.5 \
+ cryptohash-sha1-0.11.101.0 \
data-binary-ieee754-0.4.4 \
- deriving-compat-0.5.10 \
- distributive-0.6.2.1 \
- extra-1.7.9 \
- fingertree-0.1.4.2 \
- free-5.1.6 \
+ deriving-compat-0.6.1 \
+ distributive-0.6.2.1_1 \
+ exact-pi-0.5.0.2 \
+ extra-1.7.10 \
+ fingertree-0.1.5.0 \
+ free-5.1.8 \
gitrev-1.3.1 \
- happy-1.20.0 \
- hashable-1.3.1.0 \
- hashtables-1.2.4.1 \
+ happy-1.20.0_1 \
+ hashable-1.3.5.0_1 \
+ hashtables-1.2.4.2 \
heredoc-0.2.0.0 \
- hsc2hs-0.68.7_1 \
- indexed-traversable-0.1.1 \
- indexed-traversable-instances-0.1 \
- integer-logarithms-1.0.3.1 \
- invariant-0.5.4 \
- io-streams-1.5.2.0_2 \
- kan-extensions-5.2.2 \
- lens-5.0.1 \
- libBF-0.6.2 \
- megaparsec-9.0.1_1 \
- monad-control-1.0.2.3 \
- monadLib-3.10_1 \
- network-3.1.2.1_1 \
- newtype-generics-0.6 \
- optparse-applicative-0.16.1.0 \
+ hsc2hs-0.68.8 \
+ indexed-traversable-0.1.2_1 \
+ indexed-traversable-instances-0.1.1 \
+ integer-logarithms-1.0.3.1_2 \
+ integer-roots-1.0.2.0 \
+ invariant-0.5.6 \
+ io-streams-1.5.2.1_2 \
+ kan-extensions-5.2.4 \
+ lens-5.1.1 \
+ libBF-0.6.3 \
+ megaparsec-9.2.1 \
+ mod-0.1.2.2 \
+ monad-control-1.0.3.1 \
+ monadLib-3.10.1 \
+ network-3.1.2.7 \
+ newtype-generics-0.6.1 \
+ numtype-dk-0.5.0.3 \
+ optparse-applicative-0.17.0.0 \
panic-0.4.0.1 \
- parallel-3.2.2.0_3 \
- parameterized-utils-2.1.3.0 \
+ parallel-3.2.2.0_4 \
+ parameterized-utils-2.1.5.0 \
parser-combinators-1.3.0 \
- prettyprinter-1.7.0 \
- primitive-0.7.1.0_2 \
- profunctors-5.6.2 \
- random-1.2.0_5 \
- reflection-2.1.6 \
- sbv-8.12 \
- scientific-0.3.6.2 \
- semigroupoids-5.3.5 \
- semigroups-0.19.1 \
- simple-smt-0.9.6 \
- splitmix-0.1.0.3 \
- strict-0.4.0.1 \
+ prettyprinter-1.7.1 \
+ primitive-0.7.3.0 \
+ profunctors-5.6.2_2 \
+ random-1.2.1.1 \
+ reflection-2.1.6_1 \
+ sbv-9.0 \
+ scientific-0.3.7.0_2 \
+ semigroupoids-5.3.7 \
+ semigroups-0.20 \
+ semirings-0.6_1 \
+ simple-smt-0.9.7 \
+ splitmix-0.1.0.4 \
+ strict-0.4.0.1_4 \
syb-0.7.2.1 \
- tagged-0.8.6.1_1 \
+ tagged-0.8.6.1_2 \
temporary-1.3 \
tf-random-0.5 \
- th-abstraction-0.4.2.0 \
- th-lift-0.8.2 \
- th-lift-instances-0.1.18 \
- these-1.1.1.1_1 \
- transformers-base-0.4.5.2 \
- transformers-compat-0.6.6 \
- type-equality-1_2 \
+ th-abstraction-0.4.3.0 \
+ th-lift-0.8.2_1 \
+ th-lift-instances-0.1.19 \
+ these-1.1.1.1_5 \
+ transformers-base-0.4.6 \
+ transformers-compat-0.7.1_1 \
+ type-equality-1_3 \
+ unbounded-delays-0.1.1.1 \
uniplate-1.6.13_1 \
- unordered-containers-0.2.13.0 \
+ unordered-containers-0.2.19.1 \
utf8-string-1.0.2 \
- vector-0.12.3.0 \
- versions-4.0.3 \
+ vector-0.12.3.1_1 \
+ versions-5.0.3 \
void-0.7.3 \
- what4-1.1 \
- zenc-0.1.1 \
- zlib-0.6.2.3 \
+ what4-1.3 \
+ zenc-0.1.2 \
+ zlib-0.6.3.0 \
zlib-bindings-0.1.1.5_2
+EXECUTABLES= cryptol cryptol-html
+
+post-install:
+ cd ${WRKSRC}/lib && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR}
+
.include <bsd.port.mk>
diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo
index c1af8525af5c..22912c28ea77 100644
--- a/security/hs-cryptol/distinfo
+++ b/security/hs-cryptol/distinfo
@@ -1,234 +1,270 @@
-TIMESTAMP = 1619153940
-SHA256 (cabal/cryptol-2.11.0.tar.gz) = 43b7535f5cb792efccddbb3f4c09bd2e922777d19a6537cb3aa27adf69280716
-SIZE (cabal/cryptol-2.11.0.tar.gz) = 430415
-SHA256 (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = a3a37a0f373a09a1261954b737959a7129b79e3e8f775b981bbe4abb85016830
-SIZE (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = 4960
+TIMESTAMP = 1652861071
+SHA256 (cabal/cryptol-2.13.0.tar.gz) = 5c5b7ad0b290c506836dbbad886ae43ce7d690dd86e2f2a9124564c2f5602b83
+SIZE (cabal/cryptol-2.13.0.tar.gz) = 456334
SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1
SIZE (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 4289
SHA256 (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 584df0e138093b2f2edc893a69883eb8cbca3402ebdc75392a7742e86156ba53
SIZE (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 8403
+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/StateVar-1.2.1/StateVar-1.2.1.tar.gz) = ee261552912b60d8b937f0253615e310e6cc25f9c407001b3bcc2e3d55000f8b
-SIZE (cabal/StateVar-1.2.1/StateVar-1.2.1.tar.gz) = 5055
-SHA256 (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 507c2ef55337ae61c805f8cbc1213dfd7d2b85187342675d662254b8d8a16ae9
-SIZE (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 19891
-SHA256 (cabal/adjunctions-4.4/revision/2.cabal) = 2738dd5f5d5e93749adb14a05472e58a96a75d0f299e46371c6f46dc4e97daf9
-SIZE (cabal/adjunctions-4.4/revision/2.cabal) = 3067
-SHA256 (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 91aa08c1d3312125fbf4284815189299bbb0be34421ab963b1f2ae06eccc5410
-SIZE (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 108832
-SHA256 (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = c6611b9e51add41db3f79eac30066c06b33a6ca2a09e586b4b361d7f98303793
-SIZE (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = 36074
+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/adjunctions-4.4.1/adjunctions-4.4.1.tar.gz) = 9cf34f150606a07d730751037a9d4935ea7760c89b8fcdc3b8fdd858b6411543
+SIZE (cabal/adjunctions-4.4.1/adjunctions-4.4.1.tar.gz) = 17165
+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/ansi-terminal-0.11.3/ansi-terminal-0.11.3.tar.gz) = f4d563ecf71fb1d304bcdcad478d97efd9f61f6d9d4797a5d56e7722a92a9e6b
+SIZE (cabal/ansi-terminal-0.11.3/ansi-terminal-0.11.3.tar.gz) = 37868
SHA256 (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = a7b2e8e7cd3f02f2954e8b17dc60a0ccd889f49e2068ebb15abfa1d42f7a4eac
SIZE (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = 16723
-SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 20d30674f137d43aa0279c2c2cc5e45a5f1c3c57e301852494906158b6313bf7
-SIZE (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 2388
+SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 212144ea0623b1170807a4162db05d87f26cf10b334aeadd0edb377aba06a1ce
+SIZE (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 2425
+SHA256 (cabal/arithmoi-0.12.0.1/arithmoi-0.12.0.1.tar.gz) = 3ffe7345feba2990c926abbea33c8b027aec1546400ec1357b66996fb8034ab7
+SIZE (cabal/arithmoi-0.12.0.1/arithmoi-0.12.0.1.tar.gz) = 186267
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/1.cabal) = a824e4f615469a27ad949dbf4907ba258bd6b459deebec00524c7bcb3f65cc9f
-SIZE (cabal/assoc-1.0.2/revision/1.cabal) = 1205
-SHA256 (cabal/async-2.2.3/async-2.2.3.tar.gz) = 467af3a0037947a5232ecf5f4efbd4cf2118aaa2310566d7f40ac82b0e32935c
-SIZE (cabal/async-2.2.3/async-2.2.3.tar.gz) = 14056
-SHA256 (cabal/attoparsec-0.13.2.5/attoparsec-0.13.2.5.tar.gz) = 21e0f38eaa1957bf471276afa17651c125a38924575f12c2cbd2fa534b45686f
-SIZE (cabal/attoparsec-0.13.2.5/attoparsec-0.13.2.5.tar.gz) = 163876
-SHA256 (cabal/attoparsec-0.13.2.5/revision/1.cabal) = 7c88195c3f3243c6abe356c1bc872cf40818a8c7b0e261a8f8e6868fe42819a0
-SIZE (cabal/attoparsec-0.13.2.5/revision/1.cabal) = 6171
-SHA256 (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 53a6b5145442fba5a4bad6db2bcdede17f164642b48bc39b95015422a39adbdb
-SIZE (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 34625
-SHA256 (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 37b2b59356c03400a2d509862677393c5ff706a0aabf826c104f6fe03d93bbb3
-SIZE (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 22573
-SHA256 (cabal/bifunctors-5.5.10/bifunctors-5.5.10.tar.gz) = e7729cfd8b6af5cecd7dd509e4e493eec0f1522876cc0ccf4f5805495c33a90d
-SIZE (cabal/bifunctors-5.5.10/bifunctors-5.5.10.tar.gz) = 45810
-SHA256 (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = d1a39686abbfed5864a8fb778d2244825b6eac977e130e7c1212e6d3a68f249d
-SIZE (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = 10710
-SHA256 (cabal/bimap-0.4.0/revision/1.cabal) = c59d587b56b575c299ba0c2fff44e630991a120a167de5a19cd7a81320f63c84
-SIZE (cabal/bimap-0.4.0/revision/1.cabal) = 1717
+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/bimap-0.5.0/bimap-0.5.0.tar.gz) = b0b44b0f2eaceb83f46dfa3d1747e080c45204c64d18bb9e63747299266f0c95
+SIZE (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = 11205
SHA256 (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 76ae082a9f1950555dae8f1fb57ac6a7da85f30114b2f252dd2fa5e567fbbe0f
SIZE (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 16473
-SHA256 (cabal/bitwise-1.0.0.1/revision/4.cabal) = 2499779e8c9d59b3d8660e4994d357328750de8b4d1076c9924fb93404fa4c3a
-SIZE (cabal/bitwise-1.0.0.1/revision/4.cabal) = 3110
-SHA256 (cabal/blaze-builder-0.4.2.1/blaze-builder-0.4.2.1.tar.gz) = 6e6889bc9c3ff92062a17f3825dcc1b28510d261334d4d4e177232d904ea0b06
-SIZE (cabal/blaze-builder-0.4.2.1/blaze-builder-0.4.2.1.tar.gz) = 60704
+SHA256 (cabal/bitwise-1.0.0.1/revision/5.cabal) = 04c0e0c65a9228d9e004b5c4b08633b2f0e915afe8f3affc9bd16f75f92ccf61
+SIZE (cabal/bitwise-1.0.0.1/revision/5.cabal) = 3110
+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-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/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = bcc868e9b74742af1152f98c01bf00ddcc930e2a0f6d3d230b2713404e65a753
-SIZE (cabal/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = 18223
-SHA256 (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 27faef6db27c5be5a3715fd68b93725853e0e668849eaf92ce7c33cef9cb2c3f
-SIZE (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 47366
-SHA256 (cabal/call-stack-0.3.0/call-stack-0.3.0.tar.gz) = b80e8de2b87f01922b23b328655ad2f843f42495f3e1033ae907aade603c716a
-SIZE (cabal/call-stack-0.3.0/call-stack-0.3.0.tar.gz) = 2544
+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/bv-sized-1.0.4/bv-sized-1.0.4.tar.gz) = c754ad80d26d7e4c65424ebc18064254f05873161050bc5d41e5bd16c242cd30
+SIZE (cabal/bv-sized-1.0.4/bv-sized-1.0.4.tar.gz) = 19635
+SHA256 (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 430bcf8a3404f7e55319573c0b807b1356946f0c8f289bb3d9afb279c636b87b
+SIZE (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 2757
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/clock-0.8.2/clock-0.8.2.tar.gz) = 0b5db110c703e68b251d5883253a934b012110b45393fc65df1b095eb9a4e461
-SIZE (cabal/clock-0.8.2/clock-0.8.2.tar.gz) = 7604
-SHA256 (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 3b8d471979617dce7c193523743c9782df63433d8e87e3ef6d97922e0da104e7
-SIZE (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 20485
+SHA256 (cabal/chimera-0.3.2.0/chimera-0.3.2.0.tar.gz) = 094e90d99fb58f282c1380ec21519bcd7fa89222912fb539062bc33354b011dd
+SIZE (cabal/chimera-0.3.2.0/chimera-0.3.2.0.tar.gz) = 15915
+SHA256 (cabal/clock-0.8.3/clock-0.8.3.tar.gz) = 845ce5db4c98cefd517323e005f87effceff886987305e421c4ef616dc0505d1
+SIZE (cabal/clock-0.8.3/clock-0.8.3.tar.gz) = 9099
+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/config-value-0.8.1/config-value-0.8.1.tar.gz) = 58f45c24dcb668360b773171bc4dafe702bc434981a76ef821e58ca302d8d220
-SIZE (cabal/config-value-0.8.1/config-value-0.8.1.tar.gz) = 20065
-SHA256 (cabal/config-value-0.8.1/revision/1.cabal) = 47582043bb0054b4b3185c3c3c96c1b999b425ff9aadf40a9ed71953707e4371
-SIZE (cabal/config-value-0.8.1/revision/1.cabal) = 1973
-SHA256 (cabal/constraints-0.13/constraints-0.13.tar.gz) = 9259af54682f2673931978d96074c147406b1e18bd9111903fcaefe9252a6590
-SIZE (cabal/constraints-0.13/constraints-0.13.tar.gz) = 21437
-SHA256 (cabal/contravariant-1.5.3/contravariant-1.5.3.tar.gz) = 44536f0e331fde471271937323dc90409e95d47f57e42657fdaf242a0fd65dc1
-SIZE (cabal/contravariant-1.5.3/contravariant-1.5.3.tar.gz) = 13726
-SHA256 (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 3c79af33542512442f8f87f6abb1faef7cd43bbfb2859260a33251d861eb0dab
-SIZE (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 10198
-SHA256 (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 14d814cd88f5fd47641bef414668f3a5bba8b27fa8f960b1a6f4f2ba29265ee1
-SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 4363
+SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e
+SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631
+SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e6db9e0147de9929661759930f1566a7250add4c7f65b04dc6e070c991df9
+SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844
+SHA256 (cabal/config-value-0.8.2.1/config-value-0.8.2.1.tar.gz) = f3fcca94a86dd0cba3a2e72de55088eff4b7747ea48ba55eca62224c788113cf
+SIZE (cabal/config-value-0.8.2.1/config-value-0.8.2.1.tar.gz) = 20351
+SHA256 (cabal/constraints-0.13.3/constraints-0.13.3.tar.gz) = f9cbf654ca9a0fb5af8ff21e9ebae8ddb17d5ef6b7d50be28cbaff61448f0d4a
+SIZE (cabal/constraints-0.13.3/constraints-0.13.3.tar.gz) = 21574
+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/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4042c97ad02eb68e766577ca35c01970c33e96cfd74ccb4dd403e3476a23241
+SIZE (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = 11563
SHA256 (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 59975abed8f4caa602f0780c10a9b2493479e6feb71ad189bb10c3ac5678df0a
SIZE (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 4117
-SHA256 (cabal/deriving-compat-0.5.10/deriving-compat-0.5.10.tar.gz) = 9029e45f0f748853c29bdb50c1191db737e5a66fb71fd255349b87b3742700aa
-SIZE (cabal/deriving-compat-0.5.10/deriving-compat-0.5.10.tar.gz) = 72415
+SHA256 (cabal/deriving-compat-0.6.1/deriving-compat-0.6.1.tar.gz) = 6bfda1bb730fdad50251f7875dff2802fea3388cfd4ea232f34a03218cae9d26
+SIZE (cabal/deriving-compat-0.6.1/deriving-compat-0.6.1.tar.gz) = 74240
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/extra-1.7.9/extra-1.7.9.tar.gz) = f66e26a63b216f0ca33665a75c08eada0a96af192ace83a18d87839d79afdf9d
-SIZE (cabal/extra-1.7.9/extra-1.7.9.tar.gz) = 44369
-SHA256 (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 95a948341570bad5a9b2468c388c0eb2c20c57e10dd8fbfc994c7b8764b36a7f
-SIZE (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 18978
-SHA256 (cabal/free-5.1.6/free-5.1.6.tar.gz) = cc7dd8440c446e2ab4a960e7d032fdbffd1a91bb4f3ca14605a624d4c0f7ec04
-SIZE (cabal/free-5.1.6/free-5.1.6.tar.gz) = 61876
+SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
+SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
+SHA256 (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 441dd2516902f13801c41310fa98ea82f7a946e8ddd2f775b19931f7e91eacf6
+SIZE (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 9255
+SHA256 (cabal/extra-1.7.10/extra-1.7.10.tar.gz) = 9fdfe67986c89b6cc7a648904a997f4b774f8173cec3de64289d9c45224c4140
+SIZE (cabal/extra-1.7.10/extra-1.7.10.tar.gz) = 44872
+SHA256 (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = f3263c92fa8b18f1e1a64cd12480c8c1bee2c1fa0584ab3345f3dd8522bdbf71
+SIZE (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = 20656
+SHA256 (cabal/free-5.1.8/free-5.1.8.tar.gz) = 7977448bb18857d0669cfd1f08a8410f0295a8641b239ac7c5db4a6ff8518340
+SIZE (cabal/free-5.1.8/free-5.1.8.tar.gz) = 61571
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.0/happy-1.20.0.tar.gz) = 3b1d3a8f93a2723b554d9f07b2cd136be1a7b2fcab1855b12b7aab5cbac8868c
SIZE (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 184515
-SHA256 (cabal/hashable-1.3.1.0/hashable-1.3.1.0.tar.gz) = 8061823a4ac521b53912edcba36b956f3159cb885b07ec119af295a6568ca7c4
-SIZE (cabal/hashable-1.3.1.0/hashable-1.3.1.0.tar.gz) = 21424
-SHA256 (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 0ac3bf86030eeb1dd0f3d0cd1967cb610ee9564251622371fda560bc4e7def6d
-SIZE (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 58425
+SHA256 (cabal/happy-1.20.0/revision/1.cabal) = 5d47dc221a9fe964e36aaaa2e1ab7e8f085a225fd6528d6eff310b92360bbe99
+SIZE (cabal/happy-1.20.0/revision/1.cabal) = 5732
+SHA256 (cabal/hashable-1.3.5.0/hashable-1.3.5.0.tar.gz) = baaad82cd4271b197016bdbe76f22d5c3d3913fe38534cec7d817db9bae19886
+SIZE (cabal/hashable-1.3.5.0/hashable-1.3.5.0.tar.gz) = 24676
+SHA256 (cabal/hashable-1.3.5.0/revision/1.cabal) = 3a2beeafb220f9de706568a7e4a5b3c762cc4c9f25c94d7ef795b8c2d6a691d7
+SIZE (cabal/hashable-1.3.5.0/revision/1.cabal) = 4240
+SHA256 (cabal/hashtables-1.2.4.2/hashtables-1.2.4.2.tar.gz) = a8e7220352500fdc90e80422c9fa3b47e1f7ad7f6f9da07f929fc7c5011470fc
+SIZE (cabal/hashtables-1.2.4.2/hashtables-1.2.4.2.tar.gz) = 58466
SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be510845493b6a6eddcc4b772581fd40a9433ed8f130f40
SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449
-SHA256 (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = fd7915e41e3ed3bc7750fee0e8add2b4f32dcac8b7c544cfdf5542293223894a
-SIZE (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = 38630
-SHA256 (cabal/hsc2hs-0.68.7/revision/1.cabal) = 4a0f6860a17e7c245646975e3c2981416afdcb6a7b3553c31005eb3641a7f55b
-SIZE (cabal/hsc2hs-0.68.7/revision/1.cabal) = 2794
-SHA256 (cabal/indexed-traversable-0.1.1/indexed-traversable-0.1.1.tar.gz) = 7ac36ae3153cbe7a8e99eacffd065367b87544953cc92997f424a150db468139
-SIZE (cabal/indexed-traversable-0.1.1/indexed-traversable-0.1.1.tar.gz) = 8424
-SHA256 (cabal/indexed-traversable-instances-0.1/indexed-traversable-instances-0.1.tar.gz) = faec44807902b58e50c8e12394d15ebda1f00c0e235b490f7b1c4ae5b5ae68dc
-SIZE (cabal/indexed-traversable-instances-0.1/indexed-traversable-instances-0.1.tar.gz) = 4235
+SHA256 (cabal/hsc2hs-0.68.8/hsc2hs-0.68.8.tar.gz) = 78341efbc917a84a07f2143bee9203e2555072054d495717aa73d89d9df77a52
+SIZE (cabal/hsc2hs-0.68.8/hsc2hs-0.68.8.tar.gz) = 40207
+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/invariant-0.5.4/invariant-0.5.4.tar.gz) = b9fa0a1805dde1a4d39bed154e297a37933d2a82b295231098a76be9d60397ca
-SIZE (cabal/invariant-0.5.4/invariant-0.5.4.tar.gz) = 26998
-SHA256 (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63d2f04749f30f0dac2148aa8dec488c07a7e245c80c11f139ad9050665e6ac1
-SIZE (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63812
-SHA256 (cabal/io-streams-1.5.2.0/revision/2.cabal) = 079370252f3e9ec45393a6a336d16defe31c55b0f75873e6de6fb66e2af220d7
-SIZE (cabal/io-streams-1.5.2.0/revision/2.cabal) = 9839
-SHA256 (cabal/kan-extensions-5.2.2/kan-extensions-5.2.2.tar.gz) = 3bf3ce4cacf9c57c03e9a1c36ecb1baf5d8356730853a2592d2112d1248498a0
-SIZE (cabal/kan-extensions-5.2.2/kan-extensions-5.2.2.tar.gz) = 21887
-SHA256 (cabal/lens-5.0.1/lens-5.0.1.tar.gz) = ec543d933636419d686a9f00898f9a81cbbde65a24960f43a9f0a27216e9fc3f
-SIZE (cabal/lens-5.0.1/lens-5.0.1.tar.gz) = 698361
-SHA256 (cabal/libBF-0.6.2/libBF-0.6.2.tar.gz) = 7d035ca04ff4111e70434f0549f6db54dd93666fe1369790aa90e1cf1fbf5d01
-SIZE (cabal/libBF-0.6.2/libBF-0.6.2.tar.gz) = 72022
-SHA256 (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 7228bc49d8636632b481eb13f16f2a9633007b8f55ebc0105f517ad7f71f2501
-SIZE (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 59734
-SHA256 (cabal/megaparsec-9.0.1/revision/1.cabal) = 2244ab77521a52a0083966c5405b3151f149e1db50b1a5b104cd9b1e56617203
-SIZE (cabal/megaparsec-9.0.1/revision/1.cabal) = 3248
-SHA256 (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 6c1034189d237ae45368c70f0e68f714dd3beda715dd265b6c8a99fcc64022b1
-SIZE (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 13864
-SHA256 (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 615c4e0f43491950da36608f968fc28d07a9128e7662d5481891a9a40d667ba3
-SIZE (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 11475
-SHA256 (cabal/monadLib-3.10/revision/1.cabal) = 21dc120625bd612527b372e54251fd8358270effe263023d40d8e5892d24531c
-SIZE (cabal/monadLib-3.10/revision/1.cabal) = 653
-SHA256 (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = fcaa954445cb575ff04d088e719452e356324b6acb98c5aefd2541a069439d4a
-SIZE (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = 136889
-SHA256 (cabal/network-3.1.2.1/revision/1.cabal) = 188d6daea8cd91bc3553efd5a90a1e7c6d0425fa66a53baa74db5b6d9fd75c8b
-SIZE (cabal/network-3.1.2.1/revision/1.cabal) = 4968
-SHA256 (cabal/newtype-generics-0.6/newtype-generics-0.6.tar.gz) = 8a8bace7786b33fe9d356a05b407b41db89f9bad60980d9a664fd33d21af7e11
-SIZE (cabal/newtype-generics-0.6/newtype-generics-0.6.tar.gz) = 6787
-SHA256 (cabal/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 6205278362f333c52256b9dd3edf5f8fe0f84f00cb9ee000291089f6eaccd69a
-SIZE (cabal/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 58315
+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/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 45e3fc64c80e1e0b325988395c18e71885e15a1f5209f09343b52b549f1c5697
+SIZE (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 54903
+SHA256 (cabal/invariant-0.5.6/invariant-0.5.6.tar.gz) = 9cfdf9faaa7521a05c34c1374f936e925ee6a5f438188ff8412101582de5e3d0
+SIZE (cabal/invariant-0.5.6/invariant-0.5.6.tar.gz) = 27506
+SHA256 (cabal/io-streams-1.5.2.1/io-streams-1.5.2.1.tar.gz) = de666408a44db1bb7a9116a56d3100165df4f6dfc34142eff97a469e7bc57af8
+SIZE (cabal/io-streams-1.5.2.1/io-streams-1.5.2.1.tar.gz) = 64050
+SHA256 (cabal/io-streams-1.5.2.1/revision/2.cabal) = a9162d0534ef9a02d8a6d9174d41df984b474d39375ceed63a934cc3a72c599b
+SIZE (cabal/io-streams-1.5.2.1/revision/2.cabal) = 9916
+SHA256 (cabal/kan-extensions-5.2.4/kan-extensions-5.2.4.tar.gz) = e8c63fbe2af4a9d2b3b08e30e8b80ab76a0c1871a8528573b41f6bc837d0cd62
+SIZE (cabal/kan-extensions-5.2.4/kan-extensions-5.2.4.tar.gz) = 22144
+SHA256 (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = cc4e99fc5d989e98ab0df7577183fe9ad5d74c63a44dc2607abcc22daba8b322
+SIZE (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = 697888
+SHA256 (cabal/libBF-0.6.3/libBF-0.6.3.tar.gz) = 6e30ebcf303ae69c7df7c476ab31a8d31a707cf7e68e95c641da39476ff7d6fd
+SIZE (cabal/libBF-0.6.3/libBF-0.6.3.tar.gz) = 72064
+SHA256 (cabal/megaparsec-9.2.1/megaparsec-9.2.1.tar.gz) = 6b278397baa4ae66d613330465c919e909ced077ec308b18827b43cf6715e9ff
+SIZE (cabal/megaparsec-9.2.1/megaparsec-9.2.1.tar.gz) = 61210
+SHA256 (cabal/mod-0.1.2.2/mod-0.1.2.2.tar.gz) = db98ad817c45e89984428cae6b5f88074220955035520cafe552ce2146f32255
+SIZE (cabal/mod-0.1.2.2/mod-0.1.2.2.tar.gz) = 13578
+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/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = e89c8562173f1ab0f78b892e6548bf03df869191448a39be059c63c074adae58
+SIZE (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = 11462
+SHA256 (cabal/network-3.1.2.7/network-3.1.2.7.tar.gz) = 7f7620fef1a1af3d3d6747f510e73223a5c600e7d7fd9ace073d1222bdc63d85
+SIZE (cabal/network-3.1.2.7/network-3.1.2.7.tar.gz) = 139973
+SHA256 (cabal/newtype-generics-0.6.1/newtype-generics-0.6.1.tar.gz) = fcfef02fba0495a1808ee23b3643685b003055b90cef414db1c5303abee35cab
+SIZE (cabal/newtype-generics-0.6.1/newtype-generics-0.6.1.tar.gz) = 6846
+SHA256 (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e
+SIZE (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = 7503
+SHA256 (cabal/optparse-applicative-0.17.0.0/optparse-applicative-0.17.0.0.tar.gz) = 825b2e4d3dafe0ba64a073366a88062b3712b81f851793d9ce2327bee70af724
+SIZE (cabal/optparse-applicative-0.17.0.0/optparse-applicative-0.17.0.0.tar.gz) = 59409
SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14ca5316b204214c08e211febbdcefd1732d42
SIZE (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 2265
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/parameterized-utils-2.1.3.0/parameterized-utils-2.1.3.0.tar.gz) = f48044bc9a6fe112b5aa364607abecdebb556dd3e021b46de47d49e29aa64288
-SIZE (cabal/parameterized-utils-2.1.3.0/parameterized-utils-2.1.3.0.tar.gz) = 82881
+SHA256 (cabal/parallel-3.2.2.0/revision/4.cabal) = 19ff631f3a26ee7cf0603e2b80fc375d77d3f350ae460ae72fe4cf5da665c90b
+SIZE (cabal/parallel-3.2.2.0/revision/4.cabal) = 1821
+SHA256 (cabal/parameterized-utils-2.1.5.0/parameterized-utils-2.1.5.0.tar.gz) = 5ac329abcebf8bb4fc0e80ad447ecfaa660622fb5c17dc479094378c670219f0
+SIZE (cabal/parameterized-utils-2.1.5.0/parameterized-utils-2.1.5.0.tar.gz) = 91974
SHA256 (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 9310ef0d49f8a8922acda10b1cded9854cbee04dea717effc6ee5983072e4447
SIZE (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 11699
-SHA256 (cabal/prettyprinter-1.7.0/prettyprinter-1.7.0.tar.gz) = 591b87ce8a5cff39d66cb1c156c7d27d04de57952f16eb3ce3afe309ac26e0a7
-SIZE (cabal/prettyprinter-1.7.0/prettyprinter-1.7.0.tar.gz) = 55569
-SHA256 (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 6bebecfdf2a57787d9fd5231bfd612b65a92edd7b33a973b2a0f11312b89a3f0
-SIZE (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 52184
-SHA256 (cabal/primitive-0.7.1.0/revision/2.cabal) = f6357d5720c1c665096c3e011467daf443198b786a708d2ff926958a24d508d4
-SIZE (cabal/primitive-0.7.1.0/revision/2.cabal) = 2728
+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/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/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bccdab1d982d2ae342897fd38140d5a94b5ef3800d8c92a
SIZE (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 28522
-SHA256 (cabal/random-1.2.0/random-1.2.0.tar.gz) = e4519cf7c058bfd5bdbe4acc782284acc9e25e74487208619ca83cbcd63fb9de
-SIZE (cabal/random-1.2.0/random-1.2.0.tar.gz) = 37889
-SHA256 (cabal/random-1.2.0/revision/5.cabal) = 30d72df4cc1d2fe2d445c88f0ee9d21965af7ce86660c43a6c32a6a1d90d51c9
-SIZE (cabal/random-1.2.0/revision/5.cabal) = 6094
+SHA256 (cabal/profunctors-5.6.2/revision/2.cabal) = 3d3685119243a7ebf984fa6af03299d156ab7674a432e2e15ecee2a4fd420fb6
+SIZE (cabal/profunctors-5.6.2/revision/2.cabal) = 2483
+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/reflection-2.1.6/reflection-2.1.6.tar.gz) = bf3e14917ebb329a53701a3cce0afe670f20037a0148dbfa5cbfa574ed6ba6cd
SIZE (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = 19976
-SHA256 (cabal/sbv-8.12/sbv-8.12.tar.gz) = 63d945b036e123956fc257f89eac79b0cca3ea3082d9219438c05f5277f92963
-SIZE (cabal/sbv-8.12/sbv-8.12.tar.gz) = 920375
-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/semigroupoids-5.3.5/semigroupoids-5.3.5.tar.gz) = 552f18e13ef347118911c950957e4adcda0a1f948e274f29ec449cc413d3c6b0
-SIZE (cabal/semigroupoids-5.3.5/semigroupoids-5.3.5.tar.gz) = 23362
-SHA256 (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 79e761e64b862564a3470d5d356cb6b060b14452d675859aed3b2d1e14646648
-SIZE (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 21124
-SHA256 (cabal/simple-smt-0.9.6/simple-smt-0.9.6.tar.gz) = 49ff31640f06162d8bfc9c2f1db69881ff51b4d845a631fd82cf1a92174db9ea
-SIZE (cabal/simple-smt-0.9.6/simple-smt-0.9.6.tar.gz) = 10006
-SHA256 (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 46009f4b000c9e6613377767b8718bf38476469f2a8e2162d98cc246882d5a35
-SIZE (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 20754
+SHA256 (cabal/reflection-2.1.6/revision/1.cabal) = f41afef54a696377bb7591e12969a56e7a4a1cf1d2a32210ab24c6a7aa9bd7ae
+SIZE (cabal/reflection-2.1.6/revision/1.cabal) = 4116
+SHA256 (cabal/sbv-9.0/sbv-9.0.tar.gz) = 9f19072ba88738632b36eec5e2bcd4b5648f048aeacbbe570f1a6f64d1540465
+SIZE (cabal/sbv-9.0/sbv-9.0.tar.gz) = 959965
+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/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/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1
+SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788
+SHA256 (cabal/semirings-0.6/semirings-0.6.tar.gz) = 99356619b137c7c4cf6597909be3c9df118f08a7dff4897549e350b95719059b
+SIZE (cabal/semirings-0.6/semirings-0.6.tar.gz) = 19640
+SHA256 (cabal/semirings-0.6/revision/1.cabal) = cc8767bc62b9ff7bbef070ac206b070b173a8612a781eff2d87a14a01cf406b0
+SIZE (cabal/semirings-0.6/revision/1.cabal) = 2668
+SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
+SIZE (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 10177
+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/syb-0.7.2.1/syb-0.7.2.1.tar.gz) = 1807c66f77e66786739387f0ae9f16d150d1cfa9d626afcb729f0e9b442a8d96
SIZE (cabal/syb-0.7.2.1/syb-0.7.2.1.tar.gz) = 39768
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/1.cabal) = 5ddf1e324c3cd644f097a48bf490f0bedf467f723fd240afb3ab3b750577f8e7
-SIZE (cabal/tagged-0.8.6.1/revision/1.cabal) = 2874
+SHA256 (cabal/tagged-0.8.6.1/revision/2.cabal) = 29c67d98a4404607f024750ab9c7210dadcbbef4e1944c48c52902f2071b2662
+SIZE (cabal/tagged-0.8.6.1/revision/2.cabal) = 2874
SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890
SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686
SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635d8fc5f79b6bf6e7580ab4b00186dadc88510
SIZE (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 18483
-SHA256 (cabal/th-abstraction-0.4.2.0/th-abstraction-0.4.2.0.tar.gz) = ea06b2cda25fc4b52dac48cc23e5a756f997df8985ecaee5a554202508a11c40
-SIZE (cabal/th-abstraction-0.4.2.0/th-abstraction-0.4.2.0.tar.gz) = 37848
+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-lift-0.8.2/th-lift-0.8.2.tar.gz) = 3a5927037a10ae63e605c02228c4027c32b7bab1985ae7b5379e6363b3cd5ce4
SIZE (cabal/th-lift-0.8.2/th-lift-0.8.2.tar.gz) = 14385
-SHA256 (cabal/th-lift-instances-0.1.18/th-lift-instances-0.1.18.tar.gz) = bee57c7522e0fefdf8719d4492312883d1a168c6ec4b17befb666fe7f40fdb26
-SIZE (cabal/th-lift-instances-0.1.18/th-lift-instances-0.1.18.tar.gz) = 6098
+SHA256 (cabal/th-lift-0.8.2/revision/1.cabal) = 955f3ad62b202d2ff37a616d2155ad9ce30879c7c63edab1f1ec69d757d70ed1
+SIZE (cabal/th-lift-0.8.2/revision/1.cabal) = 2677
+SHA256 (cabal/th-lift-instances-0.1.19/th-lift-instances-0.1.19.tar.gz) = a85d004a285b51f442c5c345ab786234311b84c819f68e3951f0229c80c16066
+SIZE (cabal/th-lift-instances-0.1.19/th-lift-instances-0.1.19.tar.gz) = 6113
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/1.cabal) = e981c65228db5ae77a043631f74a1e4a4b770f7213866f584e3476b52512f1af
-SIZE (cabal/these-1.1.1.1/revision/1.cabal) = 2631
-SHA256 (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = d0c80c63fdce6a077dd8eda4f1ff289b85578703a3f1272e141d400fe23245e8
-SIZE (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = 2849
-SHA256 (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 7e2e0251e5e6d28142615a4b950a3fabac9c0b7804b1ec4a4ae985f19519a9f9
-SIZE (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 41347
+SHA256 (cabal/these-1.1.1.1/revision/5.cabal) = f069e766b8fed73d457fca20cc197f5c539bcdd03d7636e478ddf14dbb67684a
+SIZE (cabal/these-1.1.1.1/revision/5.cabal) = 2748
+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.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/type-equality-1/type-equality-1.tar.gz) = 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8
SIZE (cabal/type-equality-1/type-equality-1.tar.gz) = 4525
-SHA256 (cabal/type-equality-1/revision/2.cabal) = f2a895a7b22384d9b43a9c6608725b2de7581e77e5b20ab9cfe3f959f6cd71a8
-SIZE (cabal/type-equality-1/revision/2.cabal) = 1569
+SHA256 (cabal/type-equality-1/revision/3.cabal) = bb3a34a93ad02866763b325e889ea9f5aa31f7428e32dcaa1cf14015bd21b9cb
+SIZE (cabal/type-equality-1/revision/3.cabal) = 1597
+SHA256 (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 59ad7e53bfe32ffbf0e703b31490d41d14c70e4745ed49e8adf592ed68dd6185
+SIZE (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 4114
SHA256 (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = e777c94628445556a71f135a42cf72d2cfbaccba5849cc42fbfec8b2182e3ad2
SIZE (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = 29787
SHA256 (cabal/uniplate-1.6.13/revision/1.cabal) = c8b715570d0b4baa72512e677552dd3f98372a64bf9de000e779bd4162fd7be7
SIZE (cabal/uniplate-1.6.13/revision/1.cabal) = 3320
-SHA256 (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 86b01369ab8eb311383a052d389337e2cd71a63088323f02932754df4aa37b55
-SIZE (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 53379
+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/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/vector-0.12.3.0/vector-0.12.3.0.tar.gz) = 15f818505adda63e7f484ecdf92dbb3c1ec76a9def004c9424db8fa6bc41b703
-SIZE (cabal/vector-0.12.3.0/vector-0.12.3.0.tar.gz) = 148083
-SHA256 (cabal/versions-4.0.3/versions-4.0.3.tar.gz) = 8e6902d9b5535272ee0e0238e3e1ac61e1c6fd7779525c3d54972e02a312e666
-SIZE (cabal/versions-4.0.3/versions-4.0.3.tar.gz) = 16962
+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/versions-5.0.3/versions-5.0.3.tar.gz) = 5bb2599c4b5c42a3f48521300c2dd1e7d744aa1dbfcf7563b435a1be73aa43b1
+SIZE (cabal/versions-5.0.3/versions-5.0.3.tar.gz) = 17965
SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317
SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741
-SHA256 (cabal/what4-1.1/what4-1.1.tar.gz) = 782259e883c83b78797df3a09d99e959d66be1e4a1aef89e49edef62d080a698
-SIZE (cabal/what4-1.1/what4-1.1.tar.gz) = 322291
-SHA256 (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 62d14fd204a292a780ff0b3ca9f73e6686188c6269cd6bf5433b4d12fe3e105c
-SIZE (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 3791
-SHA256 (cabal/zlib-0.6.2.3/zlib-0.6.2.3.tar.gz) = 807f6bddf9cb3c517ce5757d991dde3c7e319953a22c86ee03d74534bd5abc88
-SIZE (cabal/zlib-0.6.2.3/zlib-0.6.2.3.tar.gz) = 149186
+SHA256 (cabal/what4-1.3/what4-1.3.tar.gz) = 789efc84d09eb3afd9707108e0a3fa78d0b43bfd36b80aa0aacfef41cad4e40e
+SIZE (cabal/what4-1.3/what4-1.3.tar.gz) = 372289
+SHA256 (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = b917a9d54a992b163aeb3c065a5199ad1ab76bd096c6e14b534c9e6555543c78
+SIZE (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = 4290
+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-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = c83bb438f9b6c5fe860982731eb8ac7eff993e8b56cbc15ef5b471f229f79109
SIZE (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = 54770
SHA256 (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 0c6f9f81832af2473281fd58631aff8c6bbad24191e00d2a5a6ae2479249043b
diff --git a/security/hs-cryptol/pkg-plist b/security/hs-cryptol/pkg-plist
new file mode 100644
index 000000000000..02dcb0ab0201
--- /dev/null
+++ b/security/hs-cryptol/pkg-plist
@@ -0,0 +1,7 @@
+%%DATADIR%%/Array.cry
+%%DATADIR%%/Cryptol.cry
+%%DATADIR%%/Cryptol/Reference.cry
+%%DATADIR%%/CryptolTC.z3
+%%DATADIR%%/Float.cry
+%%DATADIR%%/PrimeEC.cry
+%%DATADIR%%/SuiteB.cry