Attachment 249213 Details for Bug 277730 – [PATCH] math/hs-Agda: Update to 2.6.4.3

[patch] [PATCH] math/hs-Agda: Update to 2.6.4.3

0001-math-hs-Agda-Update-to-2.6.4.3.patch (text/plain), 11.23 KB, created by Älven on 2024-03-16 10:15:40 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Älven

Created: 2024-03-16 10:15:40 UTC

Size: 11.23 KB

patch

obsolete

>From 3e0f3f3cc7b9b5aaf409eb8118bf31c8941fa0f4 Mon Sep 17 00:00:00 2001
>From: Andrey Korobkov <alster@vinterdalen.se>
>Date: Sat, 16 Mar 2024 13:00:33 +0400
>Subject: [PATCH] math/hs-Agda: Update to 2.6.4.3
>
>PR: 277730
>---
> math/hs-Agda/Makefile | 28 +++++++++++---------------
> math/hs-Agda/distinfo | 46 ++++++++++++++++++-------------------------
> 2 files changed, 31 insertions(+), 43 deletions(-)
>
>diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
>index c8dbae518b67..3dd297127d74 100644
>--- a/math/hs-Agda/Makefile
>+++ b/math/hs-Agda/Makefile
>@@ -1,19 +1,16 @@
> PORTNAME=	Agda
>-PORTVERSION=	2.6.4.1
>+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=	UNKNOWN
>-LICENSE_NAME=	custom
>-LICENSE_FILE=	${WRKSRC}/LICENSE
>-LICENSE_PERMS=	dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept
>+LICENSE=	MIT
> 
>-BROKEN_i386=	Compiler goes out of memory
>+BROKEN_i386=	compiler goes out of memory
> 
>-BUILD_DEPENDS=	emacs:editors/emacs
>+BUILD_DEPENDS=	emacs:editors/emacs@nox
> 
> USES=		cabal
> 
>@@ -24,16 +21,16 @@ USE_CABAL=	OneTuple-0.4.1.1_1 \
> 		STMonadTrans-0.4.8 \
> 		StateVar-1.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 \
>+		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.1.2_4 \
>+		blaze-html-0.9.2.0 \
> 		blaze-markup-0.8.3.0_1 \
> 		boxes-0.1.5 \
> 		case-insensitive-1.2.1.0 \
>@@ -46,11 +43,11 @@ USE_CABAL=	OneTuple-0.4.1.1_1 \
> 		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 \
>@@ -61,7 +58,7 @@ USE_CABAL=	OneTuple-0.4.1.1_1 \
> 		parallel-3.2.2.0_7 \
> 		peano-0.1.0.2 \
> 		primitive-0.9.0.0 \
>-		random-1.2.1.1_1 \
>+		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 \
>@@ -87,8 +84,7 @@ USE_CABAL=	OneTuple-0.4.1.1_1 \
> 		vector-hashtables-0.1.1.4 \
> 		vector-stream-0.1.0.1 \
> 		witherable-0.4.2_4 \
>-		zlib-0.6.3.0_4
>-
>+		zlib-0.7.0.0
> 
> CABAL_EXECUTABLES=	agda-mode agda
> CABAL_WRAPPER_SCRIPTS=	${CABAL_EXECUTABLES}
>@@ -97,7 +93,7 @@ agda-mode_DATADIR_VARS=	Agda
> 
> 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 {} \;
>+	${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}
>diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
>index 0719c07a3bb9..542123deacfe 100644
>--- a/math/hs-Agda/distinfo
>+++ b/math/hs-Agda/distinfo
>@@ -1,6 +1,6 @@
>-TIMESTAMP = 1706798494
>-SHA256 (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080
>-SIZE (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 1893496
>+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
>@@ -15,14 +15,12 @@ SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cba
> 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/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/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
>@@ -39,10 +37,8 @@ SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab364
> 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.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/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450
>-SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020
>+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-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
>@@ -79,10 +75,6 @@ SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b8
> 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
>@@ -95,6 +87,10 @@ SHA256 (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cb
> 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
>@@ -127,10 +123,8 @@ SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5
> 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.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.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
>-SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
>+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/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
>@@ -211,7 +205,5 @@ SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd8
> 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.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/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
>-SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325
>+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
>-- 
>2.44.0
>

Flags:

alster: maintainer-approval? (haskell)

Actions: View | Diff

Attachments on bug 277730: 249212 | 249213