git: f4a961f81b11 - main - math/hs-Agda: Update to 2.6.2
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 22 Oct 2021 14:25:39 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=f4a961f81b11b83af23432adc8e9d68b59feecba
commit f4a961f81b11b83af23432adc8e9d68b59feecba
Author: Alexis Praga <alexis.praga@free.fr>
AuthorDate: 2021-10-01 17:53:47 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2021-10-22 14:25:14 +0000
math/hs-Agda: Update to 2.6.2
---
math/hs-Agda/Makefile | 34 +++++++++++++++++++++-------------
math/hs-Agda/distinfo | 48 +++++++++++++++++++++++++++++++++++-------------
math/hs-Agda/pkg-plist | 4 ++++
3 files changed, 60 insertions(+), 26 deletions(-)
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 2c1e3d0f49e9..f7619c6002ff 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,13 +1,17 @@
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
PORTNAME= Agda
-PORTVERSION= 2.6.1.3
-PORTREVISION= 1
+PORTVERSION= 2.6.2
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
COMMENT= Dependently typed functional programming language and proof assistant
+LICENSE= UNKNOWN
+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
BUILD_DEPENDS= emacs:editors/emacs
@@ -18,17 +22,18 @@ USE_LOCALE= en_US.UTF-8
USE_CABAL= Cabal-3.0.2.0 \
STMonadTrans-0.4.4 \
- aeson-1.4.7.1_1 \
- alex-3.2.5 \
+ aeson-1.4.7.1_2 \
+ alex-3.2.5_1 \
async-2.2.2_1 \
- attoparsec-0.13.2.4 \
+ attoparsec-0.13.2.4_1 \
base-compat-0.11.1 \
base-compat-batteries-0.11.1 \
base-orphans-0.8.2 \
- blaze-builder-0.4.1.0 \
- blaze-html-0.9.1.2 \
+ blaze-builder-0.4.1.0_1 \
+ blaze-html-0.9.1.2_1 \
blaze-markup-0.8.2.5 \
boxes-0.1.5 \
+ case-insensitive-1.2.1.0 \
data-hash-0.2.0.1 \
dlist-0.8.0.8 \
edit-distance-0.2.2.1_1 \
@@ -37,27 +42,30 @@ USE_CABAL= Cabal-3.0.2.0 \
geniplate-mirror-0.7.7 \
gitrev-1.3.1 \
happy-1.19.12 \
- hashable-1.3.0.0_1 \
+ hashable-1.3.0.0_2 \
hashtables-1.2.3.4 \
ieee754-0.8.0 \
integer-logarithms-1.0.3_2 \
+ monad-control-1.0.3.1 \
murmur-hash-0.1.0.9 \
- network-uri-2.6.3.0 \
+ network-uri-2.6.3.0_1 \
+ parallel-3.2.2.0_3 \
primitive-0.7.0.1 \
random-1.1_1 \
regex-base-0.94.0.0_1 \
- regex-tdfa-1.3.1.0_1 \
+ regex-tdfa-1.3.1.0_2 \
scientific-0.3.6.2 \
- split-0.2.3.4 \
+ split-0.2.3.4_2 \
strict-0.3.2 \
- tagged-0.8.6_2 \
+ tagged-0.8.6_3 \
th-abstraction-0.3.2.0 \
time-compat-1.9.3 \
+ transformers-base-0.4.6 \
transformers-compat-0.6.5 \
unordered-containers-0.2.10.0_1 \
uri-encode-1.5.0.5 \
utf8-string-1.0.1.1_3 \
- uuid-types-1.0.3_2 \
+ uuid-types-1.0.3_4 \
vector-0.12.1.2 \
zlib-0.6.2.1_1
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index 4ba66d6d366c..fa9fec68eb85 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,22 +1,26 @@
-TIMESTAMP = 1614527277
-SHA256 (cabal/Agda-2.6.1.3.tar.gz) = bb1bc840cee95eea291bd220ea043b60153a6f7bd8198bc53be2bf3b83c8a1e7
-SIZE (cabal/Agda-2.6.1.3.tar.gz) = 2716612
+TIMESTAMP = 1633109477
+SHA256 (cabal/Agda-2.6.2.tar.gz) = 072caaad7a405b764423958d2001b68fbfd3fc8f98870cd0a5f0bcaeadfd3095
+SIZE (cabal/Agda-2.6.2.tar.gz) = 2872739
SHA256 (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 65d3d7e953388df26c748c4ca2c57175e71a71e779fe6b1a77f6639c4336ea07
SIZE (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 758932
SHA256 (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 1ae82a40060b8014981b8f4d45517f80f02456e73245030993c4c9123b827103
SIZE (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 6298
SHA256 (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 07e746655fd9bec81c59927c5617877ff4fcd81d0df45c5fb8ef154fb8f40294
SIZE (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 277911
-SHA256 (cabal/aeson-1.4.7.1/revision/1.cabal) = 6d8d2fd959b7122a1df9389cf4eca30420a053d67289f92cdc0dbc0dab3530ba
-SIZE (cabal/aeson-1.4.7.1/revision/1.cabal) = 7098
+SHA256 (cabal/aeson-1.4.7.1/revision/2.cabal) = 6199a98b072e5a7748e81ab72476a0992cf23d925ebe4fefd5b917cbda9c2af8
+SIZE (cabal/aeson-1.4.7.1/revision/2.cabal) = 7098
SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3
SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531
+SHA256 (cabal/alex-3.2.5/revision/1.cabal) = dae09bfcac2fe2ac7e967c0e565fd0bc1b5b3ed5e0ca450a004b9497e9d44d17
+SIZE (cabal/alex-3.2.5/revision/1.cabal) = 4225
SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff
SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927
SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd
SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934
SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2
SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431
+SHA256 (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5941a05141a61239e8d6c4f2c9876bec3765d786766721b8474b8625febf914a
+SIZE (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5796
SHA256 (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 356f1542ec93e7192a9073d32a8ef1e48194275495dcec7fb0d241f4baaf6d36
SIZE (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 33691
SHA256 (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = caf66fed3c0a3b0437692cad18c93a7074e8524a86b8be1ce04d0a18cbf6aed8
@@ -25,12 +29,18 @@ SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee41
SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727
SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814
SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365
+SHA256 (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3231635f58df8f62a4e791d3ccade450d07dd370bf97729a8d0fabf113acc6dc
+SIZE (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3558
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/1.cabal) = 49db3eb70fa93fb572f3a9233b542b59e7f766a2b95c92d01d95a596c7727473
+SIZE (cabal/blaze-html-0.9.1.2/revision/1.cabal) = 3048
SHA256 (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 1bd3ba68775e4a11efc71567e30e8ef3d27801c6b5fe4a1abf57dd747af37661
SIZE (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 14529
SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3
SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598
+SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406
+SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609
SHA256 (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe
SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504
SHA256 (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 7129cf18068d3384e305708a10426ab8f573bee1030b023a114f45f1d0ec496d
@@ -51,8 +61,8 @@ SHA256 (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a
SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254
SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4
SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835
-SHA256 (cabal/hashable-1.3.0.0/revision/1.cabal) = 4c70f1407881059e93550d3742191254296b2737b793a742bd901348fb3e1fb1
-SIZE (cabal/hashable-1.3.0.0/revision/1.cabal) = 5206
+SHA256 (cabal/hashable-1.3.0.0/revision/2.cabal) = d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b
+SIZE (cabal/hashable-1.3.0.0/revision/2.cabal) = 5389
SHA256 (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 125ce62701fba3f666609f5c75f452005aa5d32dff4eeee3f3903c30b2ed55e6
SIZE (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 58458
SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1
@@ -61,10 +71,18 @@ SHA256 (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262
SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840
SHA256 (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 63d42595ec92b71ac98a07b984b0a2eb3d4956f4ad2d856c3bf6fc3dc218d228
SIZE (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 2820
+SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c
+SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985
SHA256 (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 89b9db94ead4cc0784dbcfb47c51b5664c1718860db00cd8ada3ef6fdd4465ad
SIZE (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 4204
SHA256 (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = a01c1389f15d2cc2e847914737f706133bb11f0c5f8ee89711a36a25b7afa723
SIZE (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = 31997
+SHA256 (cabal/network-uri-2.6.3.0/revision/1.cabal) = 43727dafd00531c8c9df1ed4ee1cf363d76111f8e841193a3397a2a4c5f79b3f
+SIZE (cabal/network-uri-2.6.3.0/revision/1.cabal) = 3033
+SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6
+SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681
+SHA256 (cabal/parallel-3.2.2.0/revision/3.cabal) = 421ce1717610bab82969572b96be89d83ea8d8afe7751cb54d80b996fff063d3
+SIZE (cabal/parallel-3.2.2.0/revision/3.cabal) = 1817
SHA256 (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = dd8bb7d829f492d6200fca4a839a7563b80571c5f76b4d0fa76700ebe897f7dd
SIZE (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = 66023
SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a
@@ -77,22 +95,26 @@ SHA256 (cabal/regex-base-0.94.0.0/revision/1.cabal) = 44aa95ca762294ffbb28cf0af9
SIZE (cabal/regex-base-0.94.0.0/revision/1.cabal) = 2253
SHA256 (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 15c376783d397b3b9933cf35980808feddde273bd6f2445babbccb2f76a42ec0
SIZE (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 77767
-SHA256 (cabal/regex-tdfa-1.3.1.0/revision/1.cabal) = bec13812a56a904ff3510caa19fe1b3ce3939e303604b1bcb3162771c52311ba
-SIZE (cabal/regex-tdfa-1.3.1.0/revision/1.cabal) = 6324
+SHA256 (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = eb8d0f007cf45faca8574f56f0d19c9b02bc529ef1688d8f8a9751ce7dc36cc3
+SIZE (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = 6483
SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f
SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510
SHA256 (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 271fe5104c9f40034aa9a1aad6269bcecc9454bc5a57c247e69e17de996c1f2a
SIZE (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 15942
+SHA256 (cabal/split-0.2.3.4/revision/2.cabal) = a6df9c3e806ee7cb50bc980a183fc1156f35022a39430dabac0bf9456fe18a4b
+SIZE (cabal/split-0.2.3.4/revision/2.cabal) = 2647
SHA256 (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 2cd35a67938db635a87617d9576d5df0158b581e8e5694f07487c0f4b1549221
SIZE (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 3948
SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd
SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759
-SHA256 (cabal/tagged-0.8.6/revision/2.cabal) = 1f7ca84e6c88cbb923641c60041c9f56c34f1a889759cc073cdf10542b441ff9
-SIZE (cabal/tagged-0.8.6/revision/2.cabal) = 2606
+SHA256 (cabal/tagged-0.8.6/revision/3.cabal) = 7cce0b9355d1daad797555dfa906f756ed0253a40bc826ca367adf21d7b369f3
+SIZE (cabal/tagged-0.8.6/revision/3.cabal) = 2606
SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79
SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111
SHA256 (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = bb6a44e667945ddca8ded93e041ee91986a4a19f59e149a5dd21fdb1bfa3db88
SIZE (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = 50050
+SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
+SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
SHA256 (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = da67cf11515da751b32a8ce6e96549f7268f7c435769ad19dc9766b69774620b
SIZE (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = 40421
SHA256 (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 65f117bdbdea9efc75fb9fd539873de7687e005d8898bb21821020a4b383c573
@@ -107,8 +129,8 @@ SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6
SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151
SHA256 (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 9276517ab24a9b06f39d6e3c33c6c2b4ace1fc2126dbc1cd9806866a6551b3fd
SIZE (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 11999
-SHA256 (cabal/uuid-types-1.0.3/revision/2.cabal) = 2cab161f274309cfd9ef62694a6bd1b47525bc4c79a827293b055e4a9eadb4d2
-SIZE (cabal/uuid-types-1.0.3/revision/2.cabal) = 2473
+SHA256 (cabal/uuid-types-1.0.3/revision/4.cabal) = 963505cf2eeadb4f1c14336cda8ee8a0e658386450caa6eef34100e44b73fc46
+SIZE (cabal/uuid-types-1.0.3/revision/4.cabal) = 2462
SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd
SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049
SHA256 (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = f0f810ff173560b60392db448455c0513b3239f48e43cb494b3733aa559621d0
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
index bd35e54eefb9..694d4e40fe2e 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -47,10 +47,14 @@
%%DATADIR%%/lib/prim/Agda/Builtin/Int.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/List.agda
%%DATADIR%%/lib/prim/Agda/Builtin/List.agdai
+%%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agda
+%%DATADIR%%/lib/prim/Agda/Builtin/Maybe.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Nat.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Nat.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection.agdai
+%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agda
+%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/External.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Reflection/Properties.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agda