git: d8c2cda80686 - main - security/hs-cryptol: Update 2.13.0 → 3.0.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 28 Jun 2023 03:46:30 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=d8c2cda80686c79a935220e26de4c43afa87d36c
commit d8c2cda80686c79a935220e26de4c43afa87d36c
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-06-27 18:42:41 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-06-28 03:46:22 +0000
security/hs-cryptol: Update 2.13.0 → 3.0.0
---
security/hs-cryptol/Makefile | 152 +++++++++++--------
security/hs-cryptol/distinfo | 354 ++++++++++++++++++++++++++-----------------
2 files changed, 300 insertions(+), 206 deletions(-)
diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
index d4885f00ab4b..88766017e12d 100644
--- a/security/hs-cryptol/Makefile
+++ b/security/hs-cryptol/Makefile
@@ -1,6 +1,5 @@
PORTNAME= cryptol
-DISTVERSION= 2.13.0
-PORTREVISION= 1
+DISTVERSION= 3.0.0
CATEGORIES= security lang haskell
MAINTAINER= yuri@FreeBSD.org
@@ -21,108 +20,135 @@ USES= cabal
CABAL_FLAGS= -relocatable
-USE_CABAL= GraphSCC-1.0.4 \
+USE_CABAL= BoundedChan-1.0.3.0 \
+ GraphSCC-1.0.4 \
MemoTrie-0.6.10 \
- OneTuple-0.3.1_3 \
- QuickCheck-2.14.2 \
+ OneTuple-0.4.1.1 \
+ QuickCheck-2.14.3 \
StateVar-1.2.2 \
- adjunctions-4.4.2 \
- alex-3.2.7.1 \
- ansi-terminal-0.11.3 \
- ansi-wl-pprint-0.6.9_3 \
- arithmoi-0.12.0.2 \
- assoc-1.0.2_3 \
- async-2.2.4_2 \
- attoparsec-0.14.4_2 \
+ adjunctions-4.4.2_1 \
+ aeson-2.1.2.1_3 \
+ alex-3.4.0.0 \
+ ansi-terminal-1.0 \
+ ansi-terminal-types-0.11.5_1 \
+ arithmoi-0.12.1.0 \
+ assoc-1.1 \
+ async-2.2.4_3 \
+ attoparsec-0.14.4_3 \
base-compat-0.12.2 \
base-compat-batteries-0.12.2 \
- base-orphans-0.8.7 \
- bifunctors-5.5.13 \
+ base-orphans-0.8.8.2 \
+ bifunctors-5.6.1 \
bimap-0.5.0 \
- bitwise-1.0.0.1_5 \
+ bitwise-1.0.0.1_8 \
blaze-builder-0.4.2.2_1 \
blaze-html-0.9.1.2_2 \
- blaze-markup-0.8.2.8_3 \
- bv-sized-1.0.4 \
+ blaze-markup-0.8.2.8_4 \
+ bv-sized-1.0.5 \
call-stack-0.4.0 \
case-insensitive-1.2.1.0 \
- chimera-0.3.2.0 \
+ chimera-0.3.3.0 \
clock-0.8.3 \
colour-2.3.6 \
comonad-5.0.8_1 \
concurrent-extra-0.7.0.12 \
- config-value-0.8.3 \
+ config-value-0.8.3_3 \
constraints-0.13.4 \
contravariant-1.5.5 \
- cryptohash-sha1-0.11.101.0_1 \
- data-binary-ieee754-0.4.4 \
- deriving-compat-0.6.1_1 \
+ criterion-measurement-0.2.1.0 \
+ cryptohash-sha1-0.11.101.0_2 \
+ data-array-byte-0.1.0.1_1 \
+ data-fix-0.3.2_4 \
+ deriving-compat-0.6.3 \
distributive-0.6.2.1_1 \
+ dlist-1.0 \
exact-pi-0.5.0.2 \
- extra-1.7.12 \
+ extra-1.7.13 \
fingertree-0.1.5.0 \
- free-5.1.9_1 \
+ foldable1-classes-compat-0.1_2 \
+ free-5.2_1 \
+ generically-0.1.1_1 \
gitrev-1.3.1 \
- happy-1.20.0_1 \
- hashable-1.3.5.0_1 \
- hashtables-1.2.4.2 \
+ happy-1.20.1.1 \
+ hashable-1.4.2.0_1 \
+ hashtables-1.3.1 \
+ haskell-lexer-1.1.1 \
heredoc-0.2.0.0 \
- hsc2hs-0.68.8_1 \
- indexed-traversable-0.1.2_2 \
- indexed-traversable-instances-0.1.1.1 \
- integer-logarithms-1.0.3.1_3 \
- integer-roots-1.0.2.0 \
- invariant-0.6_1 \
- io-streams-1.5.2.2 \
- kan-extensions-5.2.5 \
- lens-5.1.1_1 \
+ hgmp-0.1.2.1 \
+ hsc2hs-0.68.9 \
+ ieee754-0.8.0 \
+ indexed-traversable-0.1.2.1 \
+ indexed-traversable-instances-0.1.1.2_1 \
+ integer-logarithms-1.0.3.1_4 \
+ integer-roots-1.0.2.0_1 \
+ invariant-0.6.1 \
+ io-streams-1.5.2.2_1 \
+ kan-extensions-5.2.5_1 \
+ language-c99-0.2.0 \
+ language-c99-simple-0.2.2 \
+ language-c99-util-0.2.0 \
+ lens-5.2.2 \
libBF-0.6.5.1 \
- megaparsec-9.2.2 \
- mod-0.1.2.2 \
+ libffi-0.2.1 \
+ megaparsec-9.4.1 \
+ mod-0.2.0.1 \
monad-control-1.0.3.1 \
monadLib-3.10.1 \
- network-3.1.2.7 \
- newtype-generics-0.6.2_1 \
+ network-3.1.4.0 \
+ newtype-generics-0.6.2_2 \
numtype-dk-0.5.0.3 \
- optparse-applicative-0.17.0.0 \
+ optparse-applicative-0.18.1.0 \
+ ordered-containers-0.2.3 \
panic-0.4.0.1 \
- parallel-3.2.2.0_5 \
- parameterized-utils-2.1.5.0 \
+ parallel-3.2.2.0_6 \
+ parameterized-utils-2.1.6.0_1 \
parser-combinators-1.3.0 \
+ pretty-show-1.10 \
prettyprinter-1.7.1 \
- primitive-0.7.4.0 \
- profunctors-5.6.2_2 \
+ prettyprinter-ansi-terminal-1.1.3 \
+ primitive-0.8.0.0 \
+ profunctors-5.6.2_3 \
random-1.2.1.1 \
- reflection-2.1.6_1 \
- sbv-9.0 \
- scientific-0.3.7.0_3 \
- semigroupoids-5.3.7 \
+ reflection-2.1.7 \
+ s-cargot-0.1.6.0 \
+ safe-exceptions-0.1.7.4 \
+ sbv-10.1 \
+ scientific-0.3.7.0_5 \
+ semialign-1.3 \
+ semigroupoids-6.0.0.1 \
semigroups-0.20 \
semirings-0.6_1 \
simple-smt-0.9.7 \
- splitmix-0.1.0.4_1 \
- strict-0.4.0.1_4 \
- syb-0.7.2.2 \
- tagged-0.8.6.1_3 \
+ splitmix-0.1.0.4_2 \
+ strict-0.5 \
+ syb-0.7.2.3 \
+ tagged-0.8.7 \
temporary-1.3 \
+ text-short-0.1.5_2 \
tf-random-0.5 \
- th-abstraction-0.4.5.0 \
- th-lift-0.8.2_2 \
+ th-abstraction-0.4.5.0_1 \
+ th-lift-0.8.3 \
th-lift-instances-0.1.20 \
- these-1.1.1.1_6 \
+ these-1.2 \
+ time-compat-1.9.6.1_5 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
- type-equality-1_4 \
+ type-equality-1_5 \
unbounded-delays-0.1.1.1 \
uniplate-1.6.13_1 \
- unordered-containers-0.2.19.1_1 \
+ unliftio-0.2.25.0 \
+ unliftio-core-0.2.1.0_2 \
+ unordered-containers-0.2.19.1_2 \
utf8-string-1.0.2 \
- vector-0.12.3.1_2 \
- versions-5.0.4 \
+ uuid-types-1.0.5_4 \
+ vector-0.13.0.0_3 \
+ vector-stream-0.1.0.0_2 \
+ versions-5.0.5 \
void-0.7.3 \
- what4-1.3 \
+ what4-1.4 \
+ witherable-0.4.2_4 \
zenc-0.1.2 \
- zlib-0.6.3.0 \
+ zlib-0.6.3.0_1 \
zlib-bindings-0.1.1.5_2
CABAL_EXECUTABLES= cryptol cryptol-html
diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo
index faa75e68a903..cea8d11ea8b4 100644
--- a/security/hs-cryptol/distinfo
+++ b/security/hs-cryptol/distinfo
@@ -1,56 +1,60 @@
-TIMESTAMP = 1668511815
-SHA256 (cabal/cryptol-2.13.0/cryptol-2.13.0.tar.gz) = 5c5b7ad0b290c506836dbbad886ae43ce7d690dd86e2f2a9124564c2f5602b83
-SIZE (cabal/cryptol-2.13.0/cryptol-2.13.0.tar.gz) = 456334
+TIMESTAMP = 1687883747
+SHA256 (cabal/cryptol-3.0.0/cryptol-3.0.0.tar.gz) = 844660c6a85170f3765161e15e8719c637d96b9c292f96bd455b4cb18dc5d54f
+SIZE (cabal/cryptol-3.0.0/cryptol-3.0.0.tar.gz) = 527998
+SHA256 (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d
+SIZE (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 3591
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/3.cabal) = fc32cb744477befa450a538ea4975cc523f0a2f1585cb5a36e9936a3d18e9a3c
-SIZE (cabal/OneTuple-0.3.1/revision/3.cabal) = 2276
-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/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/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/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.2/adjunctions-4.4.2.tar.gz) = 147b5f8db810bca0ea8952ef974982ffc447cecd21f01e1ea1121df77e276518
SIZE (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 17201
-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/3.cabal) = 212144ea0623b1170807a4162db05d87f26cf10b334aeadd0edb377aba06a1ce
-SIZE (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 2425
-SHA256 (cabal/arithmoi-0.12.0.2/arithmoi-0.12.0.2.tar.gz) = 926aab9b7ae43d78da13d529e60f71f58f92f880889819c325335ef1d89fbd0e
-SIZE (cabal/arithmoi-0.12.0.2/arithmoi-0.12.0.2.tar.gz) = 186296
-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/3.cabal) = 93b8d43aa081e4205116a139f7cf690f608968161d19ebfb23d884d19b082b57
-SIZE (cabal/assoc-1.0.2/revision/3.cabal) = 1253
+SHA256 (cabal/adjunctions-4.4.2/revision/1.cabal) = f77a007099851b948f6c98acc49753f4ec19ec234471acfce50386ec50402846
+SIZE (cabal/adjunctions-4.4.2/revision/1.cabal) = 3379
+SHA256 (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 5d4042b903ce181ee023bbf908f37a3f55e820c5f0df102683b87f963e3522c6
+SIZE (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 335908
+SHA256 (cabal/aeson-2.1.2.1/revision/3.cabal) = 5b8d62a60963a925c4d123a46e42a8e235a32188522c9f119f64ac228c2612a7
+SIZE (cabal/aeson-2.1.2.1/revision/3.cabal) = 6359
+SHA256 (cabal/alex-3.4.0.0/alex-3.4.0.0.tar.gz) = 7a1cd4e21399c40ea9372d1c03bf38698944b8437ce95cf27d1a7c262babe38e
+SIZE (cabal/alex-3.4.0.0/alex-3.4.0.0.tar.gz) = 86841
+SHA256 (cabal/ansi-terminal-1.0/ansi-terminal-1.0.tar.gz) = 0798a98f79189e62b5ff0aa247ba95fc3845f0f6f1e14ecceb37facfbdd5cfc9
+SIZE (cabal/ansi-terminal-1.0/ansi-terminal-1.0.tar.gz) = 31745
+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/arithmoi-0.12.1.0/arithmoi-0.12.1.0.tar.gz) = 0ebee0cd77191afa9849f6a4a8eee6bc5715b017ad387c9e3b1879261dd712bd
+SIZE (cabal/arithmoi-0.12.1.0/arithmoi-0.12.1.0.tar.gz) = 186527
+SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
+SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
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/2.cabal) = 2b9409023536823233ce3134558565d01b3382e651fa54ac8cb8a99967e023c9
-SIZE (cabal/async-2.2.4/revision/2.cabal) = 3095
+SHA256 (cabal/async-2.2.4/revision/3.cabal) = 46367dc0c8326dcbeb7b93f200b567491c2f6029bccf822b8bb26ee660397e08
+SIZE (cabal/async-2.2.4/revision/3.cabal) = 3112
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/2.cabal) = c0569d86c02cadd403017ea414dcb5e4f7de5380de0d8a92b9337cad84cd5e02
-SIZE (cabal/attoparsec-0.14.4/revision/2.cabal) = 5811
+SHA256 (cabal/attoparsec-0.14.4/revision/3.cabal) = 50475b722305175f57a3ee3dbaee10aa4b91f61c9717b85b718a7df37c223fb2
+SIZE (cabal/attoparsec-0.14.4/revision/3.cabal) = 5679
SHA256 (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = a62adc883a5ac436f80e4ae02c3c56111cf1007492f267c291139a668d2150bd
SIZE (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = 36393
SHA256 (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = ede9092e07f904e0759160bf1ecd3fb7eb043bae6dc89a37c3dc94829ec5eb99
SIZE (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = 17645
-SHA256 (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 888fd67f0dbe932778f5b170922ce80d0dcab1680ee98f1d6fcc362f20d9e447
-SIZE (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 25083
-SHA256 (cabal/bifunctors-5.5.13/bifunctors-5.5.13.tar.gz) = 26cc27ade3796cf03bd680f98ebb7b8c0d7fd1b67c1894dc3635f734fba7dbd7
-SIZE (cabal/bifunctors-5.5.13/bifunctors-5.5.13.tar.gz) = 46171
+SHA256 (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 61cae7063884128dc98596ab7d8e6d896f6b0fa3da4e12310c850c8c08825092
+SIZE (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 25461
+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/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/5.cabal) = 04c0e0c65a9228d9e004b5c4b08633b2f0e915afe8f3affc9bd16f75f92ccf61
-SIZE (cabal/bitwise-1.0.0.1/revision/5.cabal) = 3110
+SHA256 (cabal/bitwise-1.0.0.1/revision/8.cabal) = 36efc93d2dc8af501a1c1d06916452ca8caec770969385c4787d33241ce8b14a
+SIZE (cabal/bitwise-1.0.0.1/revision/8.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
@@ -61,16 +65,16 @@ SHA256 (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 74b89ffa665891f528f571ce9e3
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/3.cabal) = 8a47373003f472e851afbc3332bb9e0bf1b539a0dfad631bceb704332749c6c2
-SIZE (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 2293
-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/blaze-markup-0.8.2.8/revision/4.cabal) = a8fe050fb93397df36c3f5b19c22628e0e54446382e0f6775e2b45c1ad999eee
+SIZE (cabal/blaze-markup-0.8.2.8/revision/4.cabal) = 2271
+SHA256 (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 5a9d855a648d8ec11fc6d6a4465fbc1cc4f7783d8fd96aa07cafe784536cb4f9
+SIZE (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 20218
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/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/chimera-0.3.3.0/chimera-0.3.3.0.tar.gz) = fd524e2505f75a5b0c90274f763f05cd2e4cdbe0e054fa5c70e43fdade45c3b3
+SIZE (cabal/chimera-0.3.3.0/chimera-0.3.3.0.tar.gz) = 18086
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
@@ -83,128 +87,170 @@ SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e
SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844
SHA256 (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 7cb8d046be5adc09b19dae6b0ad1010b0292f069034c83d28954f1905ee76c5e
SIZE (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 20540
+SHA256 (cabal/config-value-0.8.3/revision/3.cabal) = f29dc24f068771da58733ae372aa5b02a9a9954a38dcb2d8e5fbdd3f9a5238e2
+SIZE (cabal/config-value-0.8.3/revision/3.cabal) = 1983
SHA256 (cabal/constraints-0.13.4/constraints-0.13.4.tar.gz) = 4186946df4b88c5d7cae3a42aa426f30fd5d249835ea1d290e139cebbf464434
SIZE (cabal/constraints-0.13.4/constraints-0.13.4.tar.gz) = 21673
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/criterion-measurement-0.2.1.0/criterion-measurement-0.2.1.0.tar.gz) = ddce822e11be48a56ac1cb3c752847ac5fe04743728268207482aee8713eeda5
+SIZE (cabal/criterion-measurement-0.2.1.0/criterion-measurement-0.2.1.0.tar.gz) = 17823
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/cryptohash-sha1-0.11.101.0/revision/1.cabal) = ab8868780b49b7954efe54f4ff5a1f3be712bdaeac53500bb13c8a75a8cbe92f
-SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/1.cabal) = 3278
-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.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/deriving-compat-0.6.1/revision/1.cabal) = f03112ac521f982af6b1c102ca13b2526e4d61abf655b37dcbd89b24b7e37e54
-SIZE (cabal/deriving-compat-0.6.1/revision/1.cabal) = 9440
+SHA256 (cabal/cryptohash-sha1-0.11.101.0/revision/2.cabal) = 25be9e5bb979c1b96d7695d9cbb6a40ec345025e7a100b2d71d499812c2e89ec
+SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/2.cabal) = 3094
+SHA256 (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 1bb6eca0b3e02d057fe7f4e14c81ef395216f421ab30fdaa1b18017c9c025600
+SIZE (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 6784
+SHA256 (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 2ef1bd3511e82ba56f7f23cd793dd2da84338a1e7c2cbea5b151417afe3baada
+SIZE (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 1989
+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/4.cabal) = c27b354476175581925217323e0f559d35ceff26907ceaa03cb65c6df38e3de9
+SIZE (cabal/data-fix-0.3.2/revision/4.cabal) = 1720
+SHA256 (cabal/deriving-compat-0.6.3/deriving-compat-0.6.3.tar.gz) = b1bf97012db9012a74af4b13cb3454afb7afa1db54c0f6e4bd7c10349e66692a
+SIZE (cabal/deriving-compat-0.6.3/deriving-compat-0.6.3.tar.gz) = 74379
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/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.12/extra-1.7.12.tar.gz) = e571a9ec1d8865f0fbb0e0ba1eb575f783b0365c80db19b54a93600bae43b03c
-SIZE (cabal/extra-1.7.12/extra-1.7.12.tar.gz) = 45598
+SHA256 (cabal/extra-1.7.13/extra-1.7.13.tar.gz) = bdeac5b0316ce4649faae02f7b79cef2bf59a7ddae6dc1c0e3d6c0667a5c7b67
+SIZE (cabal/extra-1.7.13/extra-1.7.13.tar.gz) = 45981
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.9/free-5.1.9.tar.gz) = 2e751309408550ebccc2708170ec8473eac1e35b4bc1016bee0776ac938e9fee
-SIZE (cabal/free-5.1.9/free-5.1.9.tar.gz) = 61606
-SHA256 (cabal/free-5.1.9/revision/1.cabal) = f4cef1f00b5686b4c93a4ed2306ebfa8fe27c5bd10adb8c57dfaf86f3bf3768c
-SIZE (cabal/free-5.1.9/revision/1.cabal) = 5168
+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/2.cabal) = 851225c0d4ccf6ca5e4df17347490945c9928548e431f15e7e7d80c240bc4d17
+SIZE (cabal/foldable1-classes-compat-0.1/revision/2.cabal) = 3782
+SHA256 (cabal/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89
+SIZE (cabal/free-5.2/free-5.2.tar.gz) = 58781
+SHA256 (cabal/free-5.2/revision/1.cabal) = d09e9fcc120a6c48fc9cb08556c7fc24c3605bb01d2b8b501abad9b6a94cff3e
+SIZE (cabal/free-5.2/revision/1.cabal) = 4176
+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/1.cabal) = 2b9b5efb6eea2fb65377565d53d85b0ccc5b37404fba4bef1d60277caa877e5e
+SIZE (cabal/generically-0.1.1/revision/1.cabal) = 1155
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/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/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.2.0/hashable-1.4.2.0.tar.gz) = 1b4000ea82b81f69d46d0af4152c10c6303873510738e24cfc4767760d30e3f8
+SIZE (cabal/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 25094
+SHA256 (cabal/hashable-1.4.2.0/revision/1.cabal) = 585792335d5541dba78fa8dfcb291a89cd5812a281825ff7a44afa296ab5d58a
+SIZE (cabal/hashable-1.4.2.0/revision/1.cabal) = 4520
+SHA256 (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 6f3d40eb22ab87279b9a0bf51c22307706b240c90a664c82bfae2392268c59c3
+SIZE (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 58697
+SHA256 (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = c8eeda569a30f115244c17920247ba2c45d11b3e30805f648a878f7855d8f349
+SIZE (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = 14499
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.8/hsc2hs-0.68.8.tar.gz) = 78341efbc917a84a07f2143bee9203e2555072054d495717aa73d89d9df77a52
-SIZE (cabal/hsc2hs-0.68.8/hsc2hs-0.68.8.tar.gz) = 40207
-SHA256 (cabal/hsc2hs-0.68.8/revision/1.cabal) = 988c29f9b25293f44a29cf5164e2ec07a9f95e8d92c4ab3985e4915abf213a69
-SIZE (cabal/hsc2hs-0.68.8/revision/1.cabal) = 2976
-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/2.cabal) = 52a1b708abd921f91a5977f6ae53c4aa2b33f7c30be0fff17173f658b34c5350
-SIZE (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 2533
-SHA256 (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 895ee5063d59e2b58930ca6fa54885bb11f19c8b7c7ba6c7b014f9431cdcc0b0
-SIZE (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 3751
+SHA256 (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = c681633d3e47d7eabd1cd43028a0e8f2e279a9c60c7701d0dc060145bd598023
+SIZE (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = 15147
+SHA256 (cabal/hsc2hs-0.68.9/hsc2hs-0.68.9.tar.gz) = c95b10ce0b2c881480e35118d738dcc9cefc435ec72baa0031af81d0d4d3bc0a
+SIZE (cabal/hsc2hs-0.68.9/hsc2hs-0.68.9.tar.gz) = 40442
+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/indexed-traversable-0.1.2.1/indexed-traversable-0.1.2.1.tar.gz) = fe854c10285debc7d6fe3e09da0928a740ebc091ad2911ae695bb007e6f746a4
+SIZE (cabal/indexed-traversable-0.1.2.1/indexed-traversable-0.1.2.1.tar.gz) = 8905
+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/1.cabal) = b493ed83623a7cba498d31a9d36beec233406f20377f1be3bb51d4ce3bd2ceef
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/1.cabal) = 2536
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/3.cabal) = d59bfd1d39808217af2b68789d3c0e57cb7199d47405a276060d88fef4f4017d
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/3.cabal) = 3246
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262
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.6/invariant-0.6.tar.gz) = b52b2a798c514e2f3bb37d9d629078f433745fa8a25756198c4d33751d7bce1d
-SIZE (cabal/invariant-0.6/invariant-0.6.tar.gz) = 27707
-SHA256 (cabal/invariant-0.6/revision/1.cabal) = 67ecd31a36c3a9a686a8bee9dbee5a395a4c68b758262413c0355bae03a5a114
-SIZE (cabal/invariant-0.6/revision/1.cabal) = 3563
+SHA256 (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 67a8b36c783337cb9f51a83adfc657eb8d7724a12c7b3ba186ba70ff7ce2c3b9
+SIZE (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 2476
+SHA256 (cabal/invariant-0.6.1/invariant-0.6.1.tar.gz) = fb7294ade6554e9c6e77020f065f3acb63f78e62019e4830ea509c36c8b0d4f0
+SIZE (cabal/invariant-0.6.1/invariant-0.6.1.tar.gz) = 27873
SHA256 (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = d365d5051696c15414ebe23749fc67475a532234b7c7d77060323d149a8fc4fe
SIZE (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = 64166
+SHA256 (cabal/io-streams-1.5.2.2/revision/1.cabal) = 5f95b8b6fc693c09a08a6a780304f1b4808c6ee2cdaa4d033c4ba7a4cffc72ba
+SIZE (cabal/io-streams-1.5.2.2/revision/1.cabal) = 9942
SHA256 (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22
SIZE (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = 22205
-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/lens-5.1.1/revision/1.cabal) = c633a481e69bf911d9a6ed11ef156809db8b1d7c7d296fd03249b93be399e3a7
-SIZE (cabal/lens-5.1.1/revision/1.cabal) = 15015
+SHA256 (cabal/kan-extensions-5.2.5/revision/1.cabal) = 22e283da87daaafd3caa5de9cf0661f01971cebcb35d93c4d8241c3edfae6ce5
+SIZE (cabal/kan-extensions-5.2.5/revision/1.cabal) = 3066
+SHA256 (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 7062d0fb381308316f777b52a889ef6b4ed88c23804a1cf7b4653cac8b7bcc09
+SIZE (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 11220
+SHA256 (cabal/language-c99-simple-0.2.2/language-c99-simple-0.2.2.tar.gz) = a9b3c498d704280f3aebd1807f58bb4ca40068b6ecabdb9c458aa83e9a456a9b
+SIZE (cabal/language-c99-simple-0.2.2/language-c99-simple-0.2.2.tar.gz) = 8176
+SHA256 (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 241b4ffce7339744eeb0b92d22814d04c6d137467a0e2f172dbec66d3e474633
+SIZE (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 5018
+SHA256 (cabal/lens-5.2.2/lens-5.2.2.tar.gz) = 855c58c51935bd86e61c5886862fb36cb2dc4c63240d96d93c538e8f54ff76e3
+SIZE (cabal/lens-5.2.2/lens-5.2.2.tar.gz) = 700966
SHA256 (cabal/libBF-0.6.5.1/libBF-0.6.5.1.tar.gz) = 36e6bd8bd2b407540bd277d29172530b435e782b5d5101edcacd34fa7fbbb8d0
SIZE (cabal/libBF-0.6.5.1/libBF-0.6.5.1.tar.gz) = 72468
-SHA256 (cabal/megaparsec-9.2.2/megaparsec-9.2.2.tar.gz) = a48b03e55c0b9efcc88ce4236186fb6eee3acb64336987dd9c98daf4d96aa234
-SIZE (cabal/megaparsec-9.2.2/megaparsec-9.2.2.tar.gz) = 61325
-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/libffi-0.2.1/libffi-0.2.1.tar.gz) = 76ae195f738d72bb75a34be0bbb7ab5fd097d50fb05aaf2a252e88d265d53af1
+SIZE (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 7879
+SHA256 (cabal/megaparsec-9.4.1/megaparsec-9.4.1.tar.gz) = c16944509abb445754193ec9485486ad08379d6cb21867cba10987b845241a29
+SIZE (cabal/megaparsec-9.4.1/megaparsec-9.4.1.tar.gz) = 64604
+SHA256 (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 2a63f8e4e88545093cd57df02911906554e77704df3ee5c7a12044e48630e872
+SIZE (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 16279
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/network-3.1.4.0/network-3.1.4.0.tar.gz) = b452a2afac95d9207357eb3820c719c7c7d27871ef4b6ed7bfcd03a036b9158e
+SIZE (cabal/network-3.1.4.0/network-3.1.4.0.tar.gz) = 139988
SHA256 (cabal/newtype-generics-0.6.2/newtype-generics-0.6.2.tar.gz) = a1ac6052020a09f1bc5000a141d2edd4b31a82f95ce5957b7eedad40c065a74e
SIZE (cabal/newtype-generics-0.6.2/newtype-generics-0.6.2.tar.gz) = 6854
-SHA256 (cabal/newtype-generics-0.6.2/revision/1.cabal) = ce6b681a347a320bd3ce3cf4321fa9471e62616e72c6c5df8a78dca0bb3eec75
-SIZE (cabal/newtype-generics-0.6.2/revision/1.cabal) = 2053
+SHA256 (cabal/newtype-generics-0.6.2/revision/2.cabal) = 81cbf377241a186ac210bb60417ac3a23ea576257b01ec7be7051790b225daeb
+SIZE (cabal/newtype-generics-0.6.2/revision/2.cabal) = 2053
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/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 63811ab4fd26e829b8868364325a88be3acc79819f5bb5005b2dd3b961ecc491
+SIZE (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 60682
+SHA256 (cabal/ordered-containers-0.2.3/ordered-containers-0.2.3.tar.gz) = 36849705752f3bc367fa1d172e1ec57375418341e9d74de572ae1b6fb56a81a3
+SIZE (cabal/ordered-containers-0.2.3/ordered-containers-0.2.3.tar.gz) = 7404
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/5.cabal) = 6edd5a06938cea3d28b406d5231683f89737e854af144a8800aa69e1eee785e0
-SIZE (cabal/parallel-3.2.2.0/revision/5.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/parallel-3.2.2.0/revision/6.cabal) = c652c3c6e927ba461f40ee374f80e2e1ecfe833e950654d4303a3b15597624b8
+SIZE (cabal/parallel-3.2.2.0/revision/6.cabal) = 1821
+SHA256 (cabal/parameterized-utils-2.1.6.0/parameterized-utils-2.1.6.0.tar.gz) = 66655444d80ed0e76b0ce94c98ec045f3bd16ea6afbf7f43764b9cbcf7b71185
+SIZE (cabal/parameterized-utils-2.1.6.0/parameterized-utils-2.1.6.0.tar.gz) = 100686
+SHA256 (cabal/parameterized-utils-2.1.6.0/revision/1.cabal) = 30bb1eb10ea9a54a9e1e9f1a8ed6dcd30f44b3cd2b0379f1a71cabcc882bd788
+SIZE (cabal/parameterized-utils-2.1.6.0/revision/1.cabal) = 4818
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/pretty-show-1.10/pretty-show-1.10.tar.gz) = 307f9086e0b063d439dc4f513e36a145e8a57f23de448aefae2a6c00f6da6fd2
+SIZE (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 42233
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.4.0/primitive-0.7.4.0.tar.gz) = 5b2d6dc2812eb2f6a115f05fcbe3e723d3aeff7894b012c617e075130581add5
-SIZE (cabal/primitive-0.7.4.0/primitive-0.7.4.0.tar.gz) = 56575
+SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3
+SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879
+SHA256 (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 5553c21b4a789f9b591eed69e598cc58484c274af29250e517b5a8bcc62b995f
+SIZE (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 57222
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/profunctors-5.6.2/revision/2.cabal) = 3d3685119243a7ebf984fa6af03299d156ab7674a432e2e15ecee2a4fd420fb6
-SIZE (cabal/profunctors-5.6.2/revision/2.cabal) = 2483
+SHA256 (cabal/profunctors-5.6.2/revision/3.cabal) = e178ba4468982326656626e2089e296f64485e68fdddc9f4476dcd5d612b4f78
+SIZE (cabal/profunctors-5.6.2/revision/3.cabal) = 2484
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/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/reflection-2.1.7/reflection-2.1.7.tar.gz) = 6cbb18a8b02871533bb8b641dc6f76813a097d94404e5808bb5d52b0f0e415fd
+SIZE (cabal/reflection-2.1.7/reflection-2.1.7.tar.gz) = 17823
+SHA256 (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 216d60f8bcb8805ae8a94bf29917f3dd42c48a8cd91baa40464b431a9bf20c1d
+SIZE (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 40873
+SHA256 (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 3c51d8d50c9b60ff8bf94f942fd92e3bea9e62c5afa778dfc9f707b79da41ef6
+SIZE (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 15347
+SHA256 (cabal/sbv-10.1/sbv-10.1.tar.gz) = dab855347793851f03bff96a1df7f5f0d8dfe4545b2378368cca3902c8bf23c2
+SIZE (cabal/sbv-10.1/sbv-10.1.tar.gz) = 1022986
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/3.cabal) = 517444c944dad9db8235d7b311d7b9a0839a519ee3178288b5a9606256e0c7d8
-SIZE (cabal/scientific-0.3.7.0/revision/3.cabal) = 4840
-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/scientific-0.3.7.0/revision/5.cabal) = 26d8109106963a345368011081453d25ee1dfa6afae2b1f57b426b4bcd392d91
+SIZE (cabal/scientific-0.3.7.0/revision/5.cabal) = 4854
+SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
+SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
+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/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
@@ -215,68 +261,90 @@ SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548a
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/splitmix-0.1.0.4/revision/1.cabal) = 804e2574bc7e32d08cbab91e47ee6287b4df7d50851d73f9e778f94a9a7814c7
-SIZE (cabal/splitmix-0.1.0.4/revision/1.cabal) = 6521
-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.2/syb-0.7.2.2.tar.gz) = 8143c6983b6248d57f00e47ec3cd16541acbaa55eb8093fedd5b7cee9a95b2e3
-SIZE (cabal/syb-0.7.2.2/syb-0.7.2.2.tar.gz) = 40058
-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/3.cabal) = 8a24aef29b8e35447ccc56658ea07c2aded30bfa8130ea057e382936e17c74a6
-SIZE (cabal/tagged-0.8.6.1/revision/3.cabal) = 2874
+SHA256 (cabal/splitmix-0.1.0.4/revision/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e
+SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537
+SHA256 (cabal/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
+SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
+SHA256 (cabal/syb-0.7.2.3/syb-0.7.2.3.tar.gz) = d0b72daf16a947c4d9cb2d5774072f2153433224a04fd60fad60be9ffac8d91a
+SIZE (cabal/syb-0.7.2.3/syb-0.7.2.3.tar.gz) = 40018
+SHA256 (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 6414eeac27a1633f49e2f78199ced99ce8ce3d70b658cf6d55b1d81ff60cb961
+SIZE (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 10082
SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890
SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686
+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/2.cabal) = c296eb2289dc5bf39912989c295cb82ef05ae5f84ee83ea5dc21f48da80e7052
+SIZE (cabal/text-short-0.1.5/revision/2.cabal) = 3202
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.5.0/th-abstraction-0.4.5.0.tar.gz) = 00d5e24f247e328bd9898d5af5915c1e86b134b4d40baa680258635f95031526
SIZE (cabal/th-abstraction-0.4.5.0/th-abstraction-0.4.5.0.tar.gz) = 39515
-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-0.8.2/revision/2.cabal) = f135f67b018c22889e68b094773273dcf8f9e16fcfa330bf4778f84fce8925e9
-SIZE (cabal/th-lift-0.8.2/revision/2.cabal) = 2677
+SHA256 (cabal/th-abstraction-0.4.5.0/revision/1.cabal) = c28f186ae9817a059e54f63689f8985194b7f58d8fbd79e157d12374b6f9d2c3
+SIZE (cabal/th-abstraction-0.4.5.0/revision/1.cabal) = 2212
+SHA256 (cabal/th-lift-0.8.3/th-lift-0.8.3.tar.gz) = 25d57bf5f8e7deefeb4ace0539805ae1e90b1ba5a034ebcc36141846408c6b75
+SIZE (cabal/th-lift-0.8.3/th-lift-0.8.3.tar.gz) = 14643
SHA256 (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = f533c3f95addcca461a0ccd1aafef75dd801bfa6599c0d1184d54bfffb61d870
SIZE (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = 6721
-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/6.cabal) = 2991c13e264b0c35c696c8f5f85c428c53bc42e93b1dfbd19a582052112d948a
-SIZE (cabal/these-1.1.1.1/revision/6.cabal) = 2748
+SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
+SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
+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/5.cabal) = dd4de1fa0d6b7108982efc7ac41938569e4c9b06230bb87d34aae007c52ddb67
+SIZE (cabal/time-compat-1.9.6.1/revision/5.cabal) = 5062
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/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/4.cabal) = 7cd952c3ebf0da36ee05544e6209a850b22205fa8b749e17f4bacc5a8fe15269
-SIZE (cabal/type-equality-1/revision/4.cabal) = 1611
+SHA256 (cabal/type-equality-1/revision/5.cabal) = 556006736473a9a4434591812e7106b1db2389faf364a9eaf87d5b4305921b56
+SIZE (cabal/type-equality-1/revision/5.cabal) = 1625
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/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = fb85a22291e78f9e58cd7f5e563a726500ad1a004b3b335b93c0975b828a112b
+SIZE (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = 58335
+SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56d9d61b85e38a313a93ebcdb78be6566367f0930ef580597fe3e3
+SIZE (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 3865
+SHA256 (cabal/unliftio-core-0.2.1.0/revision/2.cabal) = cb78a95718f9cb2579a8a1208d4a148ea358f0774321c8cb905bfb0b96a2813c
+SIZE (cabal/unliftio-core-0.2.1.0/revision/2.cabal) = 1004
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/unordered-containers-0.2.19.1/revision/1.cabal) = db11042bb0356c0adea277d0794743829125b4c99455af6af2bd5f7bd5e88a39
-SIZE (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = 3797
+SHA256 (cabal/unordered-containers-0.2.19.1/revision/2.cabal) = 9ad8972c2e913c37b1d4f0e1261517fd7a1b8c8a58077e057be69837e3dbaa00
+SIZE (cabal/unordered-containers-0.2.19.1/revision/2.cabal) = 3822
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.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/2.cabal) = fffbd00912d69ed7be9bc7eeb09f4f475e0d243ec43f916a9fd5bbd219ce7f3e
-SIZE (cabal/vector-0.12.3.1/revision/2.cabal) = 8238
-SHA256 (cabal/versions-5.0.4/versions-5.0.4.tar.gz) = 29746a407f98b33d72e517e30fe3925591cf1e9f073d2797e6dd0a32e70cdefe
-SIZE (cabal/versions-5.0.4/versions-5.0.4.tar.gz) = 17981
+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/4.cabal) = e4662609522f093b86c5ae86aa9781afc69338cf102d42e5b5c196c320d95621
+SIZE (cabal/uuid-types-1.0.5/revision/4.cabal) = 2636
+SHA256 (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = c5d3167d15e12f52e00879ddf304a591672a74e369cc47bc5c7fa1d5a8d15b4f
+SIZE (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = 154509
+SHA256 (cabal/vector-0.13.0.0/revision/3.cabal) = fa5cac81a17a5af388716792e8b99c24b3b66770086756d0d8b23f8272a0244c
+SIZE (cabal/vector-0.13.0.0/revision/3.cabal) = 9112
+SHA256 (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = a888210f6467f155090653734be5cc920406a07227e0d3adb59096716fdb806c
+SIZE (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = 12377
+SHA256 (cabal/vector-stream-0.1.0.0/revision/2.cabal) = f5d6d5291cd1b5f2f063403593f1f5c8127d692c888eedeb3e1eb40497a88dca
+SIZE (cabal/vector-stream-0.1.0.0/revision/2.cabal) = 1404
+SHA256 (cabal/versions-5.0.5/versions-5.0.5.tar.gz) = 0c1ccb144a4237a8571d167b1b7f4372992577f019836f0bb0a5fe1f691c7606
+SIZE (cabal/versions-5.0.5/versions-5.0.5.tar.gz) = 18028
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.3/what4-1.3.tar.gz) = 789efc84d09eb3afd9707108e0a3fa78d0b43bfd36b80aa0aacfef41cad4e40e
-SIZE (cabal/what4-1.3/what4-1.3.tar.gz) = 372289
+SHA256 (cabal/what4-1.4/what4-1.4.tar.gz) = 2b113377419ff425b4a63b33184acc1bd40b853b42c3d5a2416f74625970bbb2
+SIZE (cabal/what4-1.4/what4-1.4.tar.gz) = 419883
+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/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-0.6.3.0/revision/1.cabal) = 9adce39e4ca0b7a87d45df0a243134816c57059a08e28cff5469c98ae1f54dfc
+SIZE (cabal/zlib-0.6.3.0/revision/1.cabal) = 5367
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