summaryrefslogtreecommitdiff
path: root/math/hs-Agda
diff options
context:
space:
mode:
Diffstat (limited to 'math/hs-Agda')
-rw-r--r--math/hs-Agda/Makefile124
-rw-r--r--math/hs-Agda/distinfo262
-rw-r--r--math/hs-Agda/pkg-plist19
3 files changed, 248 insertions, 157 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 7a2202817ce9..84d8bc83d417 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,6 +1,5 @@
PORTNAME= Agda
-DISTVERSION= 2.7.0.1
-PORTREVISION= 1
+DISTVERSION= 2.8.0
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
@@ -18,80 +17,101 @@ USES= cabal
USE_LOCALE= en_US.UTF-8
-USE_CABAL= OneTuple-0.4.2 \
- QuickCheck-2.15.0.1 \
+USE_CABAL= ListLike-4.7.8.3 \
+ OneTuple-0.4.2_1 \
+ QuickCheck-2.16.0.0 \
STMonadTrans-0.4.8_1 \
StateVar-1.2.2 \
- aeson-2.2.3.0_2 \
- alex-3.5.1.0 \
- ansi-terminal-1.1.1 \
- ansi-terminal-types-1.1 \
- assoc-1.1.1 \
- async-2.2.5_2 \
- base-compat-0.14.0 \
- base-orphans-0.9.2 \
- bifunctors-5.6.2 \
- blaze-builder-0.4.2.3 \
+ aeson-2.2.3.0_4 \
+ alex-3.5.3.0 \
+ ansi-terminal-1.1.3 \
+ ansi-terminal-types-1.1.3 \
+ ap-normalize-0.1.0.1 \
+ assoc-1.1.1_1 \
+ async-2.2.5_3 \
+ base-compat-0.14.1 \
+ base-orphans-0.9.3 \
+ bifunctors-5.6.2_2 \
+ blaze-builder-0.4.3 \
blaze-html-0.9.2.0_1 \
blaze-markup-0.8.3.0_2 \
boxes-0.1.5 \
case-insensitive-1.2.1.0 \
character-ps-0.1 \
colour-2.3.6 \
- comonad-5.0.8_2 \
+ comonad-5.0.9_1 \
contravariant-1.5.5 \
- data-fix-0.3.4 \
+ data-default-0.8.0.1 \
+ data-fix-0.3.4_1 \
data-hash-0.2.0.1 \
distributive-0.6.2.1_1 \
dlist-1.0_2 \
edit-distance-0.2.2.1_1 \
+ enummapset-0.7.3.0 \
equivalence-0.4.1 \
- generically-0.1.1_3 \
+ filelock-0.1.1.7 \
+ filemanip-0.3.6.3_1 \
+ fmlist-0.9.4 \
+ generic-data-1.1.0.2 \
+ generic-deriving-1.14.6_1 \
+ generically-0.1.1_4 \
gitrev-1.3.1 \
- happy-1.20.1.1 \
- hashable-1.5.0.0 \
- hsc2hs-0.68.10_2 \
- indexed-traversable-0.1.4 \
- indexed-traversable-instances-0.1.2 \
- integer-conversion-0.1.1 \
- integer-logarithms-1.0.3.1_6 \
+ happy-2.1.6 \
+ happy-lib-2.1.6 \
+ hashable-1.5.0.0_1 \
+ hsc2hs-0.68.10_4 \
+ indexed-traversable-0.1.4_1 \
+ indexed-traversable-instances-0.1.2_1 \
+ integer-conversion-0.1.1_1 \
+ integer-logarithms-1.0.4 \
+ invariant-0.6.4_1 \
monad-control-1.0.3.1 \
- murmur-hash-0.1.0.10_1 \
+ murmur-hash-0.1.0.11 \
network-uri-2.6.4.2_1 \
- os-string-2.0.6 \
- parallel-3.2.2.0_8 \
+ nonempty-containers-0.3.5.0 \
+ nonempty-vector-0.2.4 \
+ optparse-applicative-0.19.0.0 \
+ os-string-2.0.7_1 \
+ parallel-3.2.2.0_9 \
peano-0.1.0.2 \
- pqueue-1.5.0.0_2 \
- primitive-0.9.0.0_1 \
- random-1.2.1.2 \
- regex-base-0.94.0.2_4 \
- regex-tdfa-1.3.2.2_3 \
- scientific-0.3.8.0_1 \
- semialign-1.3.1_1 \
- semigroupoids-6.0.1_1 \
+ pqueue-1.5.0.0_3 \
+ prettyprinter-1.7.1 \
+ prettyprinter-ansi-terminal-1.1.3 \
+ primitive-0.9.1.0 \
+ process-extras-0.7.4_1 \
+ profunctors-5.6.3 \
+ random-1.3.1 \
+ regex-base-0.94.0.3 \
+ regex-tdfa-1.3.2.4 \
+ scientific-0.3.8.0_2 \
+ semialign-1.3.1_2 \
+ semigroupoids-6.0.1_2 \
+ show-combinators-0.2.0.0_2 \
split-0.2.5 \
- splitmix-0.1.0.5_1 \
+ splitmix-0.1.3.1 \
strict-0.5.1_1 \
- tagged-0.8.8_1 \
- text-iso8601-0.1.1_1 \
- text-short-0.1.6_2 \
- th-abstraction-0.7.0.0 \
- th-compat-0.1.5_2 \
- these-1.2.1_1 \
- time-compat-1.9.7_2 \
+ tagged-0.8.9 \
+ tasty-1.5.3_2 \
+ text-iso8601-0.1.1_2 \
+ text-short-0.1.6_3 \
+ th-abstraction-0.7.1.0_1 \
+ th-compat-0.1.6 \
+ these-1.2.1_2 \
+ time-compat-1.9.8 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
- unordered-containers-0.2.20_3 \
+ unix-compat-0.7.4 \
+ unordered-containers-0.2.20_4 \
uri-encode-1.5.0.7_3 \
utf8-string-1.0.2 \
- uuid-types-1.0.6_1 \
- vector-0.13.1.0_1 \
- vector-hashtables-0.1.2.0 \
- vector-stream-0.1.0.1_1 \
+ uuid-types-1.0.6_3 \
+ vector-0.13.2.0_1 \
+ vector-hashtables-0.1.2.1 \
+ vector-stream-0.1.0.1_3 \
witherable-0.5_1 \
- zlib-0.7.1.0_1
+ zlib-0.7.1.0_2
-CABAL_EXECUTABLES= agda-mode agda
+CABAL_EXECUTABLES= agda agda-mode
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
agda_DATADIR_VARS= Agda
agda-mode_DATADIR_VARS= Agda
@@ -99,10 +119,10 @@ agda-mode_DATADIR_VARS= Agda
PLIST_SUB= AGDA_VER=${PORTVERSION}
post-install:
- #${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
+ ${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 {} \;
${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}
+ cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
.include <bsd.port.mk>
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index 032e7c9870d0..ac58d756047f 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,10 +1,14 @@
-TIMESTAMP = 1726698029
-SHA256 (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 34f6d60a4d4ef7d1946b785e1ed1e410906546151419da9823c03bdf5705f68e
-SIZE (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 1884553
+TIMESTAMP = 1753988362
+SHA256 (cabal/Agda-2.8.0/Agda-2.8.0.tar.gz) = 86841907e78a5aafcf57b09edb7d50036f7de1b2217c8b58e2c57d6004969ba0
+SIZE (cabal/Agda-2.8.0/Agda-2.8.0.tar.gz) = 1951997
+SHA256 (cabal/ListLike-4.7.8.3/ListLike-4.7.8.3.tar.gz) = 14febee9bf5ed7f17a7d33e3e57308b161df3fb5b4c59e2c20142ef17e133836
+SIZE (cabal/ListLike-4.7.8.3/ListLike-4.7.8.3.tar.gz) = 33329
SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
-SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f
-SIZE (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = 81502
+SHA256 (cabal/OneTuple-0.4.2/revision/1.cabal) = dd7266f983da2970e5662168add810dabadabb3a4bb9b137181eafc0ac7ea4d4
+SIZE (cabal/OneTuple-0.4.2/revision/1.cabal) = 2013
+SHA256 (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 0b563fa6ea11653d76d57e96625f4a476e02b9fdaeba9c05d2ccc10d8da802c0
+SIZE (cabal/QuickCheck-2.16.0.0/QuickCheck-2.16.0.0.tar.gz) = 83903
SHA256 (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 839eff14d9f1d2d37f485edf116740d996e1ee9fa82ca2e0a73dfcae0ad5b851
SIZE (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 7458
SHA256 (cabal/STMonadTrans-0.4.8/revision/1.cabal) = 229e84983eba8df59e5da922afd25c77403577c3cc9120ea9c59693ec9a3b52e
@@ -13,28 +17,34 @@ SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b02805
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa
SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855
-SHA256 (cabal/aeson-2.2.3.0/revision/2.cabal) = 011fa2d67d7a821aa5ec5c825adc919bb067d42dde8fac7c6e5db23239a58866
-SIZE (cabal/aeson-2.2.3.0/revision/2.cabal) = 6589
-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.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c
-SIZE (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 35398
-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/aeson-2.2.3.0/revision/4.cabal) = 7d48c2395ef168d2c2070fdb02c7998384be27d31a03bb35d1740af4a19a857b
+SIZE (cabal/aeson-2.2.3.0/revision/4.cabal) = 6368
+SHA256 (cabal/alex-3.5.3.0/alex-3.5.3.0.tar.gz) = a5cd52e2dd2837138523e2e24ec3435b8cf2624afd50725105e644226e0b9ec6
+SIZE (cabal/alex-3.5.3.0/alex-3.5.3.0.tar.gz) = 92759
+SHA256 (cabal/ansi-terminal-1.1.3/ansi-terminal-1.1.3.tar.gz) = 88d11a165cd709bfd603b4bc36afd5b39d3e9eec69ee466ca4359441d468c092
+SIZE (cabal/ansi-terminal-1.1.3/ansi-terminal-1.1.3.tar.gz) = 32633
+SHA256 (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689
+SIZE (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 8791
+SHA256 (cabal/ap-normalize-0.1.0.1/ap-normalize-0.1.0.1.tar.gz) = 820613b12ce759c8c8a254c78a0e4c474b2cd4cfd08fc0c1d4d5584c58ff2288
+SIZE (cabal/ap-normalize-0.1.0.1/ap-normalize-0.1.0.1.tar.gz) = 6725
SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6
SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158
+SHA256 (cabal/assoc-1.1.1/revision/1.cabal) = 0ab39b4d1feb4caca95ac6e314f48782b27a86a6b8d1f5e8dc4be9fbed11185f
+SIZE (cabal/assoc-1.1.1/revision/1.cabal) = 1420
SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
-SHA256 (cabal/async-2.2.5/revision/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35
-SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257
-SHA256 (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = f146de664ac838ebe18ec9360df82da3660149dc7d51fd29bcb61d653b799c50
-SIZE (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = 42744
-SHA256 (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 6211900916955b84687c61b5e4fa98ce110e511a96086b7a93f06dd63c97ba93
-SIZE (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 26705
+SHA256 (cabal/async-2.2.5/revision/3.cabal) = b7648c6165729a973d95cb328f9fd874813a81c727707e8b2552b4f03399763b
+SIZE (cabal/async-2.2.5/revision/3.cabal) = 3366
+SHA256 (cabal/base-compat-0.14.1/base-compat-0.14.1.tar.gz) = 74e655541e645e8fc7aade1e6a1b6973561be0bca9369bc1623aa345019a35e9
+SIZE (cabal/base-compat-0.14.1/base-compat-0.14.1.tar.gz) = 32244
+SHA256 (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 17a35079c8719014560c028d9805ec1301b900972adf212e00af23fe3ebfabd8
+SIZE (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 19923
SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a
SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193
-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/bifunctors-5.6.2/revision/2.cabal) = 115a621c4eaaabb07834f9e4dd3371e21f39d034305062f4bd5cd72c2f8880d2
+SIZE (cabal/bifunctors-5.6.2/revision/2.cabal) = 3332
+SHA256 (cabal/blaze-builder-0.4.3/blaze-builder-0.4.3.tar.gz) = 02646abf6f3d3a5a73ff5aef589fa5b889601ffb9765b03bdf9df98648bc7fee
+SIZE (cabal/blaze-builder-0.4.3/blaze-builder-0.4.3.tar.gz) = 60686
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-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58
@@ -51,14 +61,18 @@ SHA256 (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 22de71fde38b236d3e9168
SIZE (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 8192
SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871
SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
-SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
-SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
-SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
-SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
+SHA256 (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 69fb0eb49a80055a9b76d31d0a5648777c4050ac8dbf56a9344b862ed878a789
+SIZE (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 14455
+SHA256 (cabal/comonad-5.0.9/revision/1.cabal) = 75aded79bf583c908e4e4687c0ae067f256e2507536b75f58ffba7748767c353
+SIZE (cabal/comonad-5.0.9/revision/1.cabal) = 3587
SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa
SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815
+SHA256 (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = ce085de8ec2196f0c1d30af0ad8a517d5737c9edfd4ebfbb49e8687dfc40b6ca
+SIZE (cabal/data-default-0.8.0.1/data-default-0.8.0.1.tar.gz) = 5821
SHA256 (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37
SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992
+SHA256 (cabal/data-fix-0.3.4/revision/1.cabal) = ee78be6168ca0878d670fede957195d3debf4a37a806d13d72182b274901261b
+SIZE (cabal/data-fix-0.3.4/revision/1.cabal) = 1406
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/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
@@ -73,124 +87,166 @@ SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56
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/enummapset-0.7.3.0/enummapset-0.7.3.0.tar.gz) = 74c805415005f065379d644b2f2530d297b1cff650e5ef269a479220afdf7070
+SIZE (cabal/enummapset-0.7.3.0/enummapset-0.7.3.0.tar.gz) = 14074
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/filelock-0.1.1.7/filelock-0.1.1.7.tar.gz) = 4d35645cdf4f0b7aa8d22238885a970aef2328a39bd4ea63c7274532b1748180
+SIZE (cabal/filelock-0.1.1.7/filelock-0.1.1.7.tar.gz) = 8109
+SHA256 (cabal/filemanip-0.3.6.3/filemanip-0.3.6.3.tar.gz) = 8836da17baaaf02ca080c9990ece4e0b0c8d6a128f458f8b64fd07b225ca9846
+SIZE (cabal/filemanip-0.3.6.3/filemanip-0.3.6.3.tar.gz) = 10369
+SHA256 (cabal/filemanip-0.3.6.3/revision/1.cabal) = 0a7923d17b13f4f6bb996a3915aa795b6f7401ce68f656ac38e5f00429c6a3d0
+SIZE (cabal/filemanip-0.3.6.3/revision/1.cabal) = 1283
+SHA256 (cabal/fmlist-0.9.4/fmlist-0.9.4.tar.gz) = 2dbdc1850e6768fd5f4e4c45d011ef6796d8b2d639ec200da7f4407ae02d09a6
+SIZE (cabal/fmlist-0.9.4/fmlist-0.9.4.tar.gz) = 4445
+SHA256 (cabal/generic-data-1.1.0.2/generic-data-1.1.0.2.tar.gz) = f27e0a28459755f6c301eb9661f15230ccc6cf94f699d9aafb34ce659138dab5
+SIZE (cabal/generic-data-1.1.0.2/generic-data-1.1.0.2.tar.gz) = 40676
+SHA256 (cabal/generic-deriving-1.14.6/generic-deriving-1.14.6.tar.gz) = f195c17f1a32a3c9a2bf8762b8f9a9b5f6271f9e6075c887aa3609364356b2af
+SIZE (cabal/generic-deriving-1.14.6/generic-deriving-1.14.6.tar.gz) = 50583
+SHA256 (cabal/generic-deriving-1.14.6/revision/1.cabal) = f47c071d90370e0eee27dad6139964bed29b2d896b404b3a9516138f0d92ac55
+SIZE (cabal/generic-deriving-1.14.6/revision/1.cabal) = 6755
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/3.cabal) = 1b1b638ac022d2404becb6c117b04bfdc2247429ba58596271ca2cdc413288c2
-SIZE (cabal/generically-0.1.1/revision/3.cabal) = 1203
+SHA256 (cabal/generically-0.1.1/revision/4.cabal) = 3f64278f5c582dd7c6963967b1290079bcd03b8348989f909ac9bd972ddc452e
+SIZE (cabal/generically-0.1.1/revision/4.cabal) = 1203
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.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b
-SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409
+SHA256 (cabal/happy-2.1.6/happy-2.1.6.tar.gz) = 9b473961010cb5673510f4133d914b9d5ad667b16aafe4a5555d9962dbf05b19
+SIZE (cabal/happy-2.1.6/happy-2.1.6.tar.gz) = 61435
+SHA256 (cabal/happy-lib-2.1.6/happy-lib-2.1.6.tar.gz) = b0a130901562fd2b338baeb5b508cd8aed914b300f51c30b0ba8935995b2c2cd
+SIZE (cabal/happy-lib-2.1.6/happy-lib-2.1.6.tar.gz) = 93797
SHA256 (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = e58b3a8e18da5f6cd7e937e5fd683e500bb1f8276b3768269759119ca0cddb6a
SIZE (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = 89062
+SHA256 (cabal/hashable-1.5.0.0/revision/1.cabal) = 2f23146cbe0325029927b221647695a4c7d6e97548ff731110979e34361f58ef
+SIZE (cabal/hashable-1.5.0.0/revision/1.cabal) = 5914
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/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325
-SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032
+SHA256 (cabal/hsc2hs-0.68.10/revision/4.cabal) = 725ef6da03d3d6e332db4de0a35bee45d72e4d31decc5ec7f153e6837af5f03e
+SIZE (cabal/hsc2hs-0.68.10/revision/4.cabal) = 3114
SHA256 (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22
SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465
+SHA256 (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 42d9e84a65a0c17c248233cab98ada872ff6140dfa24d109d6eb285204d07e7d
+SIZE (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 2098
SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1
SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673
+SHA256 (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 68df0fc8070ae2c15f9e6febf1449fee364c131a6d1e93cac45e7895ba86dd89
+SIZE (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 2401
SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a
SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179
-SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f
-SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023
-SHA256 (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295
+SHA256 (cabal/integer-conversion-0.1.1/revision/1.cabal) = 941d4ae16e2124cbff5defe2abedb49efc8e03a594f817035bf231a317e6c1c9
+SIZE (cabal/integer-conversion-0.1.1/revision/1.cabal) = 2256
+SHA256 (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 6a93c76c2518cbe2d72ab17da6ae46d8cae93cbfb7c5a5ad5783f903c1448f45
+SIZE (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 8948
+SHA256 (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = a9e2ab4ee3e0d4613beb7bda36a8ebc4f72318450514f4832d2fa43b74f0aeb3
+SIZE (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = 27079
+SHA256 (cabal/invariant-0.6.4/revision/1.cabal) = 4a9a609f4e93ffed158b3b4f5a80822c6da30aa71a5370307c0c00c2d658d1c6
+SIZE (cabal/invariant-0.6.4/revision/1.cabal) = 3513
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.10/murmur-hash-0.1.0.10.tar.gz) = e92fad6000823aa2dabaa55096d2bc4fe21ad347f10614fc684da23e7f48bf90
-SIZE (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = 4327
-SHA256 (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 036a54f21ac180681e3799e6288ca32765fa3af8ada41fd4dd73a8a5e1e894a3
-SIZE (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 1222
+SHA256 (cabal/murmur-hash-0.1.0.11/murmur-hash-0.1.0.11.tar.gz) = 71aa17132bff71814d653caed8f9da55c27e3c3425eb4db404fa65b3ca296dfe
+SIZE (cabal/murmur-hash-0.1.0.11/murmur-hash-0.1.0.11.tar.gz) = 4458
SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228
SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
-SHA256 (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 22fcc7d5fc66676b5dfc57b714d2caf93cce2d5a79d242168352f9eb0fe2f18a
-SIZE (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 44363
+SHA256 (cabal/nonempty-containers-0.3.5.0/nonempty-containers-0.3.5.0.tar.gz) = 09e5385852d02830152a4ef72a4928a7a3c9353a1fa6fc8510228d9215bfeab6
+SIZE (cabal/nonempty-containers-0.3.5.0/nonempty-containers-0.3.5.0.tar.gz) = 101237
+SHA256 (cabal/nonempty-vector-0.2.4/nonempty-vector-0.2.4.tar.gz) = e32d9efb7862507e76e3f6876c67c980da9a5b4d743e07d424159868ae471c67
+SIZE (cabal/nonempty-vector-0.2.4/nonempty-vector-0.2.4.tar.gz) = 18480
+SHA256 (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = cf16aeefd821730c7738447fa7c6b7ada7ca1c9cc25400d64ef283294d345871
+SIZE (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = 67629
+SHA256 (cabal/os-string-2.0.7/os-string-2.0.7.tar.gz) = 339c35fd3a290522f23de4e33528423cfd0b0a8f22946b0b9816a817b926cba0
+SIZE (cabal/os-string-2.0.7/os-string-2.0.7.tar.gz) = 44683
+SHA256 (cabal/os-string-2.0.7/revision/1.cabal) = cb5408281cb0e7cea41885611e06ee6208e3dae90c98f6901a9f20c58f930414
+SIZE (cabal/os-string-2.0.7/revision/1.cabal) = 3443
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/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31
-SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942
+SHA256 (cabal/parallel-3.2.2.0/revision/9.cabal) = 9d7b34ac537940f67732eca31d48a43bd78fb65a91baebddf63bee4fc3813d81
+SIZE (cabal/parallel-3.2.2.0/revision/9.cabal) = 1961
SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261
SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915
SHA256 (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 1bf88b8d2c4ac90dee3000684b6e0078502dc5a1030528b687aa143b3ecc1f02
SIZE (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 42173
-SHA256 (cabal/pqueue-1.5.0.0/revision/2.cabal) = 7dadcc2a66f0f91bea789b450355a5ce9ebdc697af8c817f9e3200e856c8adaa
-SIZE (cabal/pqueue-1.5.0.0/revision/2.cabal) = 3896
-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/primitive-0.9.0.0/revision/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c
-SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171
-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
-SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601
-SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7
-SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016
-SHA256 (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = e5ea15b2898c62c63fae798784bc402b3862733d97a4f7ee3ec4f9ae6f447478
-SIZE (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = 6997
+SHA256 (cabal/pqueue-1.5.0.0/revision/3.cabal) = be237035e3aa1459e2a7cb9a3e19d90d9be3465cb993cbff44c0bd815b54ff3c
+SIZE (cabal/pqueue-1.5.0.0/revision/3.cabal) = 4058
+SHA256 (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45
+SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907
+SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3
+SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879
+SHA256 (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 44b4de41813c7bc5db8a57f87c3612a069b65086946268ba165097252ebd3d76
+SIZE (cabal/primitive-0.9.1.0/primitive-0.9.1.0.tar.gz) = 61724
+SHA256 (cabal/process-extras-0.7.4/process-extras-0.7.4.tar.gz) = 293e75f849254ce0ce0d7fa659681917e07a557c602505a2f9e20777467e984e
+SIZE (cabal/process-extras-0.7.4/process-extras-0.7.4.tar.gz) = 14256
+SHA256 (cabal/process-extras-0.7.4/revision/1.cabal) = bf5f39f0c43fd4d413ac38c6bd24cb4d9a901adf3d646cc673bb8db93606f4d2
+SIZE (cabal/process-extras-0.7.4/revision/1.cabal) = 1785
+SHA256 (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = b9c6f427368d2e811e4c48b59005218672458fd2f00a02cbefb8be9c751c0ef3
+SIZE (cabal/profunctors-5.6.3/profunctors-5.6.3.tar.gz) = 28146
+SHA256 (cabal/random-1.3.1/random-1.3.1.tar.gz) = d840ac83f265b0cfa2a678f8ec78627eb50cf9be2f067c52c8a4239c29b71a35
+SIZE (cabal/random-1.3.1/random-1.3.1.tar.gz) = 63846
+SHA256 (cabal/regex-base-0.94.0.3/regex-base-0.94.0.3.tar.gz) = e8ca2dee598c790dd1c1c4359bdd1e495d9b881f5aa1f539c22f0dd5563747bf
+SIZE (cabal/regex-base-0.94.0.3/regex-base-0.94.0.3.tar.gz) = 10550
+SHA256 (cabal/regex-tdfa-1.3.2.4/regex-tdfa-1.3.2.4.tar.gz) = 078bc313b7441f173eb487d6f46fea6860a21452eff6e5cf730ac4dd74bca797
+SIZE (cabal/regex-tdfa-1.3.2.4/regex-tdfa-1.3.2.4.tar.gz) = 83099
SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf
SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314
-SHA256 (cabal/scientific-0.3.8.0/revision/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce
-SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380
+SHA256 (cabal/scientific-0.3.8.0/revision/2.cabal) = ba83a6701dd0110138443757aca4a42786afa94272b73045ef878fd860d1732e
+SIZE (cabal/scientific-0.3.8.0/revision/2.cabal) = 4397
SHA256 (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 66e87bc254ffec2ee908bf625c42d3b7363238d6ab1cfba8934bbee7590c9df7
SIZE (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 10117
-SHA256 (cabal/semialign-1.3.1/revision/1.cabal) = 0ebafdb9c3bfac8c5311999ae195115c1452a205b273d54e7b1145a65c1bf610
-SIZE (cabal/semialign-1.3.1/revision/1.cabal) = 2209
+SHA256 (cabal/semialign-1.3.1/revision/2.cabal) = dfe515a9e43230f5308564a649a04ea1538499ed98b944644b77bed5394b9deb
+SIZE (cabal/semialign-1.3.1/revision/2.cabal) = 2224
SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f
SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372
-SHA256 (cabal/semigroupoids-6.0.1/revision/1.cabal) = f65892f65f941c7368334bdfdcdb9db2ad3952502e94e88785a5a428fa2f3f4e
-SIZE (cabal/semigroupoids-6.0.1/revision/1.cabal) = 7539
+SHA256 (cabal/semigroupoids-6.0.1/revision/2.cabal) = bfee06a6d88038a88ddd10fc21c230bf5ee3a14d0584dc6ab7ad54a9252c2c21
+SIZE (cabal/semigroupoids-6.0.1/revision/2.cabal) = 7539
+SHA256 (cabal/show-combinators-0.2.0.0/show-combinators-0.2.0.0.tar.gz) = c902dbaf0e9cf7056d786d44fbdea2781bc65524089639242c2624dae841ba1d
+SIZE (cabal/show-combinators-0.2.0.0/show-combinators-0.2.0.0.tar.gz) = 4297
+SHA256 (cabal/show-combinators-0.2.0.0/revision/2.cabal) = 5d7a36c6383c9eff1dc15970da3206a05b50c2d1e93155970ffcf240eaa57d58
+SIZE (cabal/show-combinators-0.2.0.0/revision/2.cabal) = 1277
SHA256 (cabal/split-0.2.5/split-0.2.5.tar.gz) = 52da404e8397c1ab238354c8d4fd9a7e9c5cac8849cc2ce2e45facc85e74a913
SIZE (cabal/split-0.2.5/split-0.2.5.tar.gz) = 16008
-SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
-SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
-SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b
-SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596
+SHA256 (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = b6bcd0d79bd4fe40975c8ebe803be2f3bfbf6006069a59745a325a0df3f86270
+SIZE (cabal/splitmix-0.1.3.1/splitmix-0.1.3.1.tar.gz) = 21955
SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b
SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798
SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2
SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557
-SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7
-SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094
-SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32
-SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
+SHA256 (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 6daad88ebb414ba6a556d2898d2cbe7650e4276010e3a6eed939daf54b956784
+SIZE (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 8151
+SHA256 (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 54a0c7b644813af871a3726ac8771b5e17b5158c792a7acf8f9e2d3ae9360780
+SIZE (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 66548
+SHA256 (cabal/tasty-1.5.3/revision/2.cabal) = 6b5dda3f16db1274a0b3e6c4073ac57172a1e96b1dca05666c5cbd1183639412
+SIZE (cabal/tasty-1.5.3/revision/2.cabal) = 2923
SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202
SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599
-SHA256 (cabal/text-iso8601-0.1.1/revision/1.cabal) = 0af50f6d2e8479b9a956c9c612ec270ea09df4c78c88c5b1bdd98066f576d73d
-SIZE (cabal/text-iso8601-0.1.1/revision/1.cabal) = 2478
+SHA256 (cabal/text-iso8601-0.1.1/revision/2.cabal) = e07a625eef969338992bf9bba8e5dc73f07ac65f991ba636b8f1175890d15849
+SIZE (cabal/text-iso8601-0.1.1/revision/2.cabal) = 2411
SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab
SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691
-SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4
-SIZE (cabal/text-short-0.1.6/revision/2.cabal) = 2812
-SHA256 (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = b2854c612f2fa4adfa1ecbb4089a2211fd9cb3210aec17ba4a455ae486b22721
-SIZE (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = 49904
-SHA256 (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 81f55fafc7afad7763c09cb8b7b4165ca3765edcf70ffa42c7393043a1382a1e
-SIZE (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 14893
-SHA256 (cabal/th-compat-0.1.5/revision/2.cabal) = 129a59ba3ccfcd06192fd6da899e2711ae276a466915a047bd6727e4a0321d2e
-SIZE (cabal/th-compat-0.1.5/revision/2.cabal) = 3330
+SHA256 (cabal/text-short-0.1.6/revision/3.cabal) = 41be94ccd3f6646ab69b0b05c5130ea3c7911a4598ab9b9192f21ad25a69163a
+SIZE (cabal/text-short-0.1.6/revision/3.cabal) = 2827
+SHA256 (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = f9b6184aba4c6b61dd0d96f7dad41a4c9db0a01d3cdbf993a7d860488f1c04c5
+SIZE (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = 45428
+SHA256 (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 3011403d85b0070630e33d66b9370535ccd1e0e672ae58f847550b2b15bb4fd8
+SIZE (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 2268
+SHA256 (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = b781a0c059872bc95406d00e98f6fa7d9e81e744730f75186583cb4dcea0a4eb
+SIZE (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = 14622
SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de
SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906
-SHA256 (cabal/these-1.2.1/revision/1.cabal) = c04f573531b37864506b071046e010a7a6aad11650cf895467f9f279d0130b8b
-SIZE (cabal/these-1.2.1/revision/1.cabal) = 2279
-SHA256 (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = c98fbea21d036c3263af186df0569b8425c87ad353b021353794743e4e631dcc
-SIZE (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = 57331
-SHA256 (cabal/time-compat-1.9.7/revision/2.cabal) = f0bff15af6faaeff36b679e6b810fa71534b2f85a91bf98d7541dac6a469b20f
-SIZE (cabal/time-compat-1.9.7/revision/2.cabal) = 4486
+SHA256 (cabal/these-1.2.1/revision/2.cabal) = 35c57aede96c15ea1fed559ac287b1168eb2b2869d79e62ed8c845780b7ea136
+SIZE (cabal/these-1.2.1/revision/2.cabal) = 2294
+SHA256 (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 502ef8694a5b131b47c0e5df2e9053d005a3b345b30f5225af04f081d3ef5cf0
+SIZE (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 63414
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.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
+SHA256 (cabal/unix-compat-0.7.4/unix-compat-0.7.4.tar.gz) = 689b3a960c8fe12910554aa5b739d5c4769c1d180ade20402fde2ed49db7eff4
+SIZE (cabal/unix-compat-0.7.4/unix-compat-0.7.4.tar.gz) = 15586
SHA256 (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d
SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823
-SHA256 (cabal/unordered-containers-0.2.20/revision/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc
-SIZE (cabal/unordered-containers-0.2.20/revision/3.cabal) = 3921
+SHA256 (cabal/unordered-containers-0.2.20/revision/4.cabal) = 233cbcdda6c2698932bb391ce0935fb44f80c115621ee815a21ed33ac8ede422
+SIZE (cabal/unordered-containers-0.2.20/revision/4.cabal) = 3921
SHA256 (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = c79c624257833841a22890e4d2b0ab07e4be88e0f99474d328223815c0814252
SIZE (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = 3506
SHA256 (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00
@@ -199,23 +255,23 @@ SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c
SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
SHA256 (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e
SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222
-SHA256 (cabal/uuid-types-1.0.6/revision/1.cabal) = 595644500d36908be85cd02fb446c411555ecc5c59b7ce33d1205cfc9ceb55a6
-SIZE (cabal/uuid-types-1.0.6/revision/1.cabal) = 2604
-SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
-SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
-SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d
-SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015
-SHA256 (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 39a9aaf451cf9e6c299904dfb02f13afaffe151d553014c1da2f07e3481b0ce8
-SIZE (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 25681
+SHA256 (cabal/uuid-types-1.0.6/revision/3.cabal) = 5ac2b681a8d7676f6a51ac1b113bfdcf18dd7fdbb313034850ed6493eef96da0
+SIZE (cabal/uuid-types-1.0.6/revision/3.cabal) = 2619
+SHA256 (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 28f203c786cbf8ac6dc3fea3378ec36f34173d505fb4a1dd60fc8418ad91c423
+SIZE (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 185739
+SHA256 (cabal/vector-0.13.2.0/revision/1.cabal) = b736a57b73520d2acf4865e3e2b40030d69782f35f870e376dc717ee2508d81f
+SIZE (cabal/vector-0.13.2.0/revision/1.cabal) = 8804
+SHA256 (cabal/vector-hashtables-0.1.2.1/vector-hashtables-0.1.2.1.tar.gz) = 33910f79ff3c17b6f3cc1068fdc4f94dafad87b0e079c4157eeba8686fdeaeb1
+SIZE (cabal/vector-hashtables-0.1.2.1/vector-hashtables-0.1.2.1.tar.gz) = 25707
SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c
SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577
-SHA256 (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f
-SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583
+SHA256 (cabal/vector-stream-0.1.0.1/revision/3.cabal) = 5ac96695212a45ae7dc16d8031dbf5311da53e052c35f7ad4a8e2db7fafb651e
+SIZE (cabal/vector-stream-0.1.0.1/revision/3.cabal) = 1642
SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1
SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819
SHA256 (cabal/witherable-0.5/revision/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de
SIZE (cabal/witherable-0.5/revision/1.cabal) = 2343
SHA256 (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 6edd38b6b81df8d274952aa85affa6968ae86b2231e1d429ce8bc9083e6a55bc
SIZE (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 29318
-SHA256 (cabal/zlib-0.7.1.0/revision/1.cabal) = bae1c5a6092d65c5e763246f91e04fef3f43e37cb055130725c9a973c88a250f
-SIZE (cabal/zlib-0.7.1.0/revision/1.cabal) = 5223
+SHA256 (cabal/zlib-0.7.1.0/revision/2.cabal) = 85e64a75c0b490506a7edaa2d54950c668e66b65758bb08bb14cd31faf53a206
+SIZE (cabal/zlib-0.7.1.0/revision/2.cabal) = 5357
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
index 94f70a8087c2..4afff3ab8434 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -1,3 +1,20 @@
+%%DATADIR%%/emacs-mode/agda-input.el
+%%DATADIR%%/emacs-mode/agda-input.elc
+%%DATADIR%%/emacs-mode/agda2-abbrevs.el
+%%DATADIR%%/emacs-mode/agda2-abbrevs.elc
+%%DATADIR%%/emacs-mode/agda2-highlight.el
+%%DATADIR%%/emacs-mode/agda2-highlight.elc
+%%DATADIR%%/emacs-mode/agda2-mode-pkg.el
+%%DATADIR%%/emacs-mode/agda2-mode.el
+%%DATADIR%%/emacs-mode/agda2-mode.elc
+%%DATADIR%%/emacs-mode/agda2-queue.el
+%%DATADIR%%/emacs-mode/agda2-queue.elc
+%%DATADIR%%/emacs-mode/agda2.el
+%%DATADIR%%/emacs-mode/agda2.elc
+%%DATADIR%%/emacs-mode/annotation.el
+%%DATADIR%%/emacs-mode/annotation.elc
+%%DATADIR%%/emacs-mode/eri.el
+%%DATADIR%%/emacs-mode/eri.elc
%%DATADIR%%/lib/prim/Agda/Builtin/Bool.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Char.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agda
@@ -5,7 +22,6 @@
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agda
-%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Id.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Path.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Sub.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Equality.agda
@@ -42,7 +58,6 @@
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Equiv.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Glue.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/HCompU.agdai
-%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Id.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Path.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Cubical/Sub.agdai
%%DATADIR%%/lib/prim/_build/%%AGDA_VER%%/agda/Agda/Builtin/Equality.agdai
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-29 17:38:48 +0000