From nobody Fri Oct 22 14:25:39 2021 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 716831816450; Fri, 22 Oct 2021 14:25:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HbRTb2nG7z3D38; Fri, 22 Oct 2021 14:25:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 3FAA9107A1; Fri, 22 Oct 2021 14:25:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 19MEPdWV085711; Fri, 22 Oct 2021 14:25:39 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 19MEPddW085710; Fri, 22 Oct 2021 14:25:39 GMT (envelope-from git) Date: Fri, 22 Oct 2021 14:25:39 GMT Message-Id: <202110221425.19MEPddW085710@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: f4a961f81b11 - main - math/hs-Agda: Update to 2.6.2 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: f4a961f81b11b83af23432adc8e9d68b59feecba Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=f4a961f81b11b83af23432adc8e9d68b59feecba commit f4a961f81b11b83af23432adc8e9d68b59feecba Author: Alexis Praga AuthorDate: 2021-10-01 17:53:47 +0000 Commit: Gleb Popov 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 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