From 99662cf261c1171a7e744b513bb6a3a4cacf4269 Mon Sep 17 00:00:00 2001 From: Gleb Popov Date: Sun, 12 Mar 2023 11:07:41 +0300 Subject: 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(-) delete mode 100644 math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el 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") - -- cgit v1.2.3