View | Details | Raw Unified | Return to bug 281581
Collapse All | Expand All

(-)b/math/hs-Agda/Makefile (-3 / +3 lines)
Lines 1-5 Link Here
1
PORTNAME=	Agda
1
PORTNAME=	Agda
2
DISTVERSION=	2.7.0
2
DISTVERSION=	2.7.0.1
3
CATEGORIES=	math haskell
3
CATEGORIES=	math haskell
4
4
5
MAINTAINER=	haskell@FreeBSD.org
5
MAINTAINER=	haskell@FreeBSD.org
Lines 21-27 USE_CABAL= OneTuple-0.4.2 \ Link Here
21
		QuickCheck-2.15.0.1 \
21
		QuickCheck-2.15.0.1 \
22
		STMonadTrans-0.4.8_1 \
22
		STMonadTrans-0.4.8_1 \
23
		StateVar-1.2.2 \
23
		StateVar-1.2.2 \
24
		aeson-2.2.3.0_1 \
24
		aeson-2.2.3.0_2 \
25
		alex-3.5.1.0 \
25
		alex-3.5.1.0 \
26
		ansi-terminal-1.1.1 \
26
		ansi-terminal-1.1.1 \
27
		ansi-terminal-types-1.1 \
27
		ansi-terminal-types-1.1 \
Lines 72-78 USE_CABAL= OneTuple-0.4.2 \ Link Here
72
		splitmix-0.1.0.5_1 \
72
		splitmix-0.1.0.5_1 \
73
		strict-0.5.1_1 \
73
		strict-0.5.1_1 \
74
		tagged-0.8.8_1 \
74
		tagged-0.8.8_1 \
75
		text-iso8601-0.1.1 \
75
		text-iso8601-0.1.1_1 \
76
		text-short-0.1.6_2 \
76
		text-short-0.1.6_2 \
77
		th-abstraction-0.7.0.0 \
77
		th-abstraction-0.7.0.0 \
78
		th-compat-0.1.5_2 \
78
		th-compat-0.1.5_2 \
(-)b/math/hs-Agda/distinfo (-6 / +7 lines)
Lines 1-6 Link Here
1
TIMESTAMP = 1724187447
1
TIMESTAMP = 1726698029
2
SHA256 (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 007a0938cd148387a9f8979f3f5f581c7faccafb8ea1624d28349f65c8d4b900
2
SHA256 (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 34f6d60a4d4ef7d1946b785e1ed1e410906546151419da9823c03bdf5705f68e
3
SIZE (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 1890826
3
SIZE (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 1884553
4
SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
4
SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
5
SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
5
SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
6
SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f
6
SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f
Lines 13-20 SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b02805 Link Here
13
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
13
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
14
SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa
14
SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa
15
SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855
15
SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855
16
SHA256 (cabal/aeson-2.2.3.0/revision/1.cabal) = ef66d29cb5b8d87a144838dfd5745bb3ac6b8fc4b142129fac84814baee13660
16
SHA256 (cabal/aeson-2.2.3.0/revision/2.cabal) = 011fa2d67d7a821aa5ec5c825adc919bb067d42dde8fac7c6e5db23239a58866
17
SIZE (cabal/aeson-2.2.3.0/revision/1.cabal) = 6351
17
SIZE (cabal/aeson-2.2.3.0/revision/2.cabal) = 6589
18
SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07
18
SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07
19
SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982
19
SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982
20
SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c
20
SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c
Lines 163-168 SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e07 Link Here
163
SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
163
SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
164
SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202
164
SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202
165
SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599
165
SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599
166
SHA256 (cabal/text-iso8601-0.1.1/revision/1.cabal) = 0af50f6d2e8479b9a956c9c612ec270ea09df4c78c88c5b1bdd98066f576d73d
167
SIZE (cabal/text-iso8601-0.1.1/revision/1.cabal) = 2478
166
SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab
168
SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab
167
SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691
169
SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691
168
SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4
170
SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4
169
- 

Return to bug 281581