diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/hs-Agda/Makefile | 32 | ||||
| -rw-r--r-- | math/hs-Agda/distinfo | 120 | ||||
| -rw-r--r-- | math/hs-Agda/files/pkg-deinstall.in | 9 | ||||
| -rw-r--r-- | math/hs-Agda/files/pkg-install.in | 9 | ||||
| -rw-r--r-- | math/hs-Agda/pkg-plist | 62 |
5 files changed, 205 insertions, 27 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index f23a76084086..a8e4a7c2d14e 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -2,20 +2,40 @@ # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.5.4.2 -PORTREVISION= 1 +PORTVERSION= 2.6.0.1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant -BROKEN= Doesn't build with recent GHC +BUILD_DEPENDS= alex:devel/hs-alex \ + happy:devel/hs-happy USES= cabal -EXECUTABLE= agda-mode agda +USE_LOCALE= en_US.UTF-8 +USE_CABAL= EdisonAPI-1.3.1 EdisonCore-1.3.2.1 QuickCheck-2.13.1 \ + STMonadTrans-0.4.3 aeson-1.4.3.0 alex-3.2.4 async-2.2.1_1 \ + attoparsec-0.13.2.2_2 base-compat-0.10.5 blaze-builder-0.4.1.0 \ + blaze-html-0.9.1.1 blaze-markup-0.8.2.2 boxes-0.1.5 \ + data-hash-0.2.0.1 dlist-0.8.0.6 edit-distance-0.2.2.1_1 \ + equivalence-0.3.4 exceptions-0.10.2 fail-4.9.0.0 \ + geniplate-mirror-0.7.6_1 gitrev-1.3.1 happy-1.19.9_3 hashable-1.2.7.0_1 \ + hashtables-1.2.3.2 ieee754-0.8.0 integer-logarithms-1.0.3 \ + murmur-hash-0.1.0.9 network-uri-2.6.1.0 primitive-0.6.4.0_1 \ + random-1.1_1 regex-base-0.93.2 regex-tdfa-1.2.3.2 \ + scientific-0.3.6.2 split-0.2.3.3_1 splitmix-0.0.2 strict-0.3.2 \ + tagged-0.8.6 th-abstraction-0.3.1.0 time-locale-compat-0.1.1.5 \ + transformers-compat-0.6.5 unordered-containers-0.2.10.0 \ + uri-encode-1.5.0.5 utf8-string-1.0.1.1_3 uuid-types-1.0.3_1 \ + vector-0.12.0.3 zlib-0.6.2 -SUB_FILES= pkg-install pkg-deinstall -SUB_LIST= DATADIR=${DATADIR} +EXECUTABLES= agda-mode agda +agda_DATADIR_VARS= Agda + +post-install: + ${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda + find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} ${PORTNAME}_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \; + cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR} .include <bsd.port.mk> diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index 687707bdb460..20932c1d28ae 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,3 +1,117 @@ -TIMESTAMP = 1545834764 -SHA256 (cabal/Agda-2.5.4.2.tar.gz) = f645add8a47a35da3f37757204fa9c80aeb0993d628fc2057fa343e92e579b1f -SIZE (cabal/Agda-2.5.4.2.tar.gz) = 1988621 +TIMESTAMP = 1559579061 +SHA256 (cabal/Agda-2.6.0.1.tar.gz) = 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 +SIZE (cabal/Agda-2.6.0.1.tar.gz) = 2372106 +SHA256 (cabal/EdisonAPI-1.3.1/EdisonAPI-1.3.1.tar.gz) = 95a3b8d01599520a50456219b5a2e9f7832bcddaaeb8e94ce777bd87a4a6b56e +SIZE (cabal/EdisonAPI-1.3.1/EdisonAPI-1.3.1.tar.gz) = 30512 +SHA256 (cabal/EdisonCore-1.3.2.1/EdisonCore-1.3.2.1.tar.gz) = 73c6014d07107a9ed21df76a59f70c9d68d64ac84cced35f7b628f1d792cf239 +SIZE (cabal/EdisonCore-1.3.2.1/EdisonCore-1.3.2.1.tar.gz) = 82522 +SHA256 (cabal/QuickCheck-2.13.1/QuickCheck-2.13.1.tar.gz) = a6463a96e7af7d6d5614dc919adca6e740b92a66334a55333ffbe44cac89d9c6 +SIZE (cabal/QuickCheck-2.13.1/QuickCheck-2.13.1.tar.gz) = 71215 +SHA256 (cabal/STMonadTrans-0.4.3/STMonadTrans-0.4.3.tar.gz) = 574fd56cf74036c20d00a09d815659dbbb0ae51c8103d00c93cd9558ad3322db +SIZE (cabal/STMonadTrans-0.4.3/STMonadTrans-0.4.3.tar.gz) = 5786 +SHA256 (cabal/aeson-1.4.3.0/aeson-1.4.3.0.tar.gz) = 6564ac0fb429cd4bcafc706fa4b905dab94f57f765ebd96a65c9ba4b9e520c19 +SIZE (cabal/aeson-1.4.3.0/aeson-1.4.3.0.tar.gz) = 272210 +SHA256 (cabal/alex-3.2.4/alex-3.2.4.tar.gz) = d58e4d708b14ff332a8a8edad4fa8989cb6a9f518a7c6834e96281ac5f8ff232 +SIZE (cabal/alex-3.2.4/alex-3.2.4.tar.gz) = 110688 +SHA256 (cabal/async-2.2.1/async-2.2.1.tar.gz) = 8f0b86022a1319d3c1c68655790da4b7f98017982e27ec3f3dbfe01029d39027 +SIZE (cabal/async-2.2.1/async-2.2.1.tar.gz) = 12775 +SHA256 (cabal/async-2.2.1/revision/1.cabal) = 61789382f449a02f827e70a029ba8f24a223b9c6b3792bb094fbd41ee360e851 +SIZE (cabal/async-2.2.1/revision/1.cabal) = 2983 +SHA256 (cabal/attoparsec-0.13.2.2/attoparsec-0.13.2.2.tar.gz) = dd93471eb969172cc4408222a3842d867adda3dd7fb39ad8a4df1b121a67d848 +SIZE (cabal/attoparsec-0.13.2.2/attoparsec-0.13.2.2.tar.gz) = 159729 +SHA256 (cabal/attoparsec-0.13.2.2/revision/2.cabal) = 6a0baba19991e84ef939056e7b411ad3a1ea0fb5e1e8fce7ca50e96c84b206c8 +SIZE (cabal/attoparsec-0.13.2.2/revision/2.cabal) = 5791 +SHA256 (cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 990aea21568956d44ab018c5dbfbaea014b9a0d5295d29ca7550149419a6fb41 +SIZE (cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 33158 +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-html-0.9.1.1/blaze-html-0.9.1.1.tar.gz) = ea0e944298dbbd692b41af4f15dbd1a1574aec7b8f91f38391d25106b143bb1b +SIZE (cabal/blaze-html-0.9.1.1/blaze-html-0.9.1.1.tar.gz) = 81502 +SHA256 (cabal/blaze-markup-0.8.2.2/blaze-markup-0.8.2.2.tar.gz) = c6f0cf8fd707ba8c0b700e0c5ad6a1212c8b57d46a9cbdfb904d8bf585ad82e1 +SIZE (cabal/blaze-markup-0.8.2.2/blaze-markup-0.8.2.2.tar.gz) = 14458 +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/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.6/dlist-0.8.0.6.tar.gz) = 780b4ac91d6e88e77ebf1629568bddd45959b8e0cd295b17c7d55d835c03c73f +SIZE (cabal/dlist-0.8.0.6/dlist-0.8.0.6.tar.gz) = 9057 +SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a +SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228 +SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee +SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351 +SHA256 (cabal/equivalence-0.3.4/equivalence-0.3.4.tar.gz) = c1fe3dae3aaaec95fa9e45b6259134c32a249091b7dc58413a98db4e8421420b +SIZE (cabal/equivalence-0.3.4/equivalence-0.3.4.tar.gz) = 8424 +SHA256 (cabal/exceptions-0.10.2/exceptions-0.10.2.tar.gz) = 918c2ccbfb03caff826726bb7bf5170734b393817ace939f8dea86d60fc1512a +SIZE (cabal/exceptions-0.10.2/exceptions-0.10.2.tar.gz) = 19932 +SHA256 (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 6d5cdb1a5c539425a9665f740e364722e1d9d6ae37fbc55f30fe3dbbbb91d4a2 +SIZE (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 2416 +SHA256 (cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz) = 4b6b82d0348e79ae4a5e1deac029441251ae87ec15a7667cf0a1de5ff80215f8 +SIZE (cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz) = 9314 +SHA256 (cabal/geniplate-mirror-0.7.6/revision/1.cabal) = f30c8b1329ee8a8d3aa17bd6e16d55b821403a556497559be289973cdb16dfdf +SIZE (cabal/geniplate-mirror-0.7.6/revision/1.cabal) = 1071 +SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332 +SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756 +SHA256 (cabal/happy-1.19.9/happy-1.19.9.tar.gz) = 3e81a3e813acca3aae52721c412cde18b7b7c71ecbacfaeaa5c2f4b35abf1d8d +SIZE (cabal/happy-1.19.9/happy-1.19.9.tar.gz) = 179328 +SHA256 (cabal/happy-1.19.9/revision/3.cabal) = f8c774230735a390c287b2980cfcd2703d24d8dde85a01ea721b7b4b4c82944f +SIZE (cabal/happy-1.19.9/revision/3.cabal) = 4667 +SHA256 (cabal/hashable-1.2.7.0/hashable-1.2.7.0.tar.gz) = ecb5efc0586023f5a0dc861100621c1dbb4cbb2f0516829a16ebac39f0432abf +SIZE (cabal/hashable-1.2.7.0/hashable-1.2.7.0.tar.gz) = 30182 +SHA256 (cabal/hashable-1.2.7.0/revision/1.cabal) = 03b6836ca9cd3ad0e5a2f3cce989b001dd0e05f306a873db3196037adb30e0a4 +SIZE (cabal/hashable-1.2.7.0/revision/1.cabal) = 5215 +SHA256 (cabal/hashtables-1.2.3.2/hashtables-1.2.3.2.tar.gz) = d1f3bc6e56f4ca29b1c1648cd3df083480ee83fb3101a678c59e97ce35df9c69 +SIZE (cabal/hashtables-1.2.3.2/hashtables-1.2.3.2.tar.gz) = 58148 +SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1 +SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564 +SHA256 (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262018698af35bb74916fad170d96d3eb44669c72ed36db9a19a3392cec16 +SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840 +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.1.0/network-uri-2.6.1.0.tar.gz) = 423e0a2351236f3fcfd24e39cdbc38050ec2910f82245e69ca72a661f7fc47f0 +SIZE (cabal/network-uri-2.6.1.0/network-uri-2.6.1.0.tar.gz) = 27262 +SHA256 (cabal/primitive-0.6.4.0/primitive-0.6.4.0.tar.gz) = 4cbeaf7924dd79221f327ea101a29bf35c4976dc3319df157ff46ea68e6a0c64 +SIZE (cabal/primitive-0.6.4.0/primitive-0.6.4.0.tar.gz) = 45937 +SHA256 (cabal/primitive-0.6.4.0/revision/1.cabal) = 5b6a2c3cc70a35aabd4565fcb9bb1dd78fe2814a36e62428a9a1aae8c32441a1 +SIZE (cabal/primitive-0.6.4.0/revision/1.cabal) = 2079 +SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a +SIZE (cabal/random-1.1/random-1.1.tar.gz) = 10870 +SHA256 (cabal/random-1.1/revision/1.cabal) = 7b67624fd76ddf97c206de0801dc7e888097e9d572974be9b9ea6551d76965df +SIZE (cabal/random-1.1/revision/1.cabal) = 1777 +SHA256 (cabal/regex-base-0.93.2/regex-base-0.93.2.tar.gz) = 20dc5713a16f3d5e2e6d056b4beb9cfdc4368cd09fd56f47414c847705243278 +SIZE (cabal/regex-base-0.93.2/regex-base-0.93.2.tar.gz) = 9156 +SHA256 (cabal/regex-tdfa-1.2.3.2/regex-tdfa-1.2.3.2.tar.gz) = 0e8ea50b60abbe998b191005695647fc2fcb544bdf5b6829b7e7a48f33bed00f +SIZE (cabal/regex-tdfa-1.2.3.2/regex-tdfa-1.2.3.2.tar.gz) = 67702 +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.3/split-0.2.3.3.tar.gz) = 1dcd674f7c5f276f33300f5fd59e49d1ac6fc92ae949fd06a0f6d3e9d9ac1413 +SIZE (cabal/split-0.2.3.3/split-0.2.3.3.tar.gz) = 15681 +SHA256 (cabal/split-0.2.3.3/revision/1.cabal) = f1c7b12865e38d1e241ceef74c85eb81d82301022fea1a5012d8d9803af5e26f +SIZE (cabal/split-0.2.3.3/revision/1.cabal) = 2614 +SHA256 (cabal/splitmix-0.0.2/splitmix-0.0.2.tar.gz) = e6abb71ab9c1daeb35262523f23adf7d5d70dfbf097ec40caf91b35866a43bf9 +SIZE (cabal/splitmix-0.0.2/splitmix-0.0.2.tar.gz) = 9865 +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/th-abstraction-0.3.1.0/th-abstraction-0.3.1.0.tar.gz) = 4b9e1bcc6ec3d897fb09c3d7fa2f37f0672d5370e0e3e49809886da81fe001b9 +SIZE (cabal/th-abstraction-0.3.1.0/th-abstraction-0.3.1.0.tar.gz) = 34248 +SHA256 (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 07ff1566de7d851423a843b2de385442319348c621d4f779b3d365ce91ac502c +SIZE (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 1956 +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 +SIZE (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 44733 +SHA256 (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = e82b588aad63112d34f6bad6f1ef72489b9edebfe14f2f523dc1dabdcbe2b186 +SIZE (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = 3447 +SHA256 (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140 +SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667 +SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b +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/1.cabal) = 01887ed945e74c3c361b00700bd9aeead37d1124d39c0d4f190f89fb0e909c47 +SIZE (cabal/uuid-types-1.0.3/revision/1.cabal) = 2473 +SHA256 (cabal/vector-0.12.0.3/vector-0.12.0.3.tar.gz) = b8a2bfbf9d22d34a28cde9b9e92bfb054e46797754154dd5883295c38936e5a8 +SIZE (cabal/vector-0.12.0.3/vector-0.12.0.3.tar.gz) = 124899 +SHA256 (cabal/zlib-0.6.2/zlib-0.6.2.tar.gz) = 0dcc7d925769bdbeb323f83b66884101084167501f11d74d21eb9bc515707fed +SIZE (cabal/zlib-0.6.2/zlib-0.6.2.tar.gz) = 142677 diff --git a/math/hs-Agda/files/pkg-deinstall.in b/math/hs-Agda/files/pkg-deinstall.in deleted file mode 100644 index 2b2d2656ddf5..000000000000 --- a/math/hs-Agda/files/pkg-deinstall.in +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -PKG_DATADIR=%%DATADIR%% - -if [ "$2" = "POST-DEINSTALL" ]; then - for ai in $(find ${PKG_DATADIR}/lib/prim/Agda -name '*.agdai'); do - rm $ai - done -fi diff --git a/math/hs-Agda/files/pkg-install.in b/math/hs-Agda/files/pkg-install.in deleted file mode 100644 index 7e5bff441da7..000000000000 --- a/math/hs-Agda/files/pkg-install.in +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -PKG_DATADIR=%%DATADIR%% - -if [ "$2" = "POST-INSTALL" ]; then - for a in $(find ${PKG_DATADIR}/lib/prim/Agda -name '*.agda'); do - ${PKG_PREFIX}/bin/agda $a - done -fi diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist new file mode 100644 index 000000000000..b2ca3c79654c --- /dev/null +++ b/math/hs-Agda/pkg-plist @@ -0,0 +1,62 @@ +%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Char.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Char.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Coinduction.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Erase.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Equality/Rewrite.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Float.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Float.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agda +%%DATADIR%%/lib/prim/Agda/Builtin/FromNat.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agda +%%DATADIR%%/lib/prim/Agda/Builtin/FromNeg.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/FromString.agda +%%DATADIR%%/lib/prim/Agda/Builtin/FromString.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/IO.agda +%%DATADIR%%/lib/prim/Agda/Builtin/IO.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Int.agda +%%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/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/Sigma.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Sigma.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Size.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Size.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Strict.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Strict.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/String.agda +%%DATADIR%%/lib/prim/Agda/Builtin/String.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agda +%%DATADIR%%/lib/prim/Agda/Builtin/String/Properties.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agda +%%DATADIR%%/lib/prim/Agda/Builtin/TrustMe.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Unit.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Unit.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Word.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Word.agdai +%%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agda +%%DATADIR%%/lib/prim/Agda/Builtin/Word/Properties.agdai +%%DATADIR%%/lib/prim/Agda/Primitive.agda +%%DATADIR%%/lib/prim/Agda/Primitive.agdai +%%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agda +%%DATADIR%%/lib/prim/Agda/Primitive/Cubical.agdai |