git: 43f2aa822239 - main - security/hs-cryptol: update 3.0.0 → 3.1.0

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 06 Feb 2024 06:49:33 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=43f2aa8222394e588200896dc6aa03cc49513989

commit 43f2aa8222394e588200896dc6aa03cc49513989
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-02-06 05:09:11 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-02-06 06:49:25 +0000

    security/hs-cryptol: update 3.0.0 → 3.1.0
---
 security/hs-cryptol/Makefile | 162 ++++++++++----------
 security/hs-cryptol/distinfo | 350 ++++++++++++++++++++++++-------------------
 2 files changed, 283 insertions(+), 229 deletions(-)

diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
index 88766017e12d..8f83c985eac0 100644
--- a/security/hs-cryptol/Makefile
+++ b/security/hs-cryptol/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	cryptol
-DISTVERSION=	3.0.0
+DISTVERSION=	3.1.0
 CATEGORIES=	security lang haskell
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -20,135 +20,141 @@ USES=		cabal
 
 CABAL_FLAGS=	-relocatable
 
-USE_CABAL=      BoundedChan-1.0.3.0 \
+USE_CABAL=	BoundedChan-1.0.3.0 \
 		GraphSCC-1.0.4 \
-		MemoTrie-0.6.10 \
-		OneTuple-0.4.1.1 \
+		MemoTrie-0.6.11 \
+		OneTuple-0.4.1.1_1 \
 		QuickCheck-2.14.3 \
 		StateVar-1.2.2 \
-		adjunctions-4.4.2_1 \
-		aeson-2.1.2.1_3 \
-		alex-3.4.0.0 \
-		ansi-terminal-1.0 \
+		adjunctions-4.4.2_2 \
+		aeson-2.2.1.0_1 \
+		alex-3.5.0.0 \
+		ansi-terminal-1.0.2 \
 		ansi-terminal-types-0.11.5_1 \
-		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.8.2 \
-		bifunctors-5.6.1 \
+		arithmoi-0.13.0.0_3 \
+		assoc-1.1_1 \
+		async-2.2.5 \
+		attoparsec-0.14.4_5 \
+		base-compat-0.12.3 \
+		base-compat-batteries-0.12.3 \
+		base-orphans-0.9.1 \
+		bifunctors-5.6.1_2 \
 		bimap-0.5.0 \
-		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_4 \
-		bv-sized-1.0.5 \
+		bitwise-1.0.0.1_9 \
+		blaze-builder-0.4.2.3 \
+		blaze-html-0.9.1.2_4 \
+		blaze-markup-0.8.3.0_1 \
+		boring-0.2.1_1 \
+		bv-sized-1.0.5_1 \
 		call-stack-0.4.0 \
 		case-insensitive-1.2.1.0 \
-		chimera-0.3.3.0 \
-		clock-0.8.3 \
+		chimera-0.4.0.0 \
+		clock-0.8.4 \
 		colour-2.3.6 \
-		comonad-5.0.8_1 \
+		comonad-5.0.8_2 \
 		concurrent-extra-0.7.0.12 \
-		config-value-0.8.3_3 \
-		constraints-0.13.4 \
+		config-value-0.8.3_5 \
+		constraints-0.14 \
 		contravariant-1.5.5 \
 		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 \
+		cryptohash-sha1-0.11.101.0_3 \
+		data-array-byte-0.1.0.1_2 \
+		data-fix-0.3.2_5 \
+		deriving-compat-0.6.5_1 \
 		distributive-0.6.2.1_1 \
-		dlist-1.0 \
+		dlist-1.0_1 \
 		exact-pi-0.5.0.2 \
-		extra-1.7.13 \
+		extra-1.7.14 \
 		fingertree-0.1.5.0 \
-		foldable1-classes-compat-0.1_2 \
-		free-5.2_1 \
-		generically-0.1.1_1 \
+		foldable1-classes-compat-0.1_4 \
+		free-5.2_3 \
+		generically-0.1.1_2 \
 		gitrev-1.3.1 \
 		happy-1.20.1.1 \
-		hashable-1.4.2.0_1 \
+		hashable-1.4.3.0_1 \
 		hashtables-1.3.1 \
 		haskell-lexer-1.1.1 \
 		heredoc-0.2.0.0 \
-		hgmp-0.1.2.1 \
-		hsc2hs-0.68.9 \
+		hgmp-0.1.2.1_2 \
+		hsc2hs-0.68.10_1 \
 		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 \
+		indexed-traversable-0.1.3 \
+		indexed-traversable-instances-0.1.1.2_2 \
+		infinite-list-0.1.1 \
+		integer-conversion-0.1.0.1_1 \
+		integer-logarithms-1.0.3.1_5 \
 		integer-roots-1.0.2.0_1 \
-		invariant-0.6.1 \
-		io-streams-1.5.2.2_1 \
-		kan-extensions-5.2.5_1 \
+		invariant-0.6.2_1 \
+		io-streams-1.5.2.2_3 \
+		kan-extensions-5.2.5_2 \
 		language-c99-0.2.0 \
-		language-c99-simple-0.2.2 \
+		language-c99-simple-0.3.0 \
 		language-c99-util-0.2.0 \
-		lens-5.2.2 \
-		libBF-0.6.5.1 \
+		lens-5.2.3_2 \
+		libBF-0.6.7 \
 		libffi-0.2.1 \
-		megaparsec-9.4.1 \
+		megaparsec-9.6.1 \
 		mod-0.2.0.1 \
 		monad-control-1.0.3.1 \
 		monadLib-3.10.1 \
-		network-3.1.4.0 \
+		network-3.1.4.0_1 \
+		network-uri-2.6.4.2_1 \
 		newtype-generics-0.6.2_2 \
 		numtype-dk-0.5.0.3 \
 		optparse-applicative-0.18.1.0 \
 		ordered-containers-0.2.3 \
 		panic-0.4.0.1 \
-		parallel-3.2.2.0_6 \
-		parameterized-utils-2.1.6.0_1 \
-		parser-combinators-1.3.0 \
+		parallel-3.2.2.0_7 \
+		parameterized-utils-2.1.8.0 \
+		parser-combinators-1.3.0_1 \
 		pretty-show-1.10 \
 		prettyprinter-1.7.1 \
 		prettyprinter-ansi-terminal-1.1.3 \
-		primitive-0.8.0.0 \
+		primitive-0.9.0.0 \
 		profunctors-5.6.2_3 \
-		random-1.2.1.1 \
-		reflection-2.1.7 \
+		random-1.2.1.2 \
+		reflection-2.1.7_1 \
 		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 \
+		safe-exceptions-0.1.7.4_1 \
+		sbv-10.2_1 \
+		scientific-0.3.7.0_7 \
+		semialign-1.3_1 \
+		semigroupoids-6.0.0.1_1 \
 		semigroups-0.20 \
 		semirings-0.6_1 \
 		simple-smt-0.9.7 \
-		splitmix-0.1.0.4_2 \
-		strict-0.5 \
-		syb-0.7.2.3 \
-		tagged-0.8.7 \
+		splitmix-0.1.0.5 \
+		strict-0.5_1 \
+		syb-0.7.2.4 \
+		tagged-0.8.8 \
 		temporary-1.3 \
-		text-short-0.1.5_2 \
+		text-iso8601-0.1_1 \
+		text-short-0.1.5_3 \
 		tf-random-0.5 \
-		th-abstraction-0.4.5.0_1 \
-		th-lift-0.8.3 \
+		th-abstraction-0.6.0.0_1 \
+		th-compat-0.1.4_4 \
+		th-lift-0.8.4 \
 		th-lift-instances-0.1.20 \
-		these-1.2 \
-		time-compat-1.9.6.1_5 \
+		these-1.2_1 \
+		time-compat-1.9.6.1_6 \
 		transformers-base-0.4.6 \
 		transformers-compat-0.7.2 \
-		type-equality-1_5 \
+		type-equality-1_6 \
 		unbounded-delays-0.1.1.1 \
 		uniplate-1.6.13_1 \
 		unliftio-0.2.25.0 \
-		unliftio-core-0.2.1.0_2 \
-		unordered-containers-0.2.19.1_2 \
+		unliftio-core-0.2.1.0_3 \
+		unordered-containers-0.2.20_1 \
 		utf8-string-1.0.2 \
-		uuid-types-1.0.5_4 \
-		vector-0.13.0.0_3 \
-		vector-stream-0.1.0.0_2 \
-		versions-5.0.5 \
+		uuid-types-1.0.5.1 \
+		vector-0.13.1.0 \
+		vector-stream-0.1.0.1 \
+		versions-6.0.5 \
 		void-0.7.3 \
-		what4-1.4 \
+		what4-1.5.1 \
 		witherable-0.4.2_4 \
 		zenc-0.1.2 \
-		zlib-0.6.3.0_1 \
+		zlib-0.6.3.0_4 \
 		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 cea8d11ea8b4..550f04b82e84 100644
--- a/security/hs-cryptol/distinfo
+++ b/security/hs-cryptol/distinfo
@@ -1,146 +1,160 @@
-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
+TIMESTAMP = 1707189829
+SHA256 (cabal/cryptol-3.1.0/cryptol-3.1.0.tar.gz) = f2590f15b0119de5510eca2d02a58a399771bf4224f5a3cc9b8ec90aeb050b03
+SIZE (cabal/cryptol-3.1.0/cryptol-3.1.0.tar.gz) = 547016
 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/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = f7a6abf136eac1c6b370678e14e9519ed88c0c2adf75f06d6855b464db0c2420
+SIZE (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = 8369
 SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b
 SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601
+SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
+SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575
 SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501
 SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849
 SHA256 (cabal/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/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/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d
+SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379
+SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f
+SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
+SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
+SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
+SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed
+SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601
+SHA256 (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 46e516cbf66c7807940ba9896c2d71ba5ffdaa35a4fb80dea9313703efa8d834
+SIZE (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 33561
 SHA256 (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = bf7b230389f43105100a6d5740822598a88b38eaaf7d042de595ccf72db4fdd1
 SIZE (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = 4660
 SHA256 (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a
 SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482
-SHA256 (cabal/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/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 4c4b5bb212e91d63d0abcdc2c00b7f53e116428bfe04f2ee016d83fa50779d2d
+SIZE (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 186134
+SHA256 (cabal/arithmoi-0.13.0.0/revision/3.cabal) = 74bca83e5b0f06ef27ba1dcfcb937123fb0458a45e82c5aba31563fa6f3b0ded
+SIZE (cabal/arithmoi-0.13.0.0/revision/3.cabal) = 7818
 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/3.cabal) = 46367dc0c8326dcbeb7b93f200b567491c2f6029bccf822b8bb26ee660397e08
-SIZE (cabal/async-2.2.4/revision/3.cabal) = 3112
+SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
+SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617
+SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
+SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
 SHA256 (cabal/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/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.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/attoparsec-0.14.4/revision/5.cabal) = ec709539b881d6431620bd7c40fbfa680aaf4a98c6f35b51536d8f455682b1ae
+SIZE (cabal/attoparsec-0.14.4/revision/5.cabal) = 5703
+SHA256 (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d
+SIZE (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = 36583
+SHA256 (cabal/base-compat-batteries-0.12.3/base-compat-batteries-0.12.3.tar.gz) = 207679ae32d9431bbc142e317837d6fa316da7395b150bd205e6da1ae21a5faf
+SIZE (cabal/base-compat-batteries-0.12.3/base-compat-batteries-0.12.3.tar.gz) = 18251
+SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172
+SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418
 SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc
 SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170
+SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755
+SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
 SHA256 (cabal/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/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
-SIZE (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = 3685
+SHA256 (cabal/bitwise-1.0.0.1/revision/9.cabal) = 805aeb3ccd9d80398665c162647a5cb1d2f61d799720d8c84ee5bbe98db981f5
+SIZE (cabal/bitwise-1.0.0.1/revision/9.cabal) = 3110
+SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b
+SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777
 SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c
 SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617
-SHA256 (cabal/blaze-html-0.9.1.2/revision/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/4.cabal) = a8fe050fb93397df36c3f5b19c22628e0e54446382e0f6775e2b45c1ad999eee
-SIZE (cabal/blaze-markup-0.8.2.8/revision/4.cabal) = 2271
+SHA256 (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450
+SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020
+SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
+SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
+SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9
+SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276
+SHA256 (cabal/boring-0.2.1/boring-0.2.1.tar.gz) = b1ffddf0f9d50ac8742aa01b270856d57937cc8f7aae783e3b5f3abee7aa3154
+SIZE (cabal/boring-0.2.1/boring-0.2.1.tar.gz) = 5668
+SHA256 (cabal/boring-0.2.1/revision/1.cabal) = 9e2566d93e8db00ea7c428bf6a4052f8479ef6b6a86294d65c6086d45a842e4b
+SIZE (cabal/boring-0.2.1/revision/1.cabal) = 2123
 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/bv-sized-1.0.5/revision/1.cabal) = f6a12df8c83a0aa9dbbd1413a4d53c5223c7fde6faf1bcb458e3be82ade8709e
+SIZE (cabal/bv-sized-1.0.5/revision/1.cabal) = 2162
 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.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/chimera-0.4.0.0/chimera-0.4.0.0.tar.gz) = 079b457ecc2233d0b4c7ef7ce4340c334228326a1a828b480b8284907a8e9c3b
+SIZE (cabal/chimera-0.4.0.0/chimera-0.4.0.0.tar.gz) = 22714
+SHA256 (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 6ae9898afe788a5e334cd5fad5d18a3c2e8e59fa09aaf7b957dbb38a4767df2e
+SIZE (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 9322
 SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871
 SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
 SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
 SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
-SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e
-SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631
+SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
+SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
 SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e6db9e0147de9929661759930f1566a7250add4c7f65b04dc6e070c991df9
 SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844
 SHA256 (cabal/config-value-0.8.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/config-value-0.8.3/revision/5.cabal) = 570fb6583bfa37aa89e0642366b4f80b65b084d83b79c5158b479e62125f3d95
+SIZE (cabal/config-value-0.8.3/revision/5.cabal) = 1983
+SHA256 (cabal/constraints-0.14/constraints-0.14.tar.gz) = b809322abced0f6b6bf4ceed9e4e823bfdeda808664563b860add1dff3cdc4a5
+SIZE (cabal/constraints-0.14/constraints-0.14.tar.gz) = 20946
 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/2.cabal) = 25be9e5bb979c1b96d7695d9cbb6a40ec345025e7a100b2d71d499812c2e89ec
-SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/2.cabal) = 3094
+SHA256 (cabal/cryptohash-sha1-0.11.101.0/revision/3.cabal) = bc5d3373ed5bbfd34b9deea62dc3b2ba21dde5b89e41d2a2399de7562543c621
+SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/3.cabal) = 3064
 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-array-byte-0.1.0.1/revision/2.cabal) = ad89e28b2b046175698fbf542af2ce43e5d2af50aae9f48d12566b1bb3de1d3c
+SIZE (cabal/data-array-byte-0.1.0.1/revision/2.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/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1
+SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734
+SHA256 (cabal/deriving-compat-0.6.5/deriving-compat-0.6.5.tar.gz) = 47412ecf53461a43d4cc2b705cbc9bb4a958bff7b9008a2582c26b73df5532f3
+SIZE (cabal/deriving-compat-0.6.5/deriving-compat-0.6.5.tar.gz) = 74588
+SHA256 (cabal/deriving-compat-0.6.5/revision/1.cabal) = 21457d9b8f1cb3797886eb8fa4777273d593326eb130119c0a598e54ccd97324
+SIZE (cabal/deriving-compat-0.6.5/revision/1.cabal) = 9527
 SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
 SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140
 SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
 SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
 SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
 SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
+SHA256 (cabal/dlist-1.0/revision/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568
+SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812
 SHA256 (cabal/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.13/extra-1.7.13.tar.gz) = bdeac5b0316ce4649faae02f7b79cef2bf59a7ddae6dc1c0e3d6c0667a5c7b67
-SIZE (cabal/extra-1.7.13/extra-1.7.13.tar.gz) = 45981
+SHA256 (cabal/extra-1.7.14/extra-1.7.14.tar.gz) = b6a909f8f0e4b8076a1653b4d34815a782f0a8c1e83d5267f4d00496471ef567
+SIZE (cabal/extra-1.7.14/extra-1.7.14.tar.gz) = 45971
 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/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/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
+SIZE (cabal/foldable1-classes-compat-0.1/revision/4.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/free-5.2/revision/3.cabal) = 4dd76c1a19f81d7866e7b75682350f1ef3e0441b19b4d07eccdd9ef326a0be70
+SIZE (cabal/free-5.2/revision/3.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/generically-0.1.1/revision/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
+SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169
 SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332
 SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756
 SHA256 (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b
 SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409
-SHA256 (cabal/hashable-1.4.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/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5
+SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
+SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
+SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
 SHA256 (cabal/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
@@ -149,48 +163,62 @@ SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be51084
 SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449
 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/hgmp-0.1.2.1/revision/2.cabal) = b3eb47429c31be3cac8b124cc0e1836fc9d7ca149c13c896362e95bbce03c696
+SIZE (cabal/hgmp-0.1.2.1/revision/2.cabal) = 2475
+SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
+SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
+SHA256 (cabal/hsc2hs-0.68.10/revision/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d
+SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013
 SHA256 (cabal/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-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
+SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
 SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
 SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769
-SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/1.cabal) = b493ed83623a7cba498d31a9d36beec233406f20377f1be3bb51d4ce3bd2ceef
-SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/1.cabal) = 2536
+SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550
+SHA256 (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = be6844861a29100031bc192cb846c403adb2bb1ea0ce0b65c26530671100afa8
+SIZE (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = 21953
+SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39
+SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166
+SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14
+SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250
 SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f
 SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023
-SHA256 (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278
 SHA256 (cabal/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/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/invariant-0.6.2/invariant-0.6.2.tar.gz) = c36485e8088a57e9df1a93881211a1c09e8920ce1b14bfa141cac9f75b7ee108
+SIZE (cabal/invariant-0.6.2/invariant-0.6.2.tar.gz) = 28199
+SHA256 (cabal/invariant-0.6.2/revision/1.cabal) = 4338158fe36c3ff9ee741eeff79cb886222cab9da3f476071956cb01b0d9bbff
+SIZE (cabal/invariant-0.6.2/revision/1.cabal) = 3617
 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/io-streams-1.5.2.2/revision/3.cabal) = 4c2c45cfd936e84696b0ecbb934fbdc661613fd5047d99049d59e186b7ab47a0
+SIZE (cabal/io-streams-1.5.2.2/revision/3.cabal) = 9709
 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/kan-extensions-5.2.5/revision/1.cabal) = 22e283da87daaafd3caa5de9cf0661f01971cebcb35d93c4d8241c3edfae6ce5
-SIZE (cabal/kan-extensions-5.2.5/revision/1.cabal) = 3066
+SHA256 (cabal/kan-extensions-5.2.5/revision/2.cabal) = fbdba767565f40faf515b044a774cc3b371eb6ce8a082d9f659411cea88698cf
+SIZE (cabal/kan-extensions-5.2.5/revision/2.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-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 7275797bd2cfd4799ae0094ecd9da4e9333d12defd396277ac403343e542e06e
+SIZE (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 8293
 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/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/2.cabal) = 637287c76adff383063b3206a4213640de1a74839ec16008cc71b5b407f7d05e
+SIZE (cabal/lens-5.2.3/revision/2.cabal) = 15237
+SHA256 (cabal/libBF-0.6.7/libBF-0.6.7.tar.gz) = 09ccce06bbff1cbd7520e10219e3d689ee628d9d9463206235990fdb31fcaa4d
+SIZE (cabal/libBF-0.6.7/libBF-0.6.7.tar.gz) = 76750
 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/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/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
@@ -199,6 +227,12 @@ SHA256 (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = e89c8562173f1ab0f78b892e
 SIZE (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = 11462
 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/network-3.1.4.0/revision/1.cabal) = e152cdb03243afb52bbc740cfbe96905ca298a6f6342f0c47b3f2e227ff19def
+SIZE (cabal/network-3.1.4.0/revision/1.cabal) = 5208
+SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228
+SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
+SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
+SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
 SHA256 (cabal/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/2.cabal) = 81cbf377241a186ac210bb60417ac3a23ea576257b01ec7be7051790b225daeb
@@ -213,44 +247,54 @@ SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14
 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/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/parallel-3.2.2.0/revision/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4
+SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926
+SHA256 (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = d5490d64345878d16d0573411e4ab9cfb10af9fdb9668086b75be6c26dcbd408
+SIZE (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = 100939
 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/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/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/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/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/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/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/reflection-2.1.7/revision/1.cabal) = f2b5b3f0983a605d16e53af489ebba62967d2c80353473ca66cc1734222b3a04
+SIZE (cabal/reflection-2.1.7/revision/1.cabal) = 4518
 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/safe-exceptions-0.1.7.4/revision/1.cabal) = 8bb7261bd54bd58acfcb154be6a161fb6d0d31a1852aadc8e927d2ad2d7651d1
+SIZE (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 1412
+SHA256 (cabal/sbv-10.2/sbv-10.2.tar.gz) = 7f825c9f128e34085527e68ff08e49e4b73f60b868abf682896d78e7a4cc51e1
+SIZE (cabal/sbv-10.2/sbv-10.2.tar.gz) = 1046101
+SHA256 (cabal/sbv-10.2/revision/1.cabal) = 441c45528b62ede816027eccba9af46b68cdba1cbe5470829ffbbd4aeecb126e
+SIZE (cabal/sbv-10.2/revision/1.cabal) = 25845
 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/5.cabal) = 26d8109106963a345368011081453d25ee1dfa6afae2b1f57b426b4bcd392d91
-SIZE (cabal/scientific-0.3.7.0/revision/5.cabal) = 4854
+SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2
+SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869
 SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
 SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
+SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223
+SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888
 SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934
 SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222
+SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5
+SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465
 SHA256 (cabal/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
@@ -259,46 +303,56 @@ SHA256 (cabal/semirings-0.6/revision/1.cabal) = cc8767bc62b9ff7bbef070ac206b070b
 SIZE (cabal/semirings-0.6/revision/1.cabal) = 2668
 SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
 SIZE (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 10177
-SHA256 (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 6d065402394e7a9117093dbb4530a21342c9b1e2ec509516c8a8d0ffed98ecaa
-SIZE (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 22382
-SHA256 (cabal/splitmix-0.1.0.4/revision/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e
-SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537
+SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
+SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
 SHA256 (cabal/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
 SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
-SHA256 (cabal/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/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d
+SIZE (cabal/strict-0.5/revision/1.cabal) = 4120
+SHA256 (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = ec7c1e8822d62ab910386361cdcee40a22a26cd344c34741fadd982302291e60
+SIZE (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = 41809
+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/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890
 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686
+SHA256 (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf
+SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578
+SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76
+SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407
 SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda
 SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113
-SHA256 (cabal/text-short-0.1.5/revision/2.cabal) = c296eb2289dc5bf39912989c295cb82ef05ae5f84ee83ea5dc21f48da80e7052
-SIZE (cabal/text-short-0.1.5/revision/2.cabal) = 3202
+SHA256 (cabal/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190
+SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216
 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-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-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30
+SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152
+SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c
+SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303
+SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8
+SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838
+SHA256 (cabal/th-compat-0.1.4/revision/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37
+SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224
+SHA256 (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = f9c577238d4ba65fe3e78bc77f0cca54f17d02c0f6075b2487da5c63bdb4a61b
+SIZE (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = 14711
 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.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
 SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
+SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e
+SIZE (cabal/these-1.2/revision/1.cabal) = 2882
 SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80
 SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964
-SHA256 (cabal/time-compat-1.9.6.1/revision/5.cabal) = dd4de1fa0d6b7108982efc7ac41938569e4c9b06230bb87d34aae007c52ddb67
-SIZE (cabal/time-compat-1.9.6.1/revision/5.cabal) = 5062
+SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52
+SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076
 SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
 SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
 SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
 SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
 SHA256 (cabal/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/5.cabal) = 556006736473a9a4434591812e7106b1db2389faf364a9eaf87d5b4305921b56
-SIZE (cabal/type-equality-1/revision/5.cabal) = 1625
+SHA256 (cabal/type-equality-1/revision/6.cabal) = ebf53eaf3881b946d4ab56112a19f8b635c0f19cb5252c08fbf2588bc1ea22a5
+SIZE (cabal/type-equality-1/revision/6.cabal) = 1639
 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
@@ -309,32 +363,26 @@ SHA256 (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = fb85a22291e78f9e58cd
 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/2.cabal) = 9ad8972c2e913c37b1d4f0e1261517fd7a1b8c8a58077e057be69837e3dbaa00
-SIZE (cabal/unordered-containers-0.2.19.1/revision/2.cabal) = 3822
+SHA256 (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 28800633b20e0f7bfbdda1248c28022749aa0935aea10b1e3fc9c88cbebb06de
+SIZE (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 1004
+SHA256 (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d
+SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823
+SHA256 (cabal/unordered-containers-0.2.20/revision/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff
+SIZE (cabal/unordered-containers-0.2.20/revision/1.cabal) = 3921
 SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
 SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
-SHA256 (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = ad68b89b7a64c07dd5c250a11be2033ee929318ff51ec7b4e4b54e1b4deba7dd
-SIZE (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = 11922
-SHA256 (cabal/uuid-types-1.0.5/revision/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/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c
+SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965
+SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
+SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
+SHA256 (cabal/vector-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/versions-6.0.5/versions-6.0.5.tar.gz) = 413947bc1b3bfe11f3f96c3295634738e7531e295675d504b06fc02a47962f32
+SIZE (cabal/versions-6.0.5/versions-6.0.5.tar.gz) = 19063
 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.4/what4-1.4.tar.gz) = 2b113377419ff425b4a63b33184acc1bd40b853b42c3d5a2416f74625970bbb2
-SIZE (cabal/what4-1.4/what4-1.4.tar.gz) = 419883
+SHA256 (cabal/what4-1.5.1/what4-1.5.1.tar.gz) = 35775a0f26ae31148b298307bce4f1b0796a22a1f307361dd8347ddaaf3f3108
+SIZE (cabal/what4-1.5.1/what4-1.5.1.tar.gz) = 421304
 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
@@ -343,8 +391,8 @@ SHA256 (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = b917a9d54a992b163aeb3c065a5199ad1a
 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-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
+SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325
 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