git: 05759ff90438 - main - cad/hs-verismith: update 1.0.0.2-39 → 1.0.0.2-40
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 01 Sep 2024 19:45:47 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=05759ff90438b9edbffdf2469e11c5c10dd65ca0
commit 05759ff90438b9edbffdf2469e11c5c10dd65ca0
Author: Älven <alster@vinterdalen.se>
AuthorDate: 2024-09-01 19:44:59 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-09-01 19:45:45 +0000
cad/hs-verismith: update 1.0.0.2-39 → 1.0.0.2-40
PR: 281187
---
cad/hs-verismith/Makefile | 150 +++++++++---------
cad/hs-verismith/distinfo | 374 ++++++++++++++++++++++-----------------------
cad/hs-verismith/pkg-descr | 4 +-
3 files changed, 260 insertions(+), 268 deletions(-)
diff --git a/cad/hs-verismith/Makefile b/cad/hs-verismith/Makefile
index 6d0d91cfa2ce..458007e1f94d 100644
--- a/cad/hs-verismith/Makefile
+++ b/cad/hs-verismith/Makefile
@@ -1,115 +1,111 @@
PORTNAME= verismith
DISTVERSIONPREFIX= v
-DISTVERSION= 1.0.0.2-39
-DISTVERSIONSUFFIX= -g2523998
+DISTVERSION= 1.0.0.2-40
+DISTVERSIONSUFFIX= -g866707b
CATEGORIES= cad haskell
-PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/
-PATCHFILES= ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch:-p1 # https://github.com/ymherklotz/verismith/pull/86
-
MAINTAINER= yuri@FreeBSD.org
COMMENT= Verilog fuzzer
-WWW= https://github.com/ymherklotz/verismith
+WWW= https://github.com/ymherklotz/verismith/
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENSE
-BUILD_DEPENDS= ghc-9.2.8:lang/ghc92
-
USES= cabal
+USE_GITHUB= yes
+GH_ACCOUNT= ymherklotz
-USE_CABAL= OneTuple-0.3.1_3 \
+USE_CABAL= OneTuple-0.4.2 \
StateVar-1.2.2 \
- adjunctions-4.4.2 \
- alex-3.2.7.1 \
- ansi-terminal-0.11.4 \
- ansi-wl-pprint-0.6.9_3 \
- assoc-1.0.2_3 \
- async-2.2.4_2 \
- barbies-2.0.4.0 \
- base-compat-0.12.2 \
- base-orphans-0.8.7 \
- basement-0.0.15 \
- bifunctors-5.5.14 \
- blaze-builder-0.4.2.2_1 \
- blaze-html-0.9.1.2_2 \
- blaze-markup-0.8.2.8_3 \
+ adjunctions-4.4.2_2 \
+ alex-3.5.1.0 \
+ ansi-terminal-1.1.1 \
+ ansi-terminal-types-1.1 \
+ assoc-1.1.1 \
+ async-2.2.5_2 \
+ barbies-2.1.1.0 \
+ base-compat-0.14.0 \
+ base-orphans-0.9.2 \
+ basement-0.0.16 \
+ bifunctors-5.6.2 \
+ blaze-builder-0.4.2.3 \
+ blaze-html-0.9.2.0_1 \
+ blaze-markup-0.8.3.0_2 \
+ boring-0.2.2 \
call-stack-0.4.0 \
case-insensitive-1.2.1.0 \
colour-2.3.6 \
- comonad-5.0.8_1 \
- concurrent-output-1.10.17 \
- constraints-0.13.4 \
+ comonad-5.0.8_2 \
+ concurrent-output-1.10.21 \
+ constraints-0.14.2_1 \
contravariant-1.5.5 \
cryptonite-0.30 \
- data-array-byte-0.1.0.1_1 \
- data-fix-0.3.2_3 \
- directory-1.3.7.1 \
+ data-default-class-0.1.2.0 \
+ data-fix-0.3.4 \
distributive-0.6.2.1_1 \
dotgen-0.4.3 \
enclosed-exceptions-1.0.3 \
erf-2.0.0.0 \
- fgl-5.7.0.3_1 \
+ fgl-5.8.2.0 \
fgl-visualize-0.1.0.1 \
- free-5.1.10 \
+ free-5.2_5 \
gitrev-1.3.1 \
happy-1.20.1.1 \
- hashable-1.4.2.0 \
+ hashable-1.4.7.0 \
haskell-lexer-1.1.1 \
- hedgehog-1.1.2 \
- hsc2hs-0.68.9 \
- indexed-traversable-0.1.2_2 \
- indexed-traversable-instances-0.1.1.1 \
- integer-logarithms-1.0.3.1_4 \
- invariant-0.6_1 \
- kan-extensions-5.2.5 \
- lens-5.1.1_1 \
- lifted-async-0.10.2.3 \
+ hedgehog-1.4_8 \
+ hsc2hs-0.68.10_2 \
+ indexed-traversable-0.1.4 \
+ indexed-traversable-instances-0.1.2 \
+ integer-logarithms-1.0.3.1_6 \
+ invariant-0.6.3 \
+ kan-extensions-5.2.6 \
+ lens-5.2.3_5 \
+ lifted-async-0.10.2.5_1 \
lifted-base-0.2.3.12 \
- megaparsec-9.2.2 \
- memory-0.17.0_1 \
+ math-functions-0.3.4.4 \
+ megaparsec-9.6.1 \
+ memory-0.18.0 \
mmorph-1.2.0_3 \
monad-control-1.0.3.1 \
- optparse-applicative-0.16.1.0_2 \
- parallel-3.2.2.0_5 \
- parser-combinators-1.3.0 \
+ mwc-probability-2.3.1 \
+ mwc-random-0.15.1.0 \
+ optparse-applicative-0.18.1.0 \
+ os-string-2.0.6 \
+ parallel-3.2.2.0_8 \
+ parser-combinators-1.3.0_1 \
pretty-show-1.10 \
prettyprinter-1.7.1 \
- primitive-0.7.4.0_1 \
- process-1.6.17.0 \
- profunctors-5.6.2_2 \
- random-1.2.1.1 \
- recursion-schemes-5.2.2.3 \
- reflection-2.1.6_1 \
- resourcet-1.2.6 \
- scientific-0.3.7.0_3 \
- selective-0.5 \
- semigroupoids-5.3.7_1 \
+ prettyprinter-ansi-terminal-1.1.3 \
+ primitive-0.9.0.0_1 \
+ profunctors-5.6.2_3 \
+ random-1.2.1.2 \
+ recursion-schemes-5.2.3 \
+ reflection-2.1.8 \
+ resourcet-1.3.0 \
+ safe-exceptions-0.1.7.4_1 \
+ scientific-0.3.8.0_1 \
+ selective-0.7.0.1 \
+ semigroupoids-6.0.1_1 \
semigroups-0.20 \
- shelly-1.10.0.1 \
- splitmix-0.1.0.4_2 \
- strict-0.4.0.1_4 \
- tagged-0.8.6.1_3 \
- terminal-size-0.3.3 \
- th-abstraction-0.4.5.0 \
- these-1.1.1.1_6 \
- time-1.12.2 \
- tomland-1.3.3.2 \
+ shelly-1.12.1_1 \
+ splitmix-0.1.0.5_1 \
+ strict-0.5.1_1 \
+ tagged-0.8.8_1 \
+ terminal-size-0.3.4_1 \
+ th-abstraction-0.7.0.0 \
+ these-1.2.1_1 \
+ tomland-1.3.3.3 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
- type-equality-1_4 \
- unix-2.7.3 \
- unix-compat-0.6_1 \
- unliftio-core-0.2.1.0_1 \
- unordered-containers-0.2.19.1_1 \
- validation-selective-0.1.0.2 \
- vector-0.13.0.0_2 \
- vector-stream-0.1.0.0_2 \
+ unix-compat-0.7.2 \
+ unliftio-core-0.2.1.0_4 \
+ unordered-containers-0.2.20_3 \
+ validation-selective-0.2.0.0_4 \
+ vector-0.13.1.0_1 \
+ vector-stream-0.1.0.1_1 \
void-0.7.3 \
- wl-pprint-annotated-0.1.0.1_1
-
-USE_GITHUB= yes
-GH_ACCOUNT= ymherklotz
+ wl-pprint-annotated-0.1.0.1_3
PORTSCOUT= limit:^.*[0-9]\.[0-9] # prevent fpga20
diff --git a/cad/hs-verismith/distinfo b/cad/hs-verismith/distinfo
index a75df36f8f44..a9b109e85afb 100644
--- a/cad/hs-verismith/distinfo
+++ b/cad/hs-verismith/distinfo
@@ -1,50 +1,46 @@
-TIMESTAMP = 1676622008
-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
+TIMESTAMP = 1725194649
+SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
+SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
SHA256 (cabal/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.4/ansi-terminal-0.11.4.tar.gz) = 7898e48f0a535c1857cde52c803f28096ba89759461fe4d157fd55dcdb420e25
-SIZE (cabal/ansi-terminal-0.11.4/ansi-terminal-0.11.4.tar.gz) = 43299
-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/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/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/barbies-2.0.4.0/barbies-2.0.4.0.tar.gz) = e2a01762041ff15ab7a33d85d1fe15e95c0e4018ad8718dcc3d3a112fb640b6d
-SIZE (cabal/barbies-2.0.4.0/barbies-2.0.4.0.tar.gz) = 51770
-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-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/basement-0.0.15/basement-0.0.15.tar.gz) = 56c2afb6754e8d16a627331a8a5d473b3d26fd04ba5c9e0fb3475f595b915db4
-SIZE (cabal/basement-0.0.15/basement-0.0.15.tar.gz) = 135169
-SHA256 (cabal/bifunctors-5.5.14/bifunctors-5.5.14.tar.gz) = 530116d0c47cde3b76c3b9b7d11f0599196739033f973317e876776334699264
-SIZE (cabal/bifunctors-5.5.14/bifunctors-5.5.14.tar.gz) = 47657
-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/2.cabal) = 74b89ffa665891f528f571ce9e3c2dce24f698563f14b6f5e9e0512eccdf5dc2
-SIZE (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 3062
-SHA256 (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 43fc3f6872dc8d1be8d0fe091bd4775139b42179987f33d6490a7c5f1e07a349
-SIZE (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 14519
-SHA256 (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 8a47373003f472e851afbc3332bb9e0bf1b539a0dfad631bceb704332749c6c2
-SIZE (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 2293
+SHA256 (cabal/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d
+SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379
+SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07
+SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982
+SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c
+SIZE (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 35398
+SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25
+SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746
+SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6
+SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158
+SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
+SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
+SHA256 (cabal/async-2.2.5/revision/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35
+SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257
+SHA256 (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7
+SIZE (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 41687
+SHA256 (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = f146de664ac838ebe18ec9360df82da3660149dc7d51fd29bcb61d653b799c50
+SIZE (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = 42744
+SHA256 (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 6211900916955b84687c61b5e4fa98ce110e511a96086b7a93f06dd63c97ba93
+SIZE (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 26705
+SHA256 (cabal/basement-0.0.16/basement-0.0.16.tar.gz) = 7fb77e249aef76ba5aed3059d556800ce02b614597c488ba01f0a16449146300
+SIZE (cabal/basement-0.0.16/basement-0.0.16.tar.gz) = 134837
+SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a
+SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193
+SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b
+SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777
+SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f
+SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915
+SHA256 (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58
+SIZE (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 3087
+SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
+SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
+SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d456c4e5aa92d145e9dcee14834fbad73a39ad7e4
+SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360
+SHA256 (cabal/boring-0.2.2/boring-0.2.2.tar.gz) = 928baf1fff69b17658fb7014a1cc3e220b3b69b52271ae9c0452f82d67b3ef86
+SIZE (cabal/boring-0.2.2/boring-0.2.2.tar.gz) = 5474
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
@@ -53,26 +49,22 @@ SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee5
SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
-SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e
-SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631
-SHA256 (cabal/concurrent-output-1.10.17/concurrent-output-1.10.17.tar.gz) = 0b509997639af0e3ab6645d81fadd45b7e7a51117de92da995c18f1d9bbcb589
-SIZE (cabal/concurrent-output-1.10.17/concurrent-output-1.10.17.tar.gz) = 23649
-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/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
+SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
+SHA256 (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 4a20f3af43a1023539fd35e6d94a13c3c55e296eb233149f2371c2aa9ea3b512
+SIZE (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 23875
+SHA256 (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 4f249f805d1807ecd86e36e2aa9c9ad8206d2b70d50ff7f11b79721e08fd19f8
+SIZE (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 21204
+SHA256 (cabal/constraints-0.14.2/revision/1.cabal) = 381a53e9d5aad937644d13b5c2c4fcc3698aeba2f83945a42100c6324e0ea8e7
+SIZE (cabal/constraints-0.14.2/revision/1.cabal) = 2384
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/cryptonite-0.30/cryptonite-0.30.tar.gz) = 56099c8a8aa01d2ee914b670c97c1f818186dbb886e2025b73d9c2afe3496b1d
SIZE (cabal/cryptonite-0.30/cryptonite-0.30.tar.gz) = 621062
-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/3.cabal) = bdea17f6b17c1d327f53ae6806e1bc3ca7813b46742a93c6088c72837c8ae77c
-SIZE (cabal/data-fix-0.3.2/revision/3.cabal) = 1706
-SHA256 (cabal/directory-1.3.7.1/directory-1.3.7.1.tar.gz) = dc2785d6548cec2e80700fab007d3e9467f65d3c58ab3efa21b34d9017cf0efd
-SIZE (cabal/directory-1.3.7.1/directory-1.3.7.1.tar.gz) = 83757
+SHA256 (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 4f01b423f000c3e069aaf52a348564a6536797f31498bb85c3db4bd2d0973e56
+SIZE (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 2522
+SHA256 (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37
+SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992
SHA256 (cabal/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
@@ -83,173 +75,177 @@ SHA256 (cabal/enclosed-exceptions-1.0.3/enclosed-exceptions-1.0.3.tar.gz) = af6d
SIZE (cabal/enclosed-exceptions-1.0.3/enclosed-exceptions-1.0.3.tar.gz) = 5748
SHA256 (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 24f0b79c7e1d25cb2cd44c2258d7a464bf6db8079775b50b60b54a254616b337
SIZE (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 1918
-SHA256 (cabal/fgl-5.7.0.3/fgl-5.7.0.3.tar.gz) = 2969b813b9067eb80708b056434da576fcd134a0ec757dd8e4018d566e7e6512
-SIZE (cabal/fgl-5.7.0.3/fgl-5.7.0.3.tar.gz) = 56415
-SHA256 (cabal/fgl-5.7.0.3/revision/1.cabal) = 4787e28f252ee1bf99b9e3b18b5c2af9b1cdf7d77aae7916286e28412442ab34
-SIZE (cabal/fgl-5.7.0.3/revision/1.cabal) = 3801
+SHA256 (cabal/fgl-5.8.2.0/fgl-5.8.2.0.tar.gz) = 44cf0cf720f1d3fb31689cab219adf9b1a5367b3fbf4bd6678f4d156f3e8c3b6
+SIZE (cabal/fgl-5.8.2.0/fgl-5.8.2.0.tar.gz) = 57401
SHA256 (cabal/fgl-visualize-0.1.0.1/fgl-visualize-0.1.0.1.tar.gz) = b8e7f7b6a123ff22488f77a771cbd2cc285ef41299747662797abe9741778a6f
SIZE (cabal/fgl-visualize-0.1.0.1/fgl-visualize-0.1.0.1.tar.gz) = 2172
-SHA256 (cabal/free-5.1.10/free-5.1.10.tar.gz) = 12dea4ff94dd475d4249e93abb385d9c0399c13e3cb3f4132d316e0b32700e72
-SIZE (cabal/free-5.1.10/free-5.1.10.tar.gz) = 62439
+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/5.cabal) = 31e49c0d27e9a9493bf3196449501cf2c546e5e988574d64380518fed0ccc46e
+SIZE (cabal/free-5.2/revision/5.cabal) = 4176
SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332
SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756
SHA256 (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b
SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409
-SHA256 (cabal/hashable-1.4.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.7.0/hashable-1.4.7.0.tar.gz) = 3baee4c9027a08830d148ec524cbc0471de645e1e8426d46780ef2758df0e8da
+SIZE (cabal/hashable-1.4.7.0/hashable-1.4.7.0.tar.gz) = 89467
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/hedgehog-1.1.2/hedgehog-1.1.2.tar.gz) = e1c95456b3ddf815c4b863c8f8229e82548887d1835fdae4fc17433361397335
-SIZE (cabal/hedgehog-1.1.2/hedgehog-1.1.2.tar.gz) = 70805
-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/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/hedgehog-1.4/hedgehog-1.4.tar.gz) = f54afb31552e0f809030becad349cbfe19a65753a778771dc7314b2a6c41e6eb
+SIZE (cabal/hedgehog-1.4/hedgehog-1.4.tar.gz) = 77762
+SHA256 (cabal/hedgehog-1.4/revision/8.cabal) = 9860ab34ab3951d9515c71b777d8c9c47610aae7339933e17d26ad9a4afa5618
+SIZE (cabal/hedgehog-1.4/revision/8.cabal) = 4754
+SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
+SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
+SHA256 (cabal/hsc2hs-0.68.10/revision/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325
+SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032
+SHA256 (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22
+SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465
+SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1
+SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673
SHA256 (cabal/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/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262
-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/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/lifted-async-0.10.2.3/lifted-async-0.10.2.3.tar.gz) = 51ed64e9f5c9c585dc5897288977fca759eb2bdb22aae91f2ac37d962e3309cf
-SIZE (cabal/lifted-async-0.10.2.3/lifted-async-0.10.2.3.tar.gz) = 10685
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295
+SHA256 (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 8d2019e4a1060b88f2594df5256b086b07c09fff0f0dc5adf6163facee552fbf
+SIZE (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 28239
+SHA256 (cabal/kan-extensions-5.2.6/kan-extensions-5.2.6.tar.gz) = fa82283c1c9ac3dc0951b7ca9f5b2e6f13d8331c20154ebb222b509824eeeccc
+SIZE (cabal/kan-extensions-5.2.6/kan-extensions-5.2.6.tar.gz) = 21718
+SHA256 (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = df1e8ca8dd89d884994e0c80761a972088326fa43ed5d47c01b14abb710b994d
+SIZE (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = 703220
+SHA256 (cabal/lens-5.2.3/revision/5.cabal) = 08f4e81aa3fa3f175f6932089d6bb8b17669e3d00aa2968b853287e5e8d7f024
+SIZE (cabal/lens-5.2.3/revision/5.cabal) = 15237
+SHA256 (cabal/lifted-async-0.10.2.5/lifted-async-0.10.2.5.tar.gz) = 16a0d603a220724c013270cad78f56b8fc23ca428a9df844061ad32bc6961ed2
+SIZE (cabal/lifted-async-0.10.2.5/lifted-async-0.10.2.5.tar.gz) = 10796
+SHA256 (cabal/lifted-async-0.10.2.5/revision/1.cabal) = a04b215b289cdbe93a872a7d990cbff0da0f798f5675782e0601d9b18d15e1a3
+SIZE (cabal/lifted-async-0.10.2.5/revision/1.cabal) = 2877
SHA256 (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = c134a95f56750aae806e38957bb03c59627cda16034af9e00a02b699474317c5
SIZE (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = 11700
-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/memory-0.17.0/memory-0.17.0.tar.gz) = 3327e7bde8bf2c4c8ee405c890a69412bcc192fceb2c10525f3cc563f78e837a
-SIZE (cabal/memory-0.17.0/memory-0.17.0.tar.gz) = 41895
-SHA256 (cabal/memory-0.17.0/revision/1.cabal) = ebbd89ead51a2d80176ed2f842d4f7d8d7ac41843783aa429527fc69c471cbbf
-SIZE (cabal/memory-0.17.0/revision/1.cabal) = 4619
+SHA256 (cabal/math-functions-0.3.4.4/math-functions-0.3.4.4.tar.gz) = 2441d8dd50eff445356048b2a0cdf88c4a7ba0f56614293d4975e1b081faf8fa
+SIZE (cabal/math-functions-0.3.4.4/math-functions-0.3.4.4.tar.gz) = 429048
+SHA256 (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = a32257be847dbe71ac22d512ab115f9ce26fa08bcdbea7ca8b5256a1700dcbff
+SIZE (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = 64913
+SHA256 (cabal/memory-0.18.0/memory-0.18.0.tar.gz) = fd4eb6f638e24b81b4e6cdd68772a531726f2f67686c8969d3407d82f7862e3e
+SIZE (cabal/memory-0.18.0/memory-0.18.0.tar.gz) = 41957
SHA256 (cabal/mmorph-1.2.0/mmorph-1.2.0.tar.gz) = 61338058eb676b466a462ca45d59f436a77a3bd6b816e4268c6d88522b6a4280
SIZE (cabal/mmorph-1.2.0/mmorph-1.2.0.tar.gz) = 6861
SHA256 (cabal/mmorph-1.2.0/revision/3.cabal) = df9b213ec18f811cb3137b478d148f3f1680ee43f841cb775835fa282fdb0295
SIZE (cabal/mmorph-1.2.0/revision/3.cabal) = 1083
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/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/optparse-applicative-0.16.1.0/revision/2.cabal) = 418c22ed6a19124d457d96bc66bd22c93ac22fad0c7100fe4972bbb4ac989731
-SIZE (cabal/optparse-applicative-0.16.1.0/revision/2.cabal) = 4982
+SHA256 (cabal/mwc-probability-2.3.1/mwc-probability-2.3.1.tar.gz) = 3f8d997c6552786a87bfe4d7cc4af50fda2d5ef2feb96be4fe44649843dff795
+SIZE (cabal/mwc-probability-2.3.1/mwc-probability-2.3.1.tar.gz) = 7737
+SHA256 (cabal/mwc-random-0.15.1.0/mwc-random-0.15.1.0.tar.gz) = 032bf9bd65054dc0def9bf037ea6a8f91a5cefe77ada18bee98598b045c3e2c8
+SIZE (cabal/mwc-random-0.15.1.0/mwc-random-0.15.1.0.tar.gz) = 42553
+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/os-string-2.0.6/os-string-2.0.6.tar.gz) = 22fcc7d5fc66676b5dfc57b714d2caf93cce2d5a79d242168352f9eb0fe2f18a
+SIZE (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 44363
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/parallel-3.2.2.0/revision/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31
+SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942
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/parser-combinators-1.3.0/revision/1.cabal) = 8659573e0d443d573f5b53f81b81dafbdc988d282b90c11e3da73562b4ea7876
+SIZE (cabal/parser-combinators-1.3.0/revision/1.cabal) = 1640
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/primitive-0.7.4.0/revision/1.cabal) = c2f0ed97b3dce97f2f43b239c3be8b136e4368f1eb7b61322ee9ac98f604622b
-SIZE (cabal/primitive-0.7.4.0/revision/1.cabal) = 2982
-SHA256 (cabal/process-1.6.17.0/process-1.6.17.0.tar.gz) = 4c5c454e0f5c864c79b9fabd850307b26d8ac4037e45a6a39ab87e20b583bf06
-SIZE (cabal/process-1.6.17.0/process-1.6.17.0.tar.gz) = 87688
+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.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7
+SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580
+SHA256 (cabal/primitive-0.9.0.0/revision/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c
+SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171
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/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/recursion-schemes-5.2.2.3/recursion-schemes-5.2.2.3.tar.gz) = a9f20c6fecc0a304e27e362090fe344d7f31ddfd844002fd04751f8e8b1f4310
-SIZE (cabal/recursion-schemes-5.2.2.3/recursion-schemes-5.2.2.3.tar.gz) = 40629
-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/resourcet-1.2.6/resourcet-1.2.6.tar.gz) = f83b35b2106854750ef5f1c34695ea8b7bba6e0572cedf9f2993c5acfdb5fd34
-SIZE (cabal/resourcet-1.2.6/resourcet-1.2.6.tar.gz) = 17196
-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/selective-0.5/selective-0.5.tar.gz) = b0fda80309a83d8f9eed9b8798b3c8c6626600154948323a8d80ab8e2c2f8da3
-SIZE (cabal/selective-0.5/selective-0.5.tar.gz) = 34055
-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/semigroupoids-5.3.7/revision/1.cabal) = ac093739682f0dc7a37698b423590dc0f1ca89fed908fbbc5a73a44beefa7d18
-SIZE (cabal/semigroupoids-5.3.7/revision/1.cabal) = 7721
+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.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4
+SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229
+SHA256 (cabal/recursion-schemes-5.2.3/recursion-schemes-5.2.3.tar.gz) = 3b4e84bcec8d6ea5583388a9fc8b98255d39623d8420784a1a35fe46f4990e08
+SIZE (cabal/recursion-schemes-5.2.3/recursion-schemes-5.2.3.tar.gz) = 39351
+SHA256 (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 922e9ff67958ed1bca19000a9d59153ed3152ef775e9018d5853488e4f4189cd
+SIZE (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 18331
+SHA256 (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = ec601785ee42a201f32adb205b8685c983f18757b1bd33d2e806d571e0f9996b
+SIZE (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = 17620
+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/safe-exceptions-0.1.7.4/revision/1.cabal) = 8bb7261bd54bd58acfcb154be6a161fb6d0d31a1852aadc8e927d2ad2d7651d1
+SIZE (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 1412
+SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf
+SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314
+SHA256 (cabal/scientific-0.3.8.0/revision/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce
+SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380
+SHA256 (cabal/selective-0.7.0.1/selective-0.7.0.1.tar.gz) = dbfb4be71c7956f54e099c34ffe538dfaa99ed3911208df5828563da22b6aee3
+SIZE (cabal/selective-0.7.0.1/selective-0.7.0.1.tar.gz) = 36061
+SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f
+SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372
+SHA256 (cabal/semigroupoids-6.0.1/revision/1.cabal) = f65892f65f941c7368334bdfdcdb9db2ad3952502e94e88785a5a428fa2f3f4e
+SIZE (cabal/semigroupoids-6.0.1/revision/1.cabal) = 7539
SHA256 (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1
SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788
-SHA256 (cabal/shelly-1.10.0.1/shelly-1.10.0.1.tar.gz) = 7d54fc75f016bf7b756dfa9a1c56dab8e3fff7271b05dbc131b23f58cdf3a35a
-SIZE (cabal/shelly-1.10.0.1/shelly-1.10.0.1.tar.gz) = 73222
-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/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e
-SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537
-SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241
-SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488
-SHA256 (cabal/strict-0.4.0.1/revision/4.cabal) = d6205a748eb8db4cd17a7179be970c94598809709294ccfa43159c7f3cc4bf5d
-SIZE (cabal/strict-0.4.0.1/revision/4.cabal) = 4187
-SHA256 (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = f5e0fcf95f0bb4aa63f428f2c01955a41ea1a42cfcf39145ed631f59a9616c02
-SIZE (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = 9842
-SHA256 (cabal/tagged-0.8.6.1/revision/3.cabal) = 8a24aef29b8e35447ccc56658ea07c2aded30bfa8130ea057e382936e17c74a6
-SIZE (cabal/tagged-0.8.6.1/revision/3.cabal) = 2874
-SHA256 (cabal/terminal-size-0.3.3/terminal-size-0.3.3.tar.gz) = 8c174c8fa7200be2caffd6d25f789fd3c73f4b7b02989f332a42d7901fca60c3
-SIZE (cabal/terminal-size-0.3.3/terminal-size-0.3.3.tar.gz) = 4291
-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/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/time-1.12.2/time-1.12.2.tar.gz) = dba0b047a230e823ce08007b4a6c2cd0a1e9e899c148b72019511c0b71ebaf1e
-SIZE (cabal/time-1.12.2/time-1.12.2.tar.gz) = 126325
-SHA256 (cabal/tomland-1.3.3.2/tomland-1.3.3.2.tar.gz) = 95fbdb59d32adfafb4fad5475939badb407ea1e30324ab7d83c21e6bb6c45294
-SIZE (cabal/tomland-1.3.3.2/tomland-1.3.3.2.tar.gz) = 90337
+SHA256 (cabal/shelly-1.12.1/shelly-1.12.1.tar.gz) = 135a264422228c9b13232c28206ee9fb0498dd15767d6a9f857bb30202f80c77
+SIZE (cabal/shelly-1.12.1/shelly-1.12.1.tar.gz) = 75543
+SHA256 (cabal/shelly-1.12.1/revision/1.cabal) = 15de3321dbe61a4d8b0e3b723422c9a25e0d192fe9a353bc40ab0f05e06ae138
+SIZE (cabal/shelly-1.12.1/revision/1.cabal) = 5499
+SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
+SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
+SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b
+SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596
+SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b
+SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798
+SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2
+SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557
+SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7
+SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094
+SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32
+SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
+SHA256 (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = b0f070d6926cdaacf3a412c5518e5c23afca1e0ed00808a5328c96e468b67f49
+SIZE (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = 4457
+SHA256 (cabal/terminal-size-0.3.4/revision/1.cabal) = 21d7f1320eeb86177e860ec07a3d8e7510977b1b415a96ebb62ee4ad72955770
+SIZE (cabal/terminal-size-0.3.4/revision/1.cabal) = 1364
+SHA256 (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = b2854c612f2fa4adfa1ecbb4089a2211fd9cb3210aec17ba4a455ae486b22721
+SIZE (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = 49904
+SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de
+SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906
+SHA256 (cabal/these-1.2.1/revision/1.cabal) = c04f573531b37864506b071046e010a7a6aad11650cf895467f9f279d0130b8b
+SIZE (cabal/these-1.2.1/revision/1.cabal) = 2279
+SHA256 (cabal/tomland-1.3.3.3/tomland-1.3.3.3.tar.gz) = a0992bea52a636e2aa2597b0ab25c54f0fb389e0052fe5a6436fe53acef956ab
+SIZE (cabal/tomland-1.3.3.3/tomland-1.3.3.3.tar.gz) = 90749
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/unix-2.7.3/unix-2.7.3.tar.gz) = 4625c2916545678e20715c4a043e002a4511fc301b4791cc8e7b33c317c42f30
-SIZE (cabal/unix-2.7.3/unix-2.7.3.tar.gz) = 141083
-SHA256 (cabal/unix-compat-0.6/unix-compat-0.6.tar.gz) = b4cd823a6543ad3aca8e740ecf5f44aabde60f1452b5a55655db5c8b7a44d5f8
-SIZE (cabal/unix-compat-0.6/unix-compat-0.6.tar.gz) = 15777
-SHA256 (cabal/unix-compat-0.6/revision/1.cabal) = 0f5d0929d838077909d397c7c83b711b89db4ed3d4dafea46af19c04b389b53c
-SIZE (cabal/unix-compat-0.6/revision/1.cabal) = 3583
+SHA256 (cabal/unix-compat-0.7.2/unix-compat-0.7.2.tar.gz) = 58382c354e9b16a05b427a62f52b60fbc4406ad357bcc951cb76d4134fa6690b
+SIZE (cabal/unix-compat-0.7.2/unix-compat-0.7.2.tar.gz) = 15470
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/1.cabal) = 9fc3506770b16cdc73114307f854d56ddb96c7b930e7a5ed9b48cd0a8f33fca6
-SIZE (cabal/unliftio-core-0.2.1.0/revision/1.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/validation-selective-0.1.0.2/validation-selective-0.1.0.2.tar.gz) = 016fde31529afad0cfe70ec3215fa85e38147582248696af6b135df950655bbf
-SIZE (cabal/validation-selective-0.1.0.2/validation-selective-0.1.0.2.tar.gz) = 22324
-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/2.cabal) = a1e8aff02a45115dec8997c50fd4ea6a24742cbccaa0f1282fdbb4725f60a6a5
-SIZE (cabal/vector-0.13.0.0/revision/2.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/unliftio-core-0.2.1.0/revision/4.cabal) = f6a2736f858b5390d9384dca43d3ea4d96e9ca17217791791ca4951ba6e8072a
+SIZE (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = 996
+SHA256 (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d
+SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823
+SHA256 (cabal/unordered-containers-0.2.20/revision/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc
+SIZE (cabal/unordered-containers-0.2.20/revision/3.cabal) = 3921
+SHA256 (cabal/validation-selective-0.2.0.0/validation-selective-0.2.0.0.tar.gz) = 9a884e97e6a64f2cacadec8d5ea7e8ba7562d0c8fa9ab7cd5c34055eaec64987
+SIZE (cabal/validation-selective-0.2.0.0/validation-selective-0.2.0.0.tar.gz) = 22397
+SHA256 (cabal/validation-selective-0.2.0.0/revision/4.cabal) = cc847f1a110e3b1bd437a5356f115881b61cafcb11781b570b180efd88bf0907
+SIZE (cabal/validation-selective-0.2.0.0/revision/4.cabal) = 3917
+SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
+SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
+SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d
+SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015
+SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c
+SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577
+SHA256 (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f
+SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583
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/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 6b662b244b2e318a2923dc7057d707369a29ea4a0e721b4710eac7239cc727af
SIZE (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 15458
-SHA256 (cabal/wl-pprint-annotated-0.1.0.1/revision/1.cabal) = e7c27191da90d1db047f74dc3d4ca73e5696dfe19e358b014752658da37e3fe2
-SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/1.cabal) = 2296
-SHA256 (cabal/ymherklotz-verismith-v1.0.0.2-39-g2523998_GH0.tar.gz) = 34c2c594ec5adf72dc86c25774024907b6f8245d2f7c3d37df6b7dcf2e67c47e
-SIZE (cabal/ymherklotz-verismith-v1.0.0.2-39-g2523998_GH0.tar.gz) = 128711
-SHA256 (cabal/ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch) = 1efcf8f14281300753aacaea2723e8b03c16f1977f29ca63abaf829fb376d641
-SIZE (cabal/ea76f79b0b3366ab376b75ec8e7894ee5fccdc55.patch) = 843
+SHA256 (cabal/wl-pprint-annotated-0.1.0.1/revision/3.cabal) = 79d12e6d7302c8bea0986cb713fcbfc33225cca3ee158ac741cf1a468f5ed8bc
+SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/3.cabal) = 2296
+SHA256 (cabal/ymherklotz-verismith-v1.0.0.2-40-g866707b_GH0.tar.gz) = ec9a814b706df602fc7bd000089736c498441d27c1b5fa00de47e329dbef63d0
+SIZE (cabal/ymherklotz-verismith-v1.0.0.2-40-g866707b_GH0.tar.gz) = 208481
diff --git a/cad/hs-verismith/pkg-descr b/cad/hs-verismith/pkg-descr
index 98e4451906a1..7f67737fbf9b 100644
--- a/cad/hs-verismith/pkg-descr
+++ b/cad/hs-verismith/pkg-descr
@@ -1,2 +1,2 @@
-verismith is a Verilog fuzzer to test the major simulators and sythesisers by
-generating random, valid Verilog.
+verismith is a Verilog fuzzer to test the major simulators and sythesisers
+by generating random, valid Verilog.