git: 99662cf261c1 - main - math/hs-Agda: Update to 2.6.3
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 12 Mar 2023 16:11:11 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=99662cf261c1171a7e744b513bb6a3a4cacf4269
commit 99662cf261c1171a7e744b513bb6a3a4cacf4269
Author: Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-03-12 08:07:41 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-03-12 16:10:31 +0000
math/hs-Agda: Update to 2.6.3
---
math/hs-Agda/Makefile | 50 +++++-----
math/hs-Agda/distinfo | 108 +++++++++++----------
.../files/patch-src_data_emacs-mode_agda2-mode.el | 22 -----
3 files changed, 82 insertions(+), 98 deletions(-)
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 72faf834a201..05efa5aacf69 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,6 +1,5 @@
PORTNAME= Agda
-PORTVERSION= 2.6.2.2
-PORTREVISION= 3
+PORTVERSION= 2.6.3
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
@@ -20,19 +19,19 @@ USES= cabal
USE_LOCALE= en_US.UTF-8
-USE_CABAL= OneTuple-0.3.1_3 \
+USE_CABAL= OneTuple-0.4.1.1 \
QuickCheck-2.14.2 \
STMonadTrans-0.4.6_1 \
StateVar-1.2.2 \
- aeson-2.0.3.0 \
+ aeson-2.1.2.1_1 \
alex-3.2.7.1 \
assoc-1.0.2_3 \
async-2.2.4_2 \
- attoparsec-0.14.4_2 \
+ attoparsec-0.14.4_3 \
base-compat-0.12.2 \
base-compat-batteries-0.12.2 \
- base-orphans-0.8.7 \
- bifunctors-5.5.13 \
+ base-orphans-0.8.8.2 \
+ bifunctors-5.5.15 \
blaze-builder-0.4.2.2_1 \
blaze-html-0.9.1.2_2 \
blaze-markup-0.8.2.8_3 \
@@ -40,38 +39,38 @@ USE_CABAL= OneTuple-0.3.1_3 \
case-insensitive-1.2.1.0 \
comonad-5.0.8_1 \
contravariant-1.5.5 \
+ data-array-byte-0.1.0.1_1 \
data-fix-0.3.2_3 \
data-hash-0.2.0.1 \
distributive-0.6.2.1_1 \
dlist-1.0 \
edit-distance-0.2.2.1_1 \
equivalence-0.4.1 \
- generically-0.1 \
+ generically-0.1.1 \
gitrev-1.3.1 \
- happy-1.20.0_1 \
- hashable-1.4.1.0 \
- hashtables-1.3.1 \
+ happy-1.20.1.1 \
+ hashable-1.4.2.0 \
indexed-traversable-0.1.2_2 \
- indexed-traversable-instances-0.1.1.1 \
- integer-logarithms-1.0.3.1_3 \
+ indexed-traversable-instances-0.1.1.2 \
+ integer-logarithms-1.0.3.1_4 \
monad-control-1.0.3.1 \
murmur-hash-0.1.0.10 \
- network-uri-2.6.4.1 \
+ network-uri-2.6.4.2 \
parallel-3.2.2.0_5 \
- primitive-0.7.4.0 \
+ primitive-0.8.0.0 \
random-1.2.1.1 \
regex-base-0.94.0.2_1 \
regex-tdfa-1.3.2 \
- scientific-0.3.7.0_3 \
+ scientific-0.3.7.0_4 \
semialign-1.2.0.1_3 \
- semigroupoids-5.3.7 \
+ semigroupoids-5.3.7_1 \
split-0.2.3.5 \
- splitmix-0.1.0.4_1 \
+ splitmix-0.1.0.4_2 \
strict-0.4.0.1_4 \
- tagged-0.8.6.1_3 \
+ tagged-0.8.7 \
text-short-0.1.5_1 \
- th-abstraction-0.4.5.0 \
- th-compat-0.1.4 \
+ th-abstraction-0.5.0.0 \
+ th-compat-0.1.4_2 \
these-1.1.1.1_6 \
time-compat-1.9.6.1_4 \
transformers-base-0.4.6 \
@@ -80,10 +79,11 @@ USE_CABAL= OneTuple-0.3.1_3 \
uri-encode-1.5.0.7_2 \
utf8-string-1.0.2 \
uuid-types-1.0.5_3 \
- vector-0.12.3.1_1 \
- vector-stream-0.1.0.0_1 \
- witherable-0.4.2_3 \
- zlib-0.6.3.0
+ vector-0.13.0.0_3 \
+ vector-hashtables-0.1.1.2 \
+ vector-stream-0.1.0.0_2 \
+ witherable-0.4.2_4 \
+ zlib-0.6.3.0_1
CABAL_EXECUTABLES= agda-mode agda
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index 759683bc68ef..93eded580675 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,10 +1,8 @@
-TIMESTAMP = 1668536440
-SHA256 (cabal/Agda-2.6.2.2/Agda-2.6.2.2.tar.gz) = e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a
-SIZE (cabal/Agda-2.6.2.2/Agda-2.6.2.2.tar.gz) = 1690635
-SHA256 (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 98853682d52fb4cc37a45cd186fbd77cf2565d3df5171acc4cf026427e103eef
-SIZE (cabal/OneTuple-0.3.1/OneTuple-0.3.1.tar.gz) = 5148
-SHA256 (cabal/OneTuple-0.3.1/revision/3.cabal) = fc32cb744477befa450a538ea4975cc523f0a2f1585cb5a36e9936a3d18e9a3c
-SIZE (cabal/OneTuple-0.3.1/revision/3.cabal) = 2276
+TIMESTAMP = 1678606792
+SHA256 (cabal/Agda-2.6.3/Agda-2.6.3.tar.gz) = beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016
+SIZE (cabal/Agda-2.6.3/Agda-2.6.3.tar.gz) = 1794269
+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/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = d87b6c85696b601175274361fa62217894401e401e150c3c5d4013ac53cd36f3
SIZE (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = 75246
SHA256 (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = cb7a9af72af10ca56a3ce43ed775c9c1c8e1faf159c77f570cc07c0e21807067
@@ -13,8 +11,10 @@ SHA256 (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 6cf50537070f6ce559b4bae28b2
SIZE (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 2458
SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
-SHA256 (cabal/aeson-2.0.3.0/aeson-2.0.3.0.tar.gz) = 19760a2b84764fa3cee65c63df0c80d45497e2f0c3b95d4e6dc2083b8604b325
-SIZE (cabal/aeson-2.0.3.0/aeson-2.0.3.0.tar.gz) = 297283
+SHA256 (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 5d4042b903ce181ee023bbf908f37a3f55e820c5f0df102683b87f963e3522c6
+SIZE (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 335908
+SHA256 (cabal/aeson-2.1.2.1/revision/1.cabal) = f10f3c661bd5cf57aee46b94420e47736240b8e209ac15f4bfc1a4e4d55831fa
+SIZE (cabal/aeson-2.1.2.1/revision/1.cabal) = 6344
SHA256 (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 9bd2f1a27e8f1b2ffdb5b2fbd3ed82b6f0e85191459a1b24ffcbef4e68a81bec
SIZE (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 108229
SHA256 (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = d8988dc6e8718c7a3456515b769c9336aeeec730cf86fc5175247969ff8f144f
@@ -27,16 +27,16 @@ SHA256 (cabal/async-2.2.4/revision/2.cabal) = 2b9409023536823233ce3134558565d01b
SIZE (cabal/async-2.2.4/revision/2.cabal) = 3095
SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c
SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701
-SHA256 (cabal/attoparsec-0.14.4/revision/2.cabal) = c0569d86c02cadd403017ea414dcb5e4f7de5380de0d8a92b9337cad84cd5e02
-SIZE (cabal/attoparsec-0.14.4/revision/2.cabal) = 5811
+SHA256 (cabal/attoparsec-0.14.4/revision/3.cabal) = 50475b722305175f57a3ee3dbaee10aa4b91f61c9717b85b718a7df37c223fb2
+SIZE (cabal/attoparsec-0.14.4/revision/3.cabal) = 5679
SHA256 (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = a62adc883a5ac436f80e4ae02c3c56111cf1007492f267c291139a668d2150bd
SIZE (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = 36393
SHA256 (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = ede9092e07f904e0759160bf1ecd3fb7eb043bae6dc89a37c3dc94829ec5eb99
SIZE (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = 17645
-SHA256 (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 888fd67f0dbe932778f5b170922ce80d0dcab1680ee98f1d6fcc362f20d9e447
-SIZE (cabal/base-orphans-0.8.7/base-orphans-0.8.7.tar.gz) = 25083
-SHA256 (cabal/bifunctors-5.5.13/bifunctors-5.5.13.tar.gz) = 26cc27ade3796cf03bd680f98ebb7b8c0d7fd1b67c1894dc3635f734fba7dbd7
-SIZE (cabal/bifunctors-5.5.13/bifunctors-5.5.13.tar.gz) = 46171
+SHA256 (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 61cae7063884128dc98596ab7d8e6d896f6b0fa3da4e12310c850c8c08825092
+SIZE (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 25461
+SHA256 (cabal/bifunctors-5.5.15/bifunctors-5.5.15.tar.gz) = d6359d50d359dd6048dbf6d56c7628211a1785aab9174177faa6d2d8b0d9e3b7
+SIZE (cabal/bifunctors-5.5.15/bifunctors-5.5.15.tar.gz) = 47395
SHA256 (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 2cdc998c021d3a5f2a66a95138b93386271c26a117e7676d78264a90e536af67
SIZE (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 60707
SHA256 (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = f0017df374c330de0ebe0eb15eae8c48427bddefa1d81a3cb31c0a4812ecdb08
@@ -59,6 +59,10 @@ SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd
SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631
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-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 1bb6eca0b3e02d057fe7f4e14c81ef395216f421ab30fdaa1b18017c9c025600
+SIZE (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 6784
+SHA256 (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 2ef1bd3511e82ba56f7f23cd793dd2da84338a1e7c2cbea5b151417afe3baada
+SIZE (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 1989
SHA256 (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc
SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842
SHA256 (cabal/data-fix-0.3.2/revision/3.cabal) = bdea17f6b17c1d327f53ae6806e1bc3ca7813b46742a93c6088c72837c8ae77c
@@ -77,40 +81,36 @@ 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/generically-0.1/generically-0.1.tar.gz) = d5b72880e1d00b24b6c221978d060bea620acc412cdcb62521f3016cbd3f2b71
-SIZE (cabal/generically-0.1/generically-0.1.tar.gz) = 2572
+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/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.0/happy-1.20.0.tar.gz) = 3b1d3a8f93a2723b554d9f07b2cd136be1a7b2fcab1855b12b7aab5cbac8868c
-SIZE (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 184515
-SHA256 (cabal/happy-1.20.0/revision/1.cabal) = 5d47dc221a9fe964e36aaaa2e1ab7e8f085a225fd6528d6eff310b92360bbe99
-SIZE (cabal/happy-1.20.0/revision/1.cabal) = 5732
-SHA256 (cabal/hashable-1.4.1.0/hashable-1.4.1.0.tar.gz) = e1b305c280e66ad827edeaedd6933b9fc4174f626882877eab2a08344e665e87
-SIZE (cabal/hashable-1.4.1.0/hashable-1.4.1.0.tar.gz) = 25599
-SHA256 (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 6f3d40eb22ab87279b9a0bf51c22307706b240c90a664c82bfae2392268c59c3
-SIZE (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 58697
+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/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 1b4000ea82b81f69d46d0af4152c10c6303873510738e24cfc4767760d30e3f8
+SIZE (cabal/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 25094
SHA256 (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 516858ee7198b1fed1b93c665157f9855fd947379db7f115d48c1b0d670e698d
SIZE (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 8685
SHA256 (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 52a1b708abd921f91a5977f6ae53c4aa2b33f7c30be0fff17173f658b34c5350
SIZE (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 2533
-SHA256 (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 895ee5063d59e2b58930ca6fa54885bb11f19c8b7c7ba6c7b014f9431cdcc0b0
-SIZE (cabal/indexed-traversable-instances-0.1.1.1/indexed-traversable-instances-0.1.1.1.tar.gz) = 3751
+SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769
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/3.cabal) = d59bfd1d39808217af2b68789d3c0e57cb7199d47405a276060d88fef4f4017d
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/3.cabal) = 3246
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262
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/network-uri-2.6.4.1/network-uri-2.6.4.1.tar.gz) = 57856db93608a4d419f681b881c9b8d4448800d5a687587dc37e8a9e0b223584
-SIZE (cabal/network-uri-2.6.4.1/network-uri-2.6.4.1.tar.gz) = 32373
+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/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/5.cabal) = 6edd5a06938cea3d28b406d5231683f89737e854af144a8800aa69e1eee785e0
SIZE (cabal/parallel-3.2.2.0/revision/5.cabal) = 1821
-SHA256 (cabal/primitive-0.7.4.0/primitive-0.7.4.0.tar.gz) = 5b2d6dc2812eb2f6a115f05fcbe3e723d3aeff7894b012c617e075130581add5
-SIZE (cabal/primitive-0.7.4.0/primitive-0.7.4.0.tar.gz) = 56575
+SHA256 (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 5553c21b4a789f9b591eed69e598cc58484c274af29250e517b5a8bcc62b995f
+SIZE (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 57222
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/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
@@ -121,36 +121,38 @@ SHA256 (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 2660d7dc5f00718c39454c
SIZE (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 82839
SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9
SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723
-SHA256 (cabal/scientific-0.3.7.0/revision/3.cabal) = 517444c944dad9db8235d7b311d7b9a0839a519ee3178288b5a9606256e0c7d8
-SIZE (cabal/scientific-0.3.7.0/revision/3.cabal) = 4840
+SHA256 (cabal/scientific-0.3.7.0/revision/4.cabal) = 57451a0a7f62af85958c21a8ef79358c8a45b467f39d78ee5d51074d12e4c718
+SIZE (cabal/scientific-0.3.7.0/revision/4.cabal) = 4854
SHA256 (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = d900697041ae4b0cca3243273a2b3e80bcf74d937405d6a5ff34dc33ee952132
SIZE (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = 10371
SHA256 (cabal/semialign-1.2.0.1/revision/3.cabal) = ee3468e349e72ec0a604ae05573a4de7181d97d10366254244a0cca8a76d6c35
SIZE (cabal/semialign-1.2.0.1/revision/3.cabal) = 2852
SHA256 (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799
SIZE (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 35349
+SHA256 (cabal/semigroupoids-5.3.7/revision/1.cabal) = ac093739682f0dc7a37698b423590dc0f1ca89fed908fbbc5a73a44beefa7d18
+SIZE (cabal/semigroupoids-5.3.7/revision/1.cabal) = 7721
SHA256 (cabal/split-0.2.3.5/split-0.2.3.5.tar.gz) = bf8aa8d610354a2b576946a6c838251ec5988c8374100638e6b2604513b93159
SIZE (cabal/split-0.2.3.5/split-0.2.3.5.tar.gz) = 15746
SHA256 (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 6d065402394e7a9117093dbb4530a21342c9b1e2ec509516c8a8d0ffed98ecaa
SIZE (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 22382
-SHA256 (cabal/splitmix-0.1.0.4/revision/1.cabal) = 804e2574bc7e32d08cbab91e47ee6287b4df7d50851d73f9e778f94a9a7814c7
-SIZE (cabal/splitmix-0.1.0.4/revision/1.cabal) = 6521
+SHA256 (cabal/splitmix-0.1.0.4/revision/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e
+SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537
SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241
SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488
SHA256 (cabal/strict-0.4.0.1/revision/4.cabal) = d6205a748eb8db4cd17a7179be970c94598809709294ccfa43159c7f3cc4bf5d
SIZE (cabal/strict-0.4.0.1/revision/4.cabal) = 4187
-SHA256 (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = f5e0fcf95f0bb4aa63f428f2c01955a41ea1a42cfcf39145ed631f59a9616c02
-SIZE (cabal/tagged-0.8.6.1/tagged-0.8.6.1.tar.gz) = 9842
-SHA256 (cabal/tagged-0.8.6.1/revision/3.cabal) = 8a24aef29b8e35447ccc56658ea07c2aded30bfa8130ea057e382936e17c74a6
-SIZE (cabal/tagged-0.8.6.1/revision/3.cabal) = 2874
+SHA256 (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 6414eeac27a1633f49e2f78199ced99ce8ce3d70b658cf6d55b1d81ff60cb961
+SIZE (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 10082
SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda
SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113
SHA256 (cabal/text-short-0.1.5/revision/1.cabal) = ebb77383743e214138cf9387875bc7d2665c5584b2e489fe1461240f19e7b53e
SIZE (cabal/text-short-0.1.5/revision/1.cabal) = 3161
-SHA256 (cabal/th-abstraction-0.4.5.0/th-abstraction-0.4.5.0.tar.gz) = 00d5e24f247e328bd9898d5af5915c1e86b134b4d40baa680258635f95031526
-SIZE (cabal/th-abstraction-0.4.5.0/th-abstraction-0.4.5.0.tar.gz) = 39515
+SHA256 (cabal/th-abstraction-0.5.0.0/th-abstraction-0.5.0.0.tar.gz) = 8258dc3ab7188af5826e2467032b52a931a3af4d8a93d4a094210e240a8a9964
+SIZE (cabal/th-abstraction-0.5.0.0/th-abstraction-0.5.0.0.tar.gz) = 40093
SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8
SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838
+SHA256 (cabal/th-compat-0.1.4/revision/2.cabal) = e5ae7c083ef3a22248558f8451669bb1c55ea8090f5908b86b9033743c161730
+SIZE (cabal/th-compat-0.1.4/revision/2.cabal) = 3224
SHA256 (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = d798c9f56e17def441e8f51e54cc11afdb3e76c6a9d1e9ee154e9a78da0bf508
SIZE (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = 9804
SHA256 (cabal/these-1.1.1.1/revision/6.cabal) = 2991c13e264b0c35c696c8f5f85c428c53bc42e93b1dfbd19a582052112d948a
@@ -177,17 +179,21 @@ SHA256 (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = ad68b89b7a64c07dd5c250
SIZE (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = 11922
SHA256 (cabal/uuid-types-1.0.5/revision/3.cabal) = 9ca76986e3950af5e908502be2373e2292d6dc57ec10f5aeb41d7dc3a1961782
SIZE (cabal/uuid-types-1.0.5/revision/3.cabal) = 2622
-SHA256 (cabal/vector-0.12.3.1/vector-0.12.3.1.tar.gz) = fb4a53c02bd4d7fdf155c0604da9a5bb0f3b3bfce5d9960aea11c2ae235b9f35
-SIZE (cabal/vector-0.12.3.1/vector-0.12.3.1.tar.gz) = 151420
-SHA256 (cabal/vector-0.12.3.1/revision/1.cabal) = 040210919e5ce454dcee3320f77803da3dbda579c8428dc25ff0155732234808
-SIZE (cabal/vector-0.12.3.1/revision/1.cabal) = 7946
+SHA256 (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = c5d3167d15e12f52e00879ddf304a591672a74e369cc47bc5c7fa1d5a8d15b4f
+SIZE (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = 154509
+SHA256 (cabal/vector-0.13.0.0/revision/3.cabal) = fa5cac81a17a5af388716792e8b99c24b3b66770086756d0d8b23f8272a0244c
+SIZE (cabal/vector-0.13.0.0/revision/3.cabal) = 9112
+SHA256 (cabal/vector-hashtables-0.1.1.2/vector-hashtables-0.1.1.2.tar.gz) = a2f9f9a2e34d20e1e1fcab2f29d59912dd8abd26beff90f878a5868793df3243
+SIZE (cabal/vector-hashtables-0.1.1.2/vector-hashtables-0.1.1.2.tar.gz) = 18770
SHA256 (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = a888210f6467f155090653734be5cc920406a07227e0d3adb59096716fdb806c
SIZE (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = 12377
-SHA256 (cabal/vector-stream-0.1.0.0/revision/1.cabal) = 09b0f8dc4e51936b9d6b04791f0aa03f7c9759b5fb7140eac8a9461cda1e55a3
-SIZE (cabal/vector-stream-0.1.0.0/revision/1.cabal) = 1404
+SHA256 (cabal/vector-stream-0.1.0.0/revision/2.cabal) = f5d6d5291cd1b5f2f063403593f1f5c8127d692c888eedeb3e1eb40497a88dca
+SIZE (cabal/vector-stream-0.1.0.0/revision/2.cabal) = 1404
SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104
SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
-SHA256 (cabal/witherable-0.4.2/revision/3.cabal) = cccb36175e088abb4291ee5044b8c04d71acd5c36636902d2520f91508dd4bb8
-SIZE (cabal/witherable-0.4.2/revision/3.cabal) = 2294
+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/1.cabal) = 9adce39e4ca0b7a87d45df0a243134816c57059a08e28cff5469c98ae1f54dfc
+SIZE (cabal/zlib-0.6.3.0/revision/1.cabal) = 5367
diff --git a/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el b/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el
deleted file mode 100644
index 6f42665200dc..000000000000
--- a/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el
+++ /dev/null
@@ -1,22 +0,0 @@
---- src/data/emacs-mode/agda2-mode.el.orig 2001-09-09 01:46:40 UTC
-+++ src/data/emacs-mode/agda2-mode.el
-@@ -1306,7 +1306,8 @@ top-level scope."
-
- (agda2-maybe-normalised
- agda2-elaborate-give
-- "Elaborate check the given expression against the hole's type and fill in hole with the elaborated term"
-+ "Elaborate check the given expression against the hole's type and fill
-+in hole with the elaborated term"
- "Cmd_elaborate_give"
- "expression to elaborate and give")
-
-@@ -1324,7 +1325,8 @@ top-level scope."
-
- (agda2-maybe-normalised
- agda2-goal-and-context-and-checked
-- "Shows the context, the goal and check the given expression's against the hole's type"
-+ "Shows the context, the goal and check the given expression's against
-+the hole's type"
- "Cmd_goal_type_context_check"
- "expression to type")
-