4 files changed, 108 insertions, 64 deletions

diff --git a/math/hs-penrose/Makefile b/math/hs-penrose/Makefile
index 579b072e466e..7841abd730b3 100644
--- a/math/hs-penrose/Makefile
+++ b/math/hs-penrose/Makefile
@@ -4,7 +4,9 @@ PORTNAME=	penrose
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.1-737
 DISTVERSIONSUFFIX=	-gb336c8d
+PORTREVISION=	1
 CATEGORIES=	math haskell
+EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Create diagrams by typing mathematical notation in plain text
@@ -12,27 +14,26 @@ COMMENT=	Create diagrams by typing mathematical notation in plain text
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
-BUILD_DEPENDS=	hs-network==2.8.0.1:net/hs-network
 LIB_DEPENDS=	libgfortran.so:lang/gcc${GCC_DEFAULT}
 
 USES=		blaslapack cabal
 USE_GITHUB=	yes
-USE_CABAL=	\
-		MonadRandom-0.5.1.2 \
+USE_CABAL=	MonadRandom-0.5.1.2 \
 		SHA-1.6.4.4 \
 		StateVar-1.2 \
 		ad-4.4 \
-		aeson-1.4.6.0 \
+		aeson-1.4.7.1_1 \
 		alex-3.2.5 \
 		ansi-terminal-0.10.3 \
 		appar-0.1.8 \
 		asn1-encoding-0.9.6_1 \
 		asn1-parse-0.9.5 \
-		asn1-types-0.3.3 \
-		async-2.2.2 \
-		attoparsec-0.13.2.3_1 \
+		asn1-types-0.3.4 \
+		async-2.2.2_1 \
+		attoparsec-0.13.2.4 \
 		auto-update-0.1.6 \
 		base-compat-0.11.1 \
+		base-compat-batteries-0.11.1 \
 		base-orphans-0.8.2 \
 		base64-bytestring-1.0.0.3 \
 		basement-0.0.11_2 \
@@ -48,40 +49,41 @@ USE_CABAL=	\
 		comonad-5.0.6 \
 		contravariant-1.5.2 \
 		cookie-0.4.5 \
-		cryptohash-md5-0.11.100.1_4 \
-		cryptohash-sha1-0.11.100.1_4 \
+		cryptohash-md5-0.11.100.1_5 \
+		cryptohash-sha1-0.11.100.1_5 \
 		cryptonite-0.26 \
 		data-default-class-0.1.2.0 \
 		data-reify-0.6.1_1 \
-		distributive-0.6.1 \
-		dlist-0.8.0.7 \
+		distributive-0.6.2 \
+		dlist-0.8.0.8 \
 		docopt-0.7.0.5 \
 		easy-file-0.2.2 \
-		entropy-0.4.1.5 \
+		entropy-0.4.1.6 \
 		erf-2.0.0.0 \
-		exceptions-0.10.4 \
+		exceptions-0.10.4_1 \
 		extra-1.7.1 \
 		fail-4.9.0.0 \
 		fast-logger-3.0.1 \
 		free-5.1.3 \
 		happy-1.19.12 \
-		hashable-1.3.0.0 \
+		hashable-1.3.0.0_1 \
 		haskell-lexer-1.1 \
 		hmatrix-0.20.0.0 \
 		hourglass-0.2.12 \
-		hsc2hs-0.68.6 \
-		hslogger-1.3.1.0 \
+		hslogger-1.3.1.0_1 \
+		hsc2hs-0.68.7 \
 		http-date-0.0.8 \
 		http-types-0.12.3 \
-		http2-2.0.3 \
+		http2-2.0.4 \
 		integer-logarithms-1.0.3_2 \
-		iproute-1.7.8 \
+		iproute-1.7.9 \
 		megaparsec-8.0.0 \
 		memory-0.15.0_1 \
 		monad-control-1.0.2.3 \
 		multimap-1.2.1 \
 		nats-1.1.2_3 \
-		network-bsd-2.8.0.0 \
+		network-3.1.1.1 \
+		network-bsd-2.8.1.0_3 \
 		network-byte-order-0.1.4.0 \
 		network-info-0.2.0.10_1 \
 		old-locale-1.0.0.7_2 \
@@ -96,9 +98,9 @@ USE_CABAL=	\
 		random-1.1_1 \
 		random-shuffle-0.0.4 \
 		reflection-2.1.5 \
-		regex-base-0.94.0.0 \
-		regex-compat-0.95.2.0 \
-		regex-posix-0.96.0.0 \
+		regex-base-0.94.0.0_1 \
+		regex-compat-0.95.2.0_1 \
+		regex-posix-0.96.0.0_1 \
 		resourcet-1.2.3 \
 		scientific-0.3.6.2 \
 		scotty-0.11.5 \
@@ -111,26 +113,26 @@ USE_CABAL=	\
 		tagged-0.8.6_2 \
 		th-abstraction-0.3.2.0 \
 		th-lift-0.8.1 \
-		time-compat-1.9.2.2_2 \
+		time-compat-1.9.3 \
 		time-manager-0.0.0 \
 		transformers-base-0.4.5.2 \
 		transformers-compat-0.6.5 \
 		unix-compat-0.5.2_1 \
 		unix-time-0.4.7 \
-		unliftio-core-0.2.0.1 \
+		unliftio-core-0.2.0.1_1 \
 		unordered-containers-0.2.10.0_1 \
 		uuid-1.3.13_3 \
 		uuid-types-1.0.3_2 \
-		vault-0.3.1.3 \
+		vault-0.3.1.4 \
 		vector-0.12.1.2 \
 		void-0.7.3 \
 		wai-3.2.2.1 \
 		wai-extra-3.0.29.1 \
 		wai-logger-2.3.6 \
-		warp-3.3.9 \
+		warp-3.3.10 \
 		websockets-0.12.7.0 \
 		word8-0.1.3 \
 		x509-1.7.5_1 \
-		zlib-0.6.2.1
+		zlib-0.6.2.1_1
 
 .include <bsd.port.mk>
diff --git a/math/hs-penrose/distinfo b/math/hs-penrose/distinfo
index 2d055855c73b..e7edc5a5772f 100644
--- a/math/hs-penrose/distinfo
+++ b/math/hs-penrose/distinfo
@@ -1,6 +1,4 @@
-TIMESTAMP = 1584292612
-SHA256 (cabal/penrose-0.1.737.tar.gz) = 83caeed913b229b12c23d9de594ec09c7041e9481ec6de66759b4e6ca725846f
-SIZE (cabal/penrose-0.1.737.tar.gz) = 37014128
+TIMESTAMP = 1586597911
 SHA256 (cabal/MonadRandom-0.5.1.2/MonadRandom-0.5.1.2.tar.gz) = 776f0e69ddea30c9e819f1cd75249377b7fc6f7c8181b90e72ec9c7bc7e33448
 SIZE (cabal/MonadRandom-0.5.1.2/MonadRandom-0.5.1.2.tar.gz) = 10562
 SHA256 (cabal/SHA-1.6.4.4/SHA-1.6.4.4.tar.gz) = 6bd950df6b11a3998bb1452d875d2da043ee43385459afc5f16d471d25178b44
@@ -9,8 +7,10 @@ SHA256 (cabal/StateVar-1.2/StateVar-1.2.tar.gz) = afc036021fcd38f15fcc4af392a3e5
 SIZE (cabal/StateVar-1.2/StateVar-1.2.tar.gz) = 4770
 SHA256 (cabal/ad-4.4/ad-4.4.tar.gz) = 9df81f3185cd27453be8bdb4b0473cd40a7d106e25ec8a1d761a2895a62df5ec
 SIZE (cabal/ad-4.4/ad-4.4.tar.gz) = 51664
-SHA256 (cabal/aeson-1.4.6.0/aeson-1.4.6.0.tar.gz) = 923fb2c6e224c4c0d1848174b1010592f31cd149f538923efd87f8a6b4b3488b
-SIZE (cabal/aeson-1.4.6.0/aeson-1.4.6.0.tar.gz) = 276713
+SHA256 (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 07e746655fd9bec81c59927c5617877ff4fcd81d0df45c5fb8ef154fb8f40294
+SIZE (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 277911
+SHA256 (cabal/aeson-1.4.7.1/revision/1.cabal) = 6d8d2fd959b7122a1df9389cf4eca30420a053d67289f92cdc0dbc0dab3530ba
+SIZE (cabal/aeson-1.4.7.1/revision/1.cabal) = 7098
 SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3
 SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531
 SHA256 (cabal/ansi-terminal-0.10.3/ansi-terminal-0.10.3.tar.gz) = fa2e2e32dfad29835aa7fd442bbe233e07d97e933223a001fe5efa562535b57c
@@ -23,18 +23,20 @@ SHA256 (cabal/asn1-encoding-0.9.6/revision/1.cabal) = 3655d9a68c8c082e0d22f33456
 SIZE (cabal/asn1-encoding-0.9.6/revision/1.cabal) = 2067
 SHA256 (cabal/asn1-parse-0.9.5/asn1-parse-0.9.5.tar.gz) = 8f1fe1344d30b39dc594d74df2c55209577722af1497204b4c2b6d6e8747f39e
 SIZE (cabal/asn1-parse-0.9.5/asn1-parse-0.9.5.tar.gz) = 2951
-SHA256 (cabal/asn1-types-0.3.3/asn1-types-0.3.3.tar.gz) = 57ebc2371bdb607294b5ca18f44ced121ab528ee304905db1524cb441b535498
-SIZE (cabal/asn1-types-0.3.3/asn1-types-0.3.3.tar.gz) = 6478
+SHA256 (cabal/asn1-types-0.3.4/asn1-types-0.3.4.tar.gz) = 78ee92a251379298ca820fa53edbf4b33c539b9fcd887c86f520c30e3b4e21a8
+SIZE (cabal/asn1-types-0.3.4/asn1-types-0.3.4.tar.gz) = 6472
 SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff
 SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927
-SHA256 (cabal/attoparsec-0.13.2.3/attoparsec-0.13.2.3.tar.gz) = 3d1ac6713505e520ebb51f26cfb5f6e5a0825e25394a51419c7e035b60b2f2d9
-SIZE (cabal/attoparsec-0.13.2.3/attoparsec-0.13.2.3.tar.gz) = 162346
-SHA256 (cabal/attoparsec-0.13.2.3/revision/1.cabal) = 38717f481a131e1f50ce8e126f49961e6fe740f55df53e5e45cbbf8c451a9698
-SIZE (cabal/attoparsec-0.13.2.3/revision/1.cabal) = 5695
+SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd
+SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934
+SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2
+SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431
 SHA256 (cabal/auto-update-0.1.6/auto-update-0.1.6.tar.gz) = f4e023dc8713c387ecf20d851247597fd012cabea3872310b35e911105eb66c4
 SIZE (cabal/auto-update-0.1.6/auto-update-0.1.6.tar.gz) = 10929
 SHA256 (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 356f1542ec93e7192a9073d32a8ef1e48194275495dcec7fb0d241f4baaf6d36
 SIZE (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 33691
+SHA256 (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = caf66fed3c0a3b0437692cad18c93a7074e8524a86b8be1ce04d0a18cbf6aed8
+SIZE (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = 16748
 SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee418428a22c72b9391557bc1fe2f93bd643f7754b36b9eb01
 SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727
 SHA256 (cabal/base64-bytestring-1.0.0.3/base64-bytestring-1.0.0.3.tar.gz) = ef159d60ec14c0a3f3e26bab5c9fd7634d5e1b983c6a64f0b0c3261efe008fc7
@@ -73,12 +75,12 @@ SHA256 (cabal/cookie-0.4.5/cookie-0.4.5.tar.gz) = 707f94d1b31018b91d6a1e9e19ef54
 SIZE (cabal/cookie-0.4.5/cookie-0.4.5.tar.gz) = 6048
 SHA256 (cabal/cryptohash-md5-0.11.100.1/cryptohash-md5-0.11.100.1.tar.gz) = 710bd48770fa3e9a3b05428c6dc77fb72c91956d334a1eb89ded11bb843e18f9
 SIZE (cabal/cryptohash-md5-0.11.100.1/cryptohash-md5-0.11.100.1.tar.gz) = 10472
-SHA256 (cabal/cryptohash-md5-0.11.100.1/revision/4.cabal) = a3821d8876928d3302658736b8dc6e73e8321dccdcd05493e432de38e58aea3f
-SIZE (cabal/cryptohash-md5-0.11.100.1/revision/4.cabal) = 3964
+SHA256 (cabal/cryptohash-md5-0.11.100.1/revision/5.cabal) = a4a528bf378bf747eed3748459acf02ed35b9200ec0403d34dbba55b7c9eaab7
+SIZE (cabal/cryptohash-md5-0.11.100.1/revision/5.cabal) = 3964
 SHA256 (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 3c79af33542512442f8f87f6abb1faef7cd43bbfb2859260a33251d861eb0dab
 SIZE (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 10198
-SHA256 (cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal) = 289c821e2b296a2d06208f2e1ed31d772c69d1a67043959c71b711e6b4e26261
-SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal) = 4354
+SHA256 (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 14d814cd88f5fd47641bef414668f3a5bba8b27fa8f960b1a6f4f2ba29265ee1
+SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 4363
 SHA256 (cabal/cryptonite-0.26/cryptonite-0.26.tar.gz) = c47390df555295fdb1fb8161c190e208f43b8d334b2da3e96f0c64b7fe07aedd
 SIZE (cabal/cryptonite-0.26/cryptonite-0.26.tar.gz) = 581153
 SHA256 (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 4f01b423f000c3e069aaf52a348564a6536797f31498bb85c3db4bd2d0973e56
@@ -87,20 +89,22 @@ SHA256 (cabal/data-reify-0.6.1/data-reify-0.6.1.tar.gz) = 61350a1e96cb1276c2b6b8
 SIZE (cabal/data-reify-0.6.1/data-reify-0.6.1.tar.gz) = 7500
 SHA256 (cabal/data-reify-0.6.1/revision/1.cabal) = f7f3a5b2f482a67eb77f4ba32e15f91bcfa4c220cdda9dde22cd9d9ff18ab447
 SIZE (cabal/data-reify-0.6.1/revision/1.cabal) = 3646
-SHA256 (cabal/distributive-0.6.1/distributive-0.6.1.tar.gz) = 7749b1d9b815e3ba558d1daebac9346610e352bb0dfe9720cc686eb2fef7caf2
-SIZE (cabal/distributive-0.6.1/distributive-0.6.1.tar.gz) = 11256
-SHA256 (cabal/dlist-0.8.0.7/dlist-0.8.0.7.tar.gz) = a3c06a200f9756329b09d415e7733b7204dda76ce07783e6457d0ab9ffbcba2c
-SIZE (cabal/dlist-0.8.0.7/dlist-0.8.0.7.tar.gz) = 9228
+SHA256 (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 824ee271ded433ce6c61fe890c784642b7e20ffa4082fca609da54e7dcfc23c9
+SIZE (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 11308
+SHA256 (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 7129cf18068d3384e305708a10426ab8f573bee1030b023a114f45f1d0ec496d
+SIZE (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 9262
 SHA256 (cabal/docopt-0.7.0.5/docopt-0.7.0.5.tar.gz) = 15790808a4896bbf0748c1c0f3ab63c07aea4621d95b93a39886813f829d05ee
 SIZE (cabal/docopt-0.7.0.5/docopt-0.7.0.5.tar.gz) = 31475
 SHA256 (cabal/easy-file-0.2.2/easy-file-0.2.2.tar.gz) = 52f52e72ba48d60935932401c233a72bf45c582871238aecc5a18021ce67b47e
 SIZE (cabal/easy-file-0.2.2/easy-file-0.2.2.tar.gz) = 12667
-SHA256 (cabal/entropy-0.4.1.5/entropy-0.4.1.5.tar.gz) = 5502aaf0415979dcfe64d3da407db46085f98a81d5b369fb040fc51b2244ee6b
-SIZE (cabal/entropy-0.4.1.5/entropy-0.4.1.5.tar.gz) = 7889
+SHA256 (cabal/entropy-0.4.1.6/entropy-0.4.1.6.tar.gz) = adc759ff756a6d71a450422ba511177632f43a33bf673901fd2334f53ef8bf62
+SIZE (cabal/entropy-0.4.1.6/entropy-0.4.1.6.tar.gz) = 9464
 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/exceptions-0.10.4/exceptions-0.10.4.tar.gz) = 4d0bfb4355cffcd67d300811df9d5fe44ea3594ed63750795bfc1f797abd84cf
 SIZE (cabal/exceptions-0.10.4/exceptions-0.10.4.tar.gz) = 20819
+SHA256 (cabal/exceptions-0.10.4/revision/1.cabal) = 1729ef26a611ae78aa58cdd34192aff710cbaa6d631dd042ddfb63556d00b52c
+SIZE (cabal/exceptions-0.10.4/revision/1.cabal) = 2796
 SHA256 (cabal/extra-1.7.1/extra-1.7.1.tar.gz) = a47f452a8b012973bff015facefff28d0bbc39910dadcaac9e1b35dbd2ee507f
 SIZE (cabal/extra-1.7.1/extra-1.7.1.tar.gz) = 41439
 SHA256 (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 6d5cdb1a5c539425a9665f740e364722e1d9d6ae37fbc55f30fe3dbbbb91d4a2
@@ -113,28 +117,32 @@ SHA256 (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a
 SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254
 SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4
 SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835
+SHA256 (cabal/hashable-1.3.0.0/revision/1.cabal) = 4c70f1407881059e93550d3742191254296b2737b793a742bd901348fb3e1fb1
+SIZE (cabal/hashable-1.3.0.0/revision/1.cabal) = 5206
 SHA256 (cabal/haskell-lexer-1.1/haskell-lexer-1.1.tar.gz) = 313a15cc643322c8badd148867ce25ca1ffc191df9e7eeec5b10bc08c4b563d5
 SIZE (cabal/haskell-lexer-1.1/haskell-lexer-1.1.tar.gz) = 14368
 SHA256 (cabal/hmatrix-0.20.0.0/hmatrix-0.20.0.0.tar.gz) = ef421aba2e6c93a22043a233b2c83789b24363ebe35732d67ccafd12990a1eeb
 SIZE (cabal/hmatrix-0.20.0.0/hmatrix-0.20.0.0.tar.gz) = 102180
 SHA256 (cabal/hourglass-0.2.12/hourglass-0.2.12.tar.gz) = 44335b5c402e80c60f1db6a74462be4ea29d1a9043aa994334ffee1164f1ca4a
 SIZE (cabal/hourglass-0.2.12/hourglass-0.2.12.tar.gz) = 25797
-SHA256 (cabal/hsc2hs-0.68.6/hsc2hs-0.68.6.tar.gz) = e0cc7549c22fafe6e159aadb1048c9bfcce8fda602dd2febd8b1eea4df3292b2
-SIZE (cabal/hsc2hs-0.68.6/hsc2hs-0.68.6.tar.gz) = 35283
+SHA256 (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = fd7915e41e3ed3bc7750fee0e8add2b4f32dcac8b7c544cfdf5542293223894a
+SIZE (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = 38630
 SHA256 (cabal/hslogger-1.3.1.0/hslogger-1.3.1.0.tar.gz) = 7f2364f6c0b9c5b85a257267a335816126ef2471c817a42797a5d3c57acaca5b
 SIZE (cabal/hslogger-1.3.1.0/hslogger-1.3.1.0.tar.gz) = 37468
+SHA256 (cabal/hslogger-1.3.1.0/revision/1.cabal) = 88655f6a7cc52529a7b3053b4ed304b250464b560c91092027bb66d62972a8bc
+SIZE (cabal/hslogger-1.3.1.0/revision/1.cabal) = 2899
 SHA256 (cabal/http-date-0.0.8/http-date-0.0.8.tar.gz) = 0f4c6348487abe4f9d58e43d3c23bdefc7fd1fd5672effd3c7d84aaff05f5427
 SIZE (cabal/http-date-0.0.8/http-date-0.0.8.tar.gz) = 5322
 SHA256 (cabal/http-types-0.12.3/http-types-0.12.3.tar.gz) = 4e8a4a66477459fa436a331c75e46857ec8026283df984d54f90576cd3024016
 SIZE (cabal/http-types-0.12.3/http-types-0.12.3.tar.gz) = 13547
-SHA256 (cabal/http2-2.0.3/http2-2.0.3.tar.gz) = ba5105f31d0e83d5bd7f6f6c5deef6b277cd6a82f9701e19920f54e0c00b1093
-SIZE (cabal/http2-2.0.3/http2-2.0.3.tar.gz) = 5211934
+SHA256 (cabal/http2-2.0.4/http2-2.0.4.tar.gz) = 4708635ffc7342e951bfb77ad046e04bb7ddc7fc98f6c235619166b6b7e90e67
+SIZE (cabal/http2-2.0.4/http2-2.0.4.tar.gz) = 5211910
 SHA256 (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262018698af35bb74916fad170d96d3eb44669c72ed36db9a19a3392cec16
 SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840
 SHA256 (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 63d42595ec92b71ac98a07b984b0a2eb3d4956f4ad2d856c3bf6fc3dc218d228
 SIZE (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 2820
-SHA256 (cabal/iproute-1.7.8/iproute-1.7.8.tar.gz) = 4dad14f83bc770554609ac68c3b7bc7cccea4bb2ba2f2085c6e9623378fb584c
-SIZE (cabal/iproute-1.7.8/iproute-1.7.8.tar.gz) = 13309
+SHA256 (cabal/iproute-1.7.9/iproute-1.7.9.tar.gz) = 5547fa599c46b854c98625d7d3b745557193704096d3a947c1d8c534a23360d4
+SIZE (cabal/iproute-1.7.9/iproute-1.7.9.tar.gz) = 17732
 SHA256 (cabal/megaparsec-8.0.0/megaparsec-8.0.0.tar.gz) = b5d7c64646016d12f540a6948396a86e0cd39865569d68fe2018fe9e3fce6318
 SIZE (cabal/megaparsec-8.0.0/megaparsec-8.0.0.tar.gz) = 59692
 SHA256 (cabal/memory-0.15.0/memory-0.15.0.tar.gz) = e3ff892c1a94708954d0bb2c4f4ab81bc0f505352d95095319c462db1aeb3529
@@ -149,8 +157,12 @@ SHA256 (cabal/nats-1.1.2/nats-1.1.2.tar.gz) = b9d2d85d8612f9b06f8c9bfd1acecd848e
 SIZE (cabal/nats-1.1.2/nats-1.1.2.tar.gz) = 7776
 SHA256 (cabal/nats-1.1.2/revision/3.cabal) = ec37196c86a3005f48a33dd3a339d41ed44c3ef0911cb8b44342b1a96d219c0b
 SIZE (cabal/nats-1.1.2/revision/3.cabal) = 2749
-SHA256 (cabal/network-bsd-2.8.0.0/network-bsd-2.8.0.0.tar.gz) = 25ded905970d2a22bfea0427534870d890b3cfc3f7867bf8f5c62391f3e3cb35
-SIZE (cabal/network-bsd-2.8.0.0/network-bsd-2.8.0.0.tar.gz) = 1428
+SHA256 (cabal/network-3.1.1.1/network-3.1.1.1.tar.gz) = d7ef590173fff2ab522fbc167f3fafb867e4ecfca279eb3ef0d137b51f142c9a
+SIZE (cabal/network-3.1.1.1/network-3.1.1.1.tar.gz) = 118478
+SHA256 (cabal/network-bsd-2.8.1.0/network-bsd-2.8.1.0.tar.gz) = d94961ca15c42c798d19cde540ec12b25cc43435fb95e682399d6c1a02022d4e
+SIZE (cabal/network-bsd-2.8.1.0/network-bsd-2.8.1.0.tar.gz) = 8584
+SHA256 (cabal/network-bsd-2.8.1.0/revision/3.cabal) = d92423549794926f8bac0b63d5963c898a2ab628a4bb2e10ec5ce05b579383c1
+SIZE (cabal/network-bsd-2.8.1.0/revision/3.cabal) = 3742
 SHA256 (cabal/network-byte-order-0.1.4.0/network-byte-order-0.1.4.0.tar.gz) = c98db026a469a84fceb0632463e36ed8608b389255aae003d550b2bedb4ca5f2
 SIZE (cabal/network-byte-order-0.1.4.0/network-byte-order-0.1.4.0.tar.gz) = 6426
 SHA256 (cabal/network-info-0.2.0.10/network-info-0.2.0.10.tar.gz) = 5680f6975d34cf4f81fa7ca0c8efd682261d6a1119e06dece0f67c7bd97fd52a
@@ -193,10 +205,16 @@ SHA256 (cabal/reflection-2.1.5/reflection-2.1.5.tar.gz) = 272ee9bffb722047067296
 SIZE (cabal/reflection-2.1.5/reflection-2.1.5.tar.gz) = 19532
 SHA256 (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = c41f82f5fc1157c961a4cbdc0cd5561e5aa44f339ce6e706d978d97e0ca6b914
 SIZE (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = 9679
+SHA256 (cabal/regex-base-0.94.0.0/revision/1.cabal) = 44aa95ca762294ffbb28cf0af9c567d93b5d2c56e4f38ce5385a257d899f968e
+SIZE (cabal/regex-base-0.94.0.0/revision/1.cabal) = 2253
 SHA256 (cabal/regex-compat-0.95.2.0/regex-compat-0.95.2.0.tar.gz) = 1fc90e476fc30ced2404fac04433ec422463210a32b49f739864e1ebf2278406
 SIZE (cabal/regex-compat-0.95.2.0/regex-compat-0.95.2.0.tar.gz) = 4019
+SHA256 (cabal/regex-compat-0.95.2.0/revision/1.cabal) = 2eb608f9370c6b6c8ffacad059a6f74099192b73cc74ba4b321ee650e44f53b4
+SIZE (cabal/regex-compat-0.95.2.0/revision/1.cabal) = 1260
 SHA256 (cabal/regex-posix-0.96.0.0/regex-posix-0.96.0.0.tar.gz) = 251300f1a6bb2e91abb8bf513a21981f8fab79c98a65acea2bb6d6a524414521
 SIZE (cabal/regex-posix-0.96.0.0/regex-posix-0.96.0.0.tar.gz) = 12529
+SHA256 (cabal/regex-posix-0.96.0.0/revision/1.cabal) = 690d1366e9ea6df71ded3daf49ca3d53c63eda3f95937962299b2391824dc3b3
+SIZE (cabal/regex-posix-0.96.0.0/revision/1.cabal) = 2531
 SHA256 (cabal/resourcet-1.2.3/resourcet-1.2.3.tar.gz) = 1a19f4bed56d3bb01a425b93ce157fb826ef01eee32dd28ef2c0c2128550e7c5
 SIZE (cabal/resourcet-1.2.3/resourcet-1.2.3.tar.gz) = 16511
 SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f
@@ -223,10 +241,8 @@ SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0
 SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111
 SHA256 (cabal/th-lift-0.8.1/th-lift-0.8.1.tar.gz) = 3fa1f4193794d8d6dc7864e20a2f89ab268c321a4b3d254fd38282619f8e5ed7
 SIZE (cabal/th-lift-0.8.1/th-lift-0.8.1.tar.gz) = 13816
-SHA256 (cabal/time-compat-1.9.2.2/time-compat-1.9.2.2.tar.gz) = a268613385d359274edf48fb2dad4af29874f58486b2d5625e3b95a371066a17
-SIZE (cabal/time-compat-1.9.2.2/time-compat-1.9.2.2.tar.gz) = 49652
-SHA256 (cabal/time-compat-1.9.2.2/revision/2.cabal) = ccf268e6ec91a6d9a79392697634c670c095a34a60d1ccfa1be1c84f20bb24c5
-SIZE (cabal/time-compat-1.9.2.2/revision/2.cabal) = 4254
+SHA256 (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = bb6a44e667945ddca8ded93e041ee91986a4a19f59e149a5dd21fdb1bfa3db88
+SIZE (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = 50050
 SHA256 (cabal/time-manager-0.0.0/time-manager-0.0.0.tar.gz) = 90a616ed20b2119bb64f78f84230b6798cde22a35e87bc8d9ee08cdf1d90fcdb
 SIZE (cabal/time-manager-0.0.0/time-manager-0.0.0.tar.gz) = 2726
 SHA256 (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = d0c80c63fdce6a077dd8eda4f1ff289b85578703a3f1272e141d400fe23245e8
@@ -241,6 +257,8 @@ SHA256 (cabal/unix-time-0.4.7/unix-time-0.4.7.tar.gz) = 19233f8badf921d444c61656
 SIZE (cabal/unix-time-0.4.7/unix-time-0.4.7.tar.gz) = 52235
 SHA256 (cabal/unliftio-core-0.2.0.1/unliftio-core-0.2.0.1.tar.gz) = 919f0d1297ea2f5373118553c1df2a9405d8b9e31a8307e829da67d4953c299a
 SIZE (cabal/unliftio-core-0.2.0.1/unliftio-core-0.2.0.1.tar.gz) = 3696
+SHA256 (cabal/unliftio-core-0.2.0.1/revision/1.cabal) = 9b3e44ea9aacacbfc35b3b54015af450091916ac3618a41868ebf6546977659a
+SIZE (cabal/unliftio-core-0.2.0.1/revision/1.cabal) = 1082
 SHA256 (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 65f117bdbdea9efc75fb9fd539873de7687e005d8898bb21821020a4b383c573
 SIZE (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 44733
 SHA256 (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5e9b095a9283d9e2f064fec73a81a6b6ea0b7fda3f219a8175785d2d2a3de204
@@ -253,8 +271,8 @@ SHA256 (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 9276517ab24a9b06f39d6e
 SIZE (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 11999
 SHA256 (cabal/uuid-types-1.0.3/revision/2.cabal) = 2cab161f274309cfd9ef62694a6bd1b47525bc4c79a827293b055e4a9eadb4d2
 SIZE (cabal/uuid-types-1.0.3/revision/2.cabal) = 2473
-SHA256 (cabal/vault-0.3.1.3/vault-0.3.1.3.tar.gz) = e70c8c1981fe49fc21a91b2aa570ecf50cca94aca24a7984ea641cbbc521b56d
-SIZE (cabal/vault-0.3.1.3/vault-0.3.1.3.tar.gz) = 5314
+SHA256 (cabal/vault-0.3.1.4/vault-0.3.1.4.tar.gz) = 5b1cd255de8f4addf7705f7b9bfd586b003bcace0dba0dbe1ae1986b8a0d4359
+SIZE (cabal/vault-0.3.1.4/vault-0.3.1.4.tar.gz) = 5375
 SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd
 SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049
 SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317
@@ -265,8 +283,8 @@ SHA256 (cabal/wai-extra-3.0.29.1/wai-extra-3.0.29.1.tar.gz) = 2712d4e9abec734942
 SIZE (cabal/wai-extra-3.0.29.1/wai-extra-3.0.29.1.tar.gz) = 63831
 SHA256 (cabal/wai-logger-2.3.6/wai-logger-2.3.6.tar.gz) = e2fbd8c74fa0a31f9ea0faa53f4ad4e588644a34d8dfc7cc50d85c245c3c7541
 SIZE (cabal/wai-logger-2.3.6/wai-logger-2.3.6.tar.gz) = 5823
-SHA256 (cabal/warp-3.3.9/warp-3.3.9.tar.gz) = 439a45e808762ed055bdab12db8601877410860414eb629488b981ab094a68c1
-SIZE (cabal/warp-3.3.9/warp-3.3.9.tar.gz) = 63719
+SHA256 (cabal/warp-3.3.10/warp-3.3.10.tar.gz) = ff7e6517fe6212f63f6716bab6ddf8d3f5f82c958a0ce39c04408a6831ab5744
+SIZE (cabal/warp-3.3.10/warp-3.3.10.tar.gz) = 64031
 SHA256 (cabal/websockets-0.12.7.0/websockets-0.12.7.0.tar.gz) = 5f11184c6f97de4ae32e00d309a0a9bcbd829c7f099dbf5b2284ae074f035f86
 SIZE (cabal/websockets-0.12.7.0/websockets-0.12.7.0.tar.gz) = 40119
 SHA256 (cabal/word8-0.1.3/word8-0.1.3.tar.gz) = 2630934c75728bfbf390c1f0206b225507b354f68d4047b06c018a36823b5d8a
@@ -277,5 +295,7 @@ SHA256 (cabal/x509-1.7.5/revision/1.cabal) = 01185a9a17bee4e89287d9e32bfaa673133
 SIZE (cabal/x509-1.7.5/revision/1.cabal) = 2305
 SHA256 (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = f0f810ff173560b60392db448455c0513b3239f48e43cb494b3733aa559621d0
 SIZE (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = 143424
+SHA256 (cabal/zlib-0.6.2.1/revision/1.cabal) = d34ddf5fece4d1e9d471b5298f36335bb3cfe12cb5a1b8525c42f0b665382f45
+SIZE (cabal/zlib-0.6.2.1/revision/1.cabal) = 4547
 SHA256 (cabal/penrose-penrose-v0.1-737-gb336c8d_GH0.tar.gz) = 83caeed913b229b12c23d9de594ec09c7041e9481ec6de66759b4e6ca725846f
 SIZE (cabal/penrose-penrose-v0.1-737-gb336c8d_GH0.tar.gz) = 37014128
diff --git a/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_Public.hs b/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_Public.hs
new file mode 100644
index 000000000000..cdccb0301e29
--- /dev/null
+++ b/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_Public.hs
@@ -0,0 +1,11 @@
+--- docopt-0.7.0.5/System/Console/Docopt/Public.hs.orig	2020-04-11 09:34:12 UTC
++++ docopt-0.7.0.5/System/Console/Docopt/Public.hs
+@@ -192,7 +192,7 @@ isPresentM args o = return $ isPresent args o
+ {-# DEPRECATED getFirstArg "Use 'getAllArgs' instead" #-}
+ getFirstArg :: Monad m => Arguments -> Option -> m String
+ getFirstArg args opt =
+-  let failure = fail $ "no argument given: " ++ show opt
++  let failure = error $ "no argument given: " ++ show opt
+   in  case opt `M.lookup` args of
+         Nothing  -> failure
+         Just val -> case val of
diff --git a/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_QQ.hs b/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_QQ.hs
new file mode 100644
index 000000000000..a92eade6cb2a
--- /dev/null
+++ b/math/hs-penrose/files/patch-docopt-0.7.0.5_System_Console_Docopt_QQ.hs
@@ -0,0 +1,11 @@
+--- docopt-0.7.0.5/System/Console/Docopt/QQ.hs.orig	2016-11-10 15:48:52 UTC
++++ docopt-0.7.0.5/System/Console/Docopt/QQ.hs
+@@ -56,7 +56,7 @@ docopt = QuasiQuoter { quoteExp  = docoptExp
+                      , quotePat  = unsupported "Pattern"
+                      , quoteType = unsupported "Type"
+                      }
+-    where unsupported = fail . (++ " context unsupported")
++    where unsupported = error . (++ " context unsupported")
+ 
+ -- | Same as 'docopt', but parses the given file instead of a literal
+ -- string.