Skip to content

Commit

Permalink
math/hs-Agda: Update to 2.6.4.3
Browse files Browse the repository at this point in the history 
PR:		277730
  • Loading branch information
@arrowd
Andrey Korobkov authored and arrowd committed Mar 16, 2024
1 parent b7da733 commit 527e6c4
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 39 deletions.
23 changes: 11 additions & 12 deletions math/hs-Agda/Makefile
View file
@@ -1,5 +1,5 @@
PORTNAME= Agda
PORTVERSION= 2.6.4.1
PORTVERSION= 2.6.4.3
CATEGORIES= math haskell

MAINTAINER= haskell@FreeBSD.org
Expand All @@ -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

Expand All @@ -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 \
Expand All @@ -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 \
Expand All @@ -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 \
Expand All @@ -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}
Expand All @@ -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}
Expand Down
46 changes: 19 additions & 27 deletions math/hs-Agda/distinfo
View file
@@ -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
Expand All @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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

0 comments on commit 527e6c4

Please sign in to comment.