Date: Sat, 16 Mar 2024 11:52:31 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 527e6c404244 - main - math/hs-Agda: Update to 2.6.4.3 Message-ID: <202403161152.42GBqVOS023916@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403161152.42GBqVOS023916>