From nobody Thu Feb 08 20:08:08 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TW7MX330Vz5BJbw; Thu, 8 Feb 2024 20:08:08 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TW7MX2qVJz4tQN; Thu, 8 Feb 2024 20:08:08 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707422888; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=52GvOiyK9zc7KVuwiir6D9Fk8VvxOsEcZzU/z6uhMFM=; b=rMcEVgEOiPD2AmeZyZlhu09ohBRaSTNAkcz5CMijrojijKoOeu31CDgD3qYsvp2qYS0xrz F0Q3hWbcQZfPTdjPtIZMD5nobTOB7tCuNEJcIgFTq1qnV2F8NIYCpTxJZSvdEuEczWwVQO 4UGA+M4LCLOX+T8vdlI55gBwaT/RXoQ0qZFNq1dSNTaENKusyoXPiGvqOZS+NTAG+5a/qW Hon/62oQEw/I+hln4R7MQobY+NqMLp15Zf+yiO38HR5zHnf8MKzNPqOCUniTDkTGfpHuQr NodZS6yyeHiAbhUHscV4Gg1+ND84QBzHoKe+O3JoCa5tdSBSh0HQsRY9NpxAog== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707422888; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=52GvOiyK9zc7KVuwiir6D9Fk8VvxOsEcZzU/z6uhMFM=; b=lRWZjcvOKW804cC4ch7uPs+XVbUC2eI/Eq3N9oVcLYvH4AO+ZcxQZ8o9mG+EXZ6eliL5He zndpu9j1HposDC6Mk6Y800PJ7vafWY472BjnWayOfCHZGpVAA+tVI4LxaUcdxGz6C3nU/C gtxDPAhAmuOSpZwLjVKhp8yFMDhDztmaIY2Qbh/+G3YCfODVB4F7+HSqGAeNi9S+Ogz+ZE cNUX6/sj5gu14h0ubcsdwCUe5kv/8PzuHtq+V1d/aqfxdD5EjaXLiix4NAXOAKNhKydek4 DitIn8RG92CBRYdmRdeSyF256rLheJklFwjZd035cwxNgE5uy/GcXzy1OBKJcw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707422888; a=rsa-sha256; cv=none; b=XaNkpt5Q8fDY/iwylCIq6c01/Tia9Ie4bcRkKMouFDL3cgIhpUL30vfveUTEMUjgqKHQ1B DVDeqB5VHov2ufPPFUDRmeFnpNDupB5b3aJiu+Mne/mIz2LQmISaCtiJYPbRxPLlpAKhjK Eaok59lgB2BJjLW0tMGnAjOJsmVFnboxN0ReWDeBcda3KaPsv6zwsQK7fBpdJhhjITuRRO XgX9SMoM13Bce0tk2y0Y/12khlgauS449mo/LQNAihdfw+PCYwuf6CEpckyZSsDqrt5Eie CMs3TiZKxSa7toFNjdTJEuz0KUrZNTgPE1jB+cIL6i63u01qxtuTwDMYu41vcg== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TW7MX1tHGz13xx; Thu, 8 Feb 2024 20:08:08 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 418K886Y076840; Thu, 8 Feb 2024 20:08:08 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 418K88eA076836; Thu, 8 Feb 2024 20:08:08 GMT (envelope-from git) Date: Thu, 8 Feb 2024 20:08:08 GMT Message-Id: <202402082008.418K88eA076836@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: f59e1f7db558 - main - math/hs-Agda: update to 2.6.4.1 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: f59e1f7db55878af128e28b90b38736e6e570107 Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=f59e1f7db55878af128e28b90b38736e6e570107 commit f59e1f7db55878af128e28b90b38736e6e570107 Author: awoonya AuthorDate: 2024-02-05 19:27:28 +0000 Commit: Gleb Popov 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