git: f59e1f7db558 - main - math/hs-Agda: update to 2.6.4.1
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 08 Feb 2024 20:08:08 UTC
The branch main has been updated by arrowd:
URL: https://cgit.FreeBSD.org/ports/commit/?id=f59e1f7db55878af128e28b90b38736e6e570107
commit f59e1f7db55878af128e28b90b38736e6e570107
Author: awoonya <mzhyneva@gmail.com>
AuthorDate: 2024-02-05 19:27:28 +0000
Commit: Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-02-08 20:07:24 +0000
math/hs-Agda: update to 2.6.4.1
---
math/hs-Agda/Makefile | 108 +++++----
math/hs-Agda/distinfo | 268 +++++++++++----------
.../files/patch-src_data_emacs-mode_agda2-mode.el | 57 -----
math/hs-Agda/pkg-plist | 2 +
4 files changed, 201 insertions(+), 234 deletions(-)
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index bb6ed72f2ce6..c8dbae518b67 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,6 +1,5 @@
PORTNAME= Agda
-PORTVERSION= 2.6.3
-PORTREVISION= 1
+PORTVERSION= 2.6.4.1
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
@@ -20,71 +19,76 @@ USES= cabal
USE_LOCALE= en_US.UTF-8
-USE_CABAL= OneTuple-0.4.1.1 \
- QuickCheck-2.14.2 \
- STMonadTrans-0.4.6_1 \
+USE_CABAL= OneTuple-0.4.1.1_1 \
+ QuickCheck-2.14.3 \
+ STMonadTrans-0.4.8 \
StateVar-1.2.2 \
- 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_3 \
- base-compat-0.12.2 \
- base-compat-batteries-0.12.2 \
- 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 \
+ aeson-2.2.1.0_1 \
+ alex-3.5.0.0 \
+ ansi-terminal-1.0.2 \
+ ansi-terminal-types-0.11.5_1 \
+ assoc-1.1_1 \
+ async-2.2.5 \
+ base-compat-0.13.1 \
+ base-orphans-0.9.1 \
+ bifunctors-5.6.1_2 \
+ blaze-builder-0.4.2.3 \
+ blaze-html-0.9.1.2_4 \
+ blaze-markup-0.8.3.0_1 \
boxes-0.1.5 \
case-insensitive-1.2.1.0 \
- comonad-5.0.8_1 \
+ colour-2.3.6 \
+ comonad-5.0.8_2 \
contravariant-1.5.5 \
- data-array-byte-0.1.0.1_1 \
- data-fix-0.3.2_3 \
+ data-fix-0.3.2_5 \
data-hash-0.2.0.1 \
distributive-0.6.2.1_1 \
- dlist-1.0 \
+ dlist-1.0_1 \
edit-distance-0.2.2.1_1 \
equivalence-0.4.1 \
- generically-0.1.1 \
+ foldable1-classes-compat-0.1_4 \
+ generically-0.1.1_2 \
gitrev-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.2 \
- integer-logarithms-1.0.3.1_4 \
+ hashable-1.4.3.0_1 \
+ indexed-traversable-0.1.3 \
+ indexed-traversable-instances-0.1.1.2_2 \
+ integer-conversion-0.1.0.1_1 \
+ integer-logarithms-1.0.3.1_5 \
monad-control-1.0.3.1 \
- murmur-hash-0.1.0.10 \
- network-uri-2.6.4.2 \
- parallel-3.2.2.0_5 \
- 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_4 \
- semialign-1.2.0.1_3 \
- semigroupoids-5.3.7_1 \
- split-0.2.3.5 \
- splitmix-0.1.0.4_2 \
- strict-0.4.0.1_4 \
- tagged-0.8.7 \
- text-short-0.1.5_1 \
- 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 \
+ murmur-hash-0.1.0.10_1 \
+ network-uri-2.6.4.2_1 \
+ parallel-3.2.2.0_7 \
+ peano-0.1.0.2 \
+ primitive-0.9.0.0 \
+ random-1.2.1.1_1 \
+ regex-base-0.94.0.2_4 \
+ regex-tdfa-1.3.2.2_2 \
+ scientific-0.3.7.0_7 \
+ semialign-1.3_1 \
+ semigroupoids-6.0.0.1_1 \
+ split-0.2.5 \
+ splitmix-0.1.0.5 \
+ strict-0.5_1 \
+ tagged-0.8.8 \
+ text-iso8601-0.1_1 \
+ text-short-0.1.5_3 \
+ th-abstraction-0.6.0.0_1 \
+ th-compat-0.1.4_4 \
+ these-1.2_1 \
+ time-compat-1.9.6.1_6 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
- unordered-containers-0.2.19.1_1 \
- uri-encode-1.5.0.7_2 \
+ unordered-containers-0.2.20_1 \
+ uri-encode-1.5.0.7_3 \
utf8-string-1.0.2 \
- uuid-types-1.0.5_3 \
- vector-0.13.0.0_3 \
- vector-hashtables-0.1.1.2 \
- vector-stream-0.1.0.0_2 \
+ uuid-types-1.0.5.1 \
+ vector-0.13.1.0 \
+ vector-hashtables-0.1.1.4 \
+ vector-stream-0.1.0.1 \
witherable-0.4.2_4 \
- zlib-0.6.3.0_1
+ zlib-0.6.3.0_4
+
CABAL_EXECUTABLES= agda-mode agda
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index 93eded580675..0719c07a3bb9 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,72 +1,68 @@
-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
+TIMESTAMP = 1706798494
+SHA256 (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 23248a9b3c50c81ea4751518a66f2a6144617b6a5a9202686b54e33bc9cbd080
+SIZE (cabal/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz) = 1893496
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
-SIZE (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = 7151
-SHA256 (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 6cf50537070f6ce559b4bae28b2a167a85c2379d9710d54afb22c7c8dd785b13
-SIZE (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 2458
+SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
+SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575
+SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501
+SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849
+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/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.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
-SIZE (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = 3047
-SHA256 (cabal/assoc-1.0.2/revision/3.cabal) = 93b8d43aa081e4205116a139f7cf690f608968161d19ebfb23d884d19b082b57
-SIZE (cabal/assoc-1.0.2/revision/3.cabal) = 1253
-SHA256 (cabal/async-2.2.4/async-2.2.4.tar.gz) = 484df85be0e76c4fed9376451e48e1d0c6e97952ce79735b72d54297e7e0a725
-SIZE (cabal/async-2.2.4/async-2.2.4.tar.gz) = 14148
-SHA256 (cabal/async-2.2.4/revision/2.cabal) = 2b9409023536823233ce3134558565d01b3382e651fa54ac8cb8a99967e023c9
-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/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.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
-SIZE (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = 3685
+SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f
+SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
+SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
+SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
+SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed
+SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601
+SHA256 (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 46e516cbf66c7807940ba9896c2d71ba5ffdaa35a4fb80dea9313703efa8d834
+SIZE (cabal/ansi-terminal-1.0.2/ansi-terminal-1.0.2.tar.gz) = 33561
+SHA256 (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = bf7b230389f43105100a6d5740822598a88b38eaaf7d042de595ccf72db4fdd1
+SIZE (cabal/ansi-terminal-types-0.11.5/ansi-terminal-types-0.11.5.tar.gz) = 4660
+SHA256 (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = f78440dfd95c4509e88855ac7cc2d9566ddf956a92c1290404cac93ad1a1b00a
+SIZE (cabal/ansi-terminal-types-0.11.5/revision/1.cabal) = 1482
+SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
+SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
+SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
+SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617
+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/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421
+SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518
+SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172
+SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418
+SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc
+SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170
+SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755
+SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
+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/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/2.cabal) = 74b89ffa665891f528f571ce9e3c2dce24f698563f14b6f5e9e0512eccdf5dc2
-SIZE (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 3062
-SHA256 (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 43fc3f6872dc8d1be8d0fe091bd4775139b42179987f33d6490a7c5f1e07a349
-SIZE (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 14519
-SHA256 (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 8a47373003f472e851afbc3332bb9e0bf1b539a0dfad631bceb704332749c6c2
-SIZE (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 2293
+SHA256 (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450
+SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020
+SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
+SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
+SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9
+SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276
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/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/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e
-SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631
+SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
+SIZE (cabal/comonad-5.0.8/revision/2.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
-SIZE (cabal/data-fix-0.3.2/revision/3.cabal) = 1706
+SHA256 (cabal/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1
+SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734
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
@@ -75,125 +71,147 @@ SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432
SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
+SHA256 (cabal/dlist-1.0/revision/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568
+SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812
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.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f
SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310
+SHA256 (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = d057c3f358e1a6b72c73519bc64ba6aa959f066c08fed69f73258555ef95ff12
+SIZE (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = 10484
+SHA256 (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
+SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782
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/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
+SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169
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/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/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5
+SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
+SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
+SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
+SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
+SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
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/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550
+SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39
+SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166
+SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14
+SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250
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/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca
-SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278
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/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/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.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/parallel-3.2.2.0/revision/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4
+SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926
+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/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/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/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
+SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
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/1.cabal) = 4ff4425c710cddf440dfbac6cd52310bb6b23e17902390ff71c9fc7eaafc4fcc
-SIZE (cabal/regex-base-0.94.0.2/revision/1.cabal) = 2643
-SHA256 (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 2660d7dc5f00718c39454c844d354dea26d605db9864f80951efad5f7284dfd1
-SIZE (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 82839
+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/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98
+SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997
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/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/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.7/tagged-0.8.7.tar.gz) = 6414eeac27a1633f49e2f78199ced99ce8ce3d70b658cf6d55b1d81ff60cb961
-SIZE (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 10082
+SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2
+SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869
+SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
+SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
+SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223
+SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888
+SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934
+SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222
+SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5
+SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465
+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/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
+SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
+SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d
+SIZE (cabal/strict-0.5/revision/1.cabal) = 4120
+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/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf
+SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578
+SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76
+SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407
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.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/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190
+SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216
+SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30
+SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152
+SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c
+SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303
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
-SIZE (cabal/these-1.1.1.1/revision/6.cabal) = 2748
+SHA256 (cabal/th-compat-0.1.4/revision/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37
+SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224
+SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
+SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
+SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e
+SIZE (cabal/these-1.2/revision/1.cabal) = 2882
SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80
SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964
-SHA256 (cabal/time-compat-1.9.6.1/revision/4.cabal) = 5cf5fa19d32742816fa1423085cbfd626aef433101c0b97bf0e8f720a6f369d8
-SIZE (cabal/time-compat-1.9.6.1/revision/4.cabal) = 5047
+SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52
+SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076
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/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 1b27bec5e0d522b27a6029ebf4c4a6d40acbc083c787008e32fb55c4b1d128d2
-SIZE (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 58030
-SHA256 (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = db11042bb0356c0adea277d0794743829125b4c99455af6af2bd5f7bd5e88a39
-SIZE (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = 3797
+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/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff
+SIZE (cabal/unordered-containers-0.2.20/revision/1.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/2.cabal) = f255fed3d51f87016d2ca65cbc8c31d0af7618b3f48dccc50faf3e53e2daf50e
-SIZE (cabal/uri-encode-1.5.0.7/revision/2.cabal) = 2341
+SHA256 (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00
+SIZE (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 2462
SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
-SHA256 (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = ad68b89b7a64c07dd5c250a11be2033ee929318ff51ec7b4e4b54e1b4deba7dd
-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.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/2.cabal) = f5d6d5291cd1b5f2f063403593f1f5c8127d692c888eedeb3e1eb40497a88dca
-SIZE (cabal/vector-stream-0.1.0.0/revision/2.cabal) = 1404
+SHA256 (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c
+SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965
+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-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b
+SIZE (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 15765
+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/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/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
+SHA256 (cabal/zlib-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d
+SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325
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 8bca8c0cc516..000000000000
--- a/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el
+++ /dev/null
@@ -1,57 +0,0 @@
-https://github.com/agda/agda/pull/6735
-
---- src/data/emacs-mode/agda2-mode.el.orig 2001-09-09 01:46:40 UTC
-+++ src/data/emacs-mode/agda2-mode.el
-@@ -261,8 +261,8 @@ CMD is a command; KEYS is its key binding (if any); WH
- "Table of commands, used to build keymaps and menus.
- Each element has the form (CMD &optional KEYS WHERE DESC) where
- CMD is a command; KEYS is its key binding (if any); WHERE is a
--list which should contain 'local if the command should exist in
--the goal menu and 'global if the command should exist in the main
-+list which should contain \\='local if the command should exist in
-+the goal menu and \\='global if the command should exist in the main
- menu; and DESC is the description of the command used in the
- menus.")
-
-@@ -530,7 +530,7 @@ for output and executes the responses, if any.
- Sends the list of strings ARGS to the Agda2 interpreter, waits
- for output and executes the responses, if any.
-
--If SAVE is 'save, then the buffer is saved first.
-+If SAVE is \\='save, then the buffer is saved first.
-
- If HIGHLIGHT is non-nil, then the buffer's syntax highlighting
- may be updated. This is also the case if the Agda process is
-@@ -759,13 +759,13 @@ The user input is computed as follows:
- contains whitespace, then the input is taken from the
- minibuffer. In this case WANT is used as the prompt string.
-
--* Otherwise (including if WANT is 'goal) the goal contents are
-+* Otherwise (including if WANT is \\='goal) the goal contents are
- used.
-
- If the user input is not taken from the goal, then an empty goal
- range is given.
-
--If SAVE is 'save, then the buffer is saved just before the
-+If SAVE is \\='save, then the buffer is saved just before the
- command is sent to Agda (if it is sent)."
- (cl-multiple-value-bind (o g) (agda2-goal-at (point))
- (unless g (error "For this command, please place the cursor in a goal"))
-@@ -893,7 +893,6 @@ of new goals."
-
- (defun agda2-autoAll ()
- (interactive)
-- "Solves all goals by simple proof search."
- (agda2-go nil nil 'busy t "Cmd_autoAll")
- )
-
-@@ -1949,7 +1948,7 @@ the argument is a positive number, otherwise turn it o
-
- (defun agda2-get-agda-program-versions ()
- "Get \"version strings\" of executables starting with
--'agda-mode' in current path."
-+\\='agda-mode' in current path."
- (delete-dups
- (mapcar (lambda (path)
- ;; strip 'agda-mode' prefix
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
index 4060154a17ae..8f80523d7955 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -23,6 +23,8 @@
%%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/Equiv.agda
+%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Equiv.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agda
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/Glue.agdai
%%DATADIR%%/lib/prim/Agda/Builtin/Cubical/HCompU.agda