Attachment #249213 for bug #277730

View | Details | Raw Unified | Return to bug 277730 | Differences between
Collapse All | Expand All




PORTNAME=	Agda
PORTVERSION=	2.6.4.3
CATEGORIES=	math haskell

MAINTAINER=	haskell@FreeBSD.org
COMMENT=	Dependently typed functional programming language and proof assistant
WWW=		https://wiki.portal.chalmers.se/agda/

LICENSE=	MIT
LICENSE_NAME=	custom
LICENSE_FILE=	${WRKSRC}/LICENSE
LICENSE_PERMS=	dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept

BROKEN_i386=	compiler goes out of memory

BUILD_DEPENDS=	emacs:editors/emacs@nox

USES=		cabal


		STMonadTrans-0.4.8 \
		StateVar-1.2.2 \
		aeson-2.2.1.0_1 \
		alex-3.5.1.0 \
		ansi-terminal-1.1 \
		ansi-terminal-types-1.1 \
		assoc-1.1_1 \
		async-2.2.5 \
		base-compat-0.13.1 \
		base-orphans-0.9.1 \
		bifunctors-5.6.1_2 \
		blaze-builder-0.4.2.3 \
		blaze-html-0.9.2.0 \
		blaze-markup-0.8.3.0_1 \
		boxes-0.1.5 \
		case-insensitive-1.2.1.0 \

		dlist-1.0_1 \
		edit-distance-0.2.2.1_1 \
		equivalence-0.4.1 \
		foldable1-classes-compat-0.1_4 \
		generically-0.1.1_2 \
		gitrev-1.3.1 \
		happy-1.20.1.1 \
		hashable-1.4.3.0_1 \
		hsc2hs-0.68.10_1 \
		indexed-traversable-0.1.3 \
		indexed-traversable-instances-0.1.1.2_2 \
		integer-conversion-0.1.0.1_1 \

		parallel-3.2.2.0_7 \
		peano-0.1.0.2 \
		primitive-0.9.0.0 \
		random-1.2.1.2 \
		regex-base-0.94.0.2_4 \
		regex-tdfa-1.3.2.2_2 \
		scientific-0.3.7.0_7 \

		vector-hashtables-0.1.1.4 \
		vector-stream-0.1.0.1 \
		witherable-0.4.2_4 \
		zlib-0.7.0.0


CABAL_EXECUTABLES=	agda-mode agda
CABAL_WRAPPER_SCRIPTS=	${CABAL_EXECUTABLES}


post-install:
	${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
	${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
	${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}




TIMESTAMP = 1710558419
SHA256 (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2
SIZE (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 1869461
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/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.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/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253
SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897
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/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a
SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482
SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652

SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
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.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/edit-distance-0.2.2.1/revision/1.cabal) = 2351
SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f
SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310
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/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782
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/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c

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/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/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/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915
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/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/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488
SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27

SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8
SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342
SHA256 (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47
SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149
SHA256 (cabal/zlib-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325
- 

Return to bug 277730

Lines 1-19 Link Here

(-)b/math/hs-Agda/Makefile (-16 / +12 lines)
1	PORTNAME= Agda	1	PORTNAME= Agda
2	PORTVERSION= 2.6.4.1	2	PORTVERSION= 2.6.4.3
3	CATEGORIES= math haskell	3	CATEGORIES= math haskell
4		4
5	MAINTAINER= haskell@FreeBSD.org	5	MAINTAINER= haskell@FreeBSD.org
6	COMMENT= Dependently typed functional programming language and proof assistant	6	COMMENT= Dependently typed functional programming language and proof assistant
7	WWW= https://wiki.portal.chalmers.se/agda/	7	WWW= https://wiki.portal.chalmers.se/agda/
8		8
9	LICENSE= UNKNOWN	9	LICENSE= MIT
10	LICENSE_NAME= custom
11	LICENSE_FILE= ${WRKSRC}/LICENSE
12	LICENSE_PERMS= dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept
13		10
14	BROKEN_i386= Compiler goes out of memory	11	BROKEN_i386= compiler goes out of memory
15		12
16	BUILD_DEPENDS= emacs:editors/emacs	13	BUILD_DEPENDS= emacs:editors/emacs@nox
17		14
18	USES= cabal	15	USES= cabal
19		16
Lines 24-39 USE_CABAL= OneTuple-0.4.1.1_1 \ Link Here
24	STMonadTrans-0.4.8 \	21	STMonadTrans-0.4.8 \
25	StateVar-1.2.2 \	22	StateVar-1.2.2 \
26	aeson-2.2.1.0_1 \	23	aeson-2.2.1.0_1 \
27	alex-3.5.0.0 \	24	alex-3.5.1.0 \
28	ansi-terminal-1.0.2 \	25	ansi-terminal-1.1 \
29	ansi-terminal-types-0.11.5_1 \	26	ansi-terminal-types-1.1 \
30	assoc-1.1_1 \	27	assoc-1.1_1 \
31	async-2.2.5 \	28	async-2.2.5 \
32	base-compat-0.13.1 \	29	base-compat-0.13.1 \
33	base-orphans-0.9.1 \	30	base-orphans-0.9.1 \
34	bifunctors-5.6.1_2 \	31	bifunctors-5.6.1_2 \
35	blaze-builder-0.4.2.3 \	32	blaze-builder-0.4.2.3 \
36	blaze-html-0.9.1.2_4 \	33	blaze-html-0.9.2.0 \
37	blaze-markup-0.8.3.0_1 \	34	blaze-markup-0.8.3.0_1 \
38	boxes-0.1.5 \	35	boxes-0.1.5 \
39	case-insensitive-1.2.1.0 \	36	case-insensitive-1.2.1.0 \
Lines 46-56 USE_CABAL= OneTuple-0.4.1.1_1 \ Link Here
46	dlist-1.0_1 \	43	dlist-1.0_1 \
47	edit-distance-0.2.2.1_1 \	44	edit-distance-0.2.2.1_1 \
48	equivalence-0.4.1 \	45	equivalence-0.4.1 \
49	foldable1-classes-compat-0.1_4 \
50	generically-0.1.1_2 \	46	generically-0.1.1_2 \
51	gitrev-1.3.1 \	47	gitrev-1.3.1 \
52	happy-1.20.1.1 \	48	happy-1.20.1.1 \
53	hashable-1.4.3.0_1 \	49	hashable-1.4.3.0_1 \
		50	hsc2hs-0.68.10_1 \
54	indexed-traversable-0.1.3 \	51	indexed-traversable-0.1.3 \
55	indexed-traversable-instances-0.1.1.2_2 \	52	indexed-traversable-instances-0.1.1.2_2 \
56	integer-conversion-0.1.0.1_1 \	53	integer-conversion-0.1.0.1_1 \
Lines 61-67 USE_CABAL= OneTuple-0.4.1.1_1 \ Link Here
61	parallel-3.2.2.0_7 \	58	parallel-3.2.2.0_7 \
62	peano-0.1.0.2 \	59	peano-0.1.0.2 \
63	primitive-0.9.0.0 \	60	primitive-0.9.0.0 \
64	random-1.2.1.1_1 \	61	random-1.2.1.2 \
65	regex-base-0.94.0.2_4 \	62	regex-base-0.94.0.2_4 \
66	regex-tdfa-1.3.2.2_2 \	63	regex-tdfa-1.3.2.2_2 \
67	scientific-0.3.7.0_7 \	64	scientific-0.3.7.0_7 \
Lines 87-94 USE_CABAL= OneTuple-0.4.1.1_1 \ Link Here
87	vector-hashtables-0.1.1.4 \	84	vector-hashtables-0.1.1.4 \
88	vector-stream-0.1.0.1 \	85	vector-stream-0.1.0.1 \
89	witherable-0.4.2_4 \	86	witherable-0.4.2_4 \
90	zlib-0.6.3.0_4	87	zlib-0.7.0.0
91
92		88
93	CABAL_EXECUTABLES= agda-mode agda	89	CABAL_EXECUTABLES= agda-mode agda
94	CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}	90	CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
Lines 97-103 agda-mode_DATADIR_VARS= Agda Link Here
97		93
98	post-install:	94	post-install:
99	${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile	95	${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
100	find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;	96	${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
101	${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda	97	${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
102	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}	98	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
103	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}	99	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}

Lines 1-6 Link Here

(-)b/math/hs-Agda/distinfo (-28 / +19 lines)
1	TIMESTAMP = 1706798494	1	TIMESTAMP = 1710558419
2	SHA256 (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080	2	SHA256 (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2
3	SIZE (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 1893496	3	SIZE (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 1869461
4	SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b	4	SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b
5	SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601	5	SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601
6	SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682	6	SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
Lines 15-28 SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cba Link Here
15	SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038	15	SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
16	SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb	16	SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
17	SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582	17	SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
18	SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed	18	SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07
19	SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601	19	SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982
20	SHA256 (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 46e516cbf66c7807940ba9896c2d71ba5ffdaa35a4fb80dea9313703efa8d834	20	SHA256 (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253
21	SIZE (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 33561	21	SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897
22	SHA256 (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = bf7b230389f43105100a6d5740822598a88b38eaaf7d042de595ccf72db4fdd1	22	SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25
23	SIZE (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = 4660	23	SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746
24	SHA256 (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a
25	SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482
26	SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4	24	SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
27	SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193	25	SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
28	SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652	26	SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
Lines 39-48 SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab364 Link Here
39	SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273	37	SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
40	SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b	38	SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b
41	SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777	39	SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777
42	SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c	40	SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f
43	SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617	41	SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915
44	SHA256 (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450
45	SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020
46	SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8	42	SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
47	SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647	43	SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
48	SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9	44	SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9
Lines 79-88 SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b8 Link Here
79	SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351	75	SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351
80	SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f	76	SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f
81	SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310	77	SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310
82	SHA256 (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = d057c3f358e1a6b72c73519bc64ba6aa959f066c08fed69f73258555ef95ff12
83	SIZE (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = 10484
84	SHA256 (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
85	SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782
86	SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf	78	SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf
87	SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870	79	SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870
88	SHA256 (cabal/generically-0.1.1/revision/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c	80	SHA256 (cabal/generically-0.1.1/revision/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
Lines 95-100 SHA256 (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cb Link Here
95	SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601	87	SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
96	SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194	88	SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
97	SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718	89	SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
		90	SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
		91	SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
		92	SHA256 (cabal/hsc2hs-0.68.10/revision/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d
		93	SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013
98	SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9	94	SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
99	SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824	95	SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
100	SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a	96	SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
Lines 127-136 SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5 Link Here
127	SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915	123	SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915
128	SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7	124	SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7
129	SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580	125	SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580
130	SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76	126	SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4
131	SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109	127	SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229
132	SHA256 (cabal/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
133	SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
134	SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1	128	SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
135	SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488	129	SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488
136	SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27	130	SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27
Lines 211-217 SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd8 Link Here
211	SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876	205	SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
212	SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8	206	SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8
213	SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342	207	SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342
214	SHA256 (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 9eaa989ad4534438b5beb51c1d3a4c8f6a088fdff0b259a5394fbf39aaee04da	208	SHA256 (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47
215	SIZE (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 369595	209	SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149
216	SHA256 (cabal/zlib-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
217	SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325
218	-