git: 527e6c404244 - main - math/hs-Agda: Update to 2.6.4.3
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 16 Mar 2024 11:52:31 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=527e6c404244e02316add1fff56ecd2ef539a58e
commit 527e6c404244e02316add1fff56ecd2ef539a58e
Author: Andrey Korobkov <alster@vinterdalen.se>
AuthorDate: 2024-03-16 11:36:59 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:51:15 +0000
math/hs-Agda: Update to 2.6.4.3
PR: 277730
---
math/hs-Agda/Makefile | 23 +++++++++++------------
math/hs-Agda/distinfo | 46 +++++++++++++++++++---------------------------
2 files changed, 30 insertions(+), 39 deletions(-)
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index c8dbae518b67..7ccf308f95ce 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,5 +1,5 @@
PORTNAME= Agda
-PORTVERSION= 2.6.4.1
+PORTVERSION= 2.6.4.3
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
@@ -11,9 +11,9 @@ 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
+BROKEN_i386= compiler goes out of memory
-BUILD_DEPENDS= emacs:editors/emacs
+BUILD_DEPENDS= emacs:editors/emacs@nox
USES= cabal
@@ -24,16 +24,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 +46,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 +61,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 +87,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 +96,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