From nobody Thu Jul 07 10:25:30 2022 X-Original-To: dev-commits-ports-main@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 6F46412AED8F; Thu, 7 Jul 2022 10:25:31 +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 4LdsxQ6P2bz3Jsg; Thu, 7 Jul 2022 10:25:30 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1657189531; 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=eWjkS+ZNFQLC2sNIVrYyaxpY9JKvk3RJOjxCO0LHWTM=; b=kOVQ9R5DPUkntYPKKqpk96IW7UCNIwWCYeyRxApRQ7V8RpheFuB3RzGD3oqTJLL13zPdC1 D0I1vakfCOqLLj5+5tA2/qMNFXrgOZAyFprLVaXTDlK9Z4ilXbQKNn55JEi5gO7fOwr11O i9mp36omi19mAKx1wTxENwmVDet2f/bHDOw/fkxgbS8v5bEI9pLY+9qYBnPvkmLARy8BqN yc1u/5ROLoC0TO6BPdkHVx5i6dRjIDFXXYEJVzz6RswuzKWtN269WGT+RdSrFZ3f7bIx2D KC/0vypIFaOkeZXGtP1VdCQ+2u5QexVkNJwKWwwVlDHP8B1ofZzbWcbSlhnR4Q== 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 4LdsxQ4NVfzfxC; Thu, 7 Jul 2022 10:25:30 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 267APUni095570; Thu, 7 Jul 2022 10:25:30 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 267APU31095569; Thu, 7 Jul 2022 10:25:30 GMT (envelope-from git) Date: Thu, 7 Jul 2022 10:25:30 GMT Message-Id: <202207071025.267APU31095569@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: f44c5e4b44fc - main - security/hs-cryptol: Update to 2.13.0 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@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: f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1657189531; 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=eWjkS+ZNFQLC2sNIVrYyaxpY9JKvk3RJOjxCO0LHWTM=; b=GHizLaHcdkhRURAvn8Fev1sNWtSPBPOwyDHlJhn21hpJsjnfvIsXBwKfBMq3+qY8+3xCJD XiwxbB2lZ9IP9S3Ld4PC/DCadyovOsLUhBs89TPwy/X4zSWjR/+qJcAmx6lRzfOR6LPgOT UShWyDr5zPLXMg1jdBznBfHRBWqdS5qbZunzXjAQZSzfeEpA3Mao7PQT++QMPsyg+rHZ6k K4x0ByAmir5lY8bf9Rmet11w6T0kgFgu6HUMo4fJjh/Ir1gvvr00jDgMgSF0YilNUu3gO2 BwKQ9H5+0wzRExUppsE4wTItPzwkrgNByDYu9ZSjtSwNwkncqOq52w9RmTRr2g== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1657189531; a=rsa-sha256; cv=none; b=sVEttAX2jvl+X4oaMRyOi3J2QOhJrjWit4wBR0sbGe9wQ3OQTVcVL6vvxCNP94B2N1Bg7s 6za1QdSkdh7CvKWcXl4526X4f8LncK5WC5Oyjxo2ewWy2gB6QO/ageP9ZXKTB20HAqryd8 J7YMLIpPgwK92GIFloy1F88eiYPuLKc6C0LNxmLtYvagL8WaRcwWm2DWZMAorJrcY6nk8s 6uH0sY8czEoPTSILuL3Qzl0K46EQF+x/WGTUAL4KwL2d9wu67tCLicMkDqal1S3PWx1yQC IgjrewIRr/cSX30mI46lO58kzV+Tuw4KBTjR86fCm+TF909l6RHe3VniyFLoLg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07 commit f44c5e4b44fc3b9047b6d93a41bbc22348e9dd07 Author: Gleb Popov AuthorDate: 2022-05-18 10:13:15 +0000 Commit: Gleb Popov CommitDate: 2022-07-07 10:24:35 +0000 security/hs-cryptol: Update to 2.13.0 --- security/hs-cryptol/Makefile | 177 ++++++++++---------- security/hs-cryptol/distinfo | 366 +++++++++++++++++++++++------------------- security/hs-cryptol/pkg-plist | 7 + 3 files changed, 304 insertions(+), 246 deletions(-) diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile index 80c2d5defad2..b3bf20ee10d8 100644 --- a/security/hs-cryptol/Makefile +++ b/security/hs-cryptol/Makefile @@ -1,6 +1,5 @@ PORTNAME= cryptol -DISTVERSION= 2.11.0 -PORTREVISION= 1 +DISTVERSION= 2.13.0 CATEGORIES= security lang haskell MAINTAINER= yuri@FreeBSD.org @@ -17,99 +16,115 @@ RUN_DEPENDS= z3:math/z3 USES= cabal -USE_CABAL= FloatingHex-0.5 \ - GraphSCC-1.0.4 \ +CABAL_FLAGS= -relocatable + +USE_CABAL= GraphSCC-1.0.4 \ MemoTrie-0.6.10 \ + OneTuple-0.3.1_2 \ QuickCheck-2.14.2 \ - StateVar-1.2.1 \ - adjunctions-4.4_2 \ - alex-3.2.6 \ - ansi-terminal-0.11 \ - ansi-wl-pprint-0.6.9_2 \ - assoc-1.0.2_1 \ - async-2.2.3 \ - attoparsec-0.13.2.5_1 \ - base-compat-0.11.2 \ - base-orphans-0.8.4 \ - bifunctors-5.5.10 \ - bimap-0.4.0_1 \ - bitwise-1.0.0.1_4 \ - blaze-builder-0.4.2.1 \ - blaze-html-0.9.1.2_1 \ - blaze-markup-0.8.2.8 \ - bv-sized-1.0.2 \ - bytestring-builder-0.10.8.2.0 \ - call-stack-0.3.0 \ + StateVar-1.2.2 \ + adjunctions-4.4.1 \ + alex-3.2.7.1 \ + ansi-terminal-0.11.3 \ + ansi-wl-pprint-0.6.9_3 \ + arithmoi-0.12.0.1 \ + assoc-1.0.2_2 \ + async-2.2.4_1 \ + attoparsec-0.14.4_1 \ + base-compat-0.12.1 \ + base-compat-batteries-0.12.1_2 \ + base-orphans-0.8.6 \ + bifunctors-5.5.12 \ + bimap-0.5.0 \ + bitwise-1.0.0.1_5 \ + blaze-builder-0.4.2.2_1 \ + blaze-html-0.9.1.2_2 \ + blaze-markup-0.8.2.8_2 \ + bv-sized-1.0.4 \ + call-stack-0.4.0 \ case-insensitive-1.2.1.0 \ - clock-0.8.2 \ - colour-2.3.5 \ - comonad-5.0.8 \ - config-value-0.8.1_1 \ - constraints-0.13 \ - contravariant-1.5.3 \ - cryptohash-sha1-0.11.100.1_5 \ + chimera-0.3.2.0 \ + clock-0.8.3 \ + colour-2.3.6 \ + comonad-5.0.8_1 \ + concurrent-extra-0.7.0.12 \ + config-value-0.8.2.1 \ + constraints-0.13.3 \ + contravariant-1.5.5 \ + cryptohash-sha1-0.11.101.0 \ data-binary-ieee754-0.4.4 \ - deriving-compat-0.5.10 \ - distributive-0.6.2.1 \ - extra-1.7.9 \ - fingertree-0.1.4.2 \ - free-5.1.6 \ + deriving-compat-0.6.1 \ + distributive-0.6.2.1_1 \ + exact-pi-0.5.0.2 \ + extra-1.7.10 \ + fingertree-0.1.5.0 \ + free-5.1.8 \ gitrev-1.3.1 \ - happy-1.20.0 \ - hashable-1.3.1.0 \ - hashtables-1.2.4.1 \ + happy-1.20.0_1 \ + hashable-1.3.5.0_1 \ + hashtables-1.2.4.2 \ heredoc-0.2.0.0 \ - hsc2hs-0.68.7_1 \ - indexed-traversable-0.1.1 \ - indexed-traversable-instances-0.1 \ - integer-logarithms-1.0.3.1 \ - invariant-0.5.4 \ - io-streams-1.5.2.0_2 \ - kan-extensions-5.2.2 \ - lens-5.0.1 \ - libBF-0.6.2 \ - megaparsec-9.0.1_1 \ - monad-control-1.0.2.3 \ - monadLib-3.10_1 \ - network-3.1.2.1_1 \ - newtype-generics-0.6 \ - optparse-applicative-0.16.1.0 \ + hsc2hs-0.68.8 \ + indexed-traversable-0.1.2_1 \ + indexed-traversable-instances-0.1.1 \ + integer-logarithms-1.0.3.1_2 \ + integer-roots-1.0.2.0 \ + invariant-0.5.6 \ + io-streams-1.5.2.1_2 \ + kan-extensions-5.2.4 \ + lens-5.1.1 \ + libBF-0.6.3 \ + megaparsec-9.2.1 \ + mod-0.1.2.2 \ + monad-control-1.0.3.1 \ + monadLib-3.10.1 \ + network-3.1.2.7 \ + newtype-generics-0.6.1 \ + numtype-dk-0.5.0.3 \ + optparse-applicative-0.17.0.0 \ panic-0.4.0.1 \ - parallel-3.2.2.0_3 \ - parameterized-utils-2.1.3.0 \ + parallel-3.2.2.0_4 \ + parameterized-utils-2.1.5.0 \ parser-combinators-1.3.0 \ - prettyprinter-1.7.0 \ - primitive-0.7.1.0_2 \ - profunctors-5.6.2 \ - random-1.2.0_5 \ - reflection-2.1.6 \ - sbv-8.12 \ - scientific-0.3.6.2 \ - semigroupoids-5.3.5 \ - semigroups-0.19.1 \ - simple-smt-0.9.6 \ - splitmix-0.1.0.3 \ - strict-0.4.0.1 \ + prettyprinter-1.7.1 \ + primitive-0.7.3.0 \ + profunctors-5.6.2_2 \ + random-1.2.1.1 \ + reflection-2.1.6_1 \ + sbv-9.0 \ + scientific-0.3.7.0_2 \ + semigroupoids-5.3.7 \ + semigroups-0.20 \ + semirings-0.6_1 \ + simple-smt-0.9.7 \ + splitmix-0.1.0.4 \ + strict-0.4.0.1_4 \ syb-0.7.2.1 \ - tagged-0.8.6.1_1 \ + tagged-0.8.6.1_2 \ temporary-1.3 \ tf-random-0.5 \ - th-abstraction-0.4.2.0 \ - th-lift-0.8.2 \ - th-lift-instances-0.1.18 \ - these-1.1.1.1_1 \ - transformers-base-0.4.5.2 \ - transformers-compat-0.6.6 \ - type-equality-1_2 \ + th-abstraction-0.4.3.0 \ + th-lift-0.8.2_1 \ + th-lift-instances-0.1.19 \ + these-1.1.1.1_5 \ + transformers-base-0.4.6 \ + transformers-compat-0.7.1_1 \ + type-equality-1_3 \ + unbounded-delays-0.1.1.1 \ uniplate-1.6.13_1 \ - unordered-containers-0.2.13.0 \ + unordered-containers-0.2.19.1 \ utf8-string-1.0.2 \ - vector-0.12.3.0 \ - versions-4.0.3 \ + vector-0.12.3.1_1 \ + versions-5.0.3 \ void-0.7.3 \ - what4-1.1 \ - zenc-0.1.1 \ - zlib-0.6.2.3 \ + what4-1.3 \ + zenc-0.1.2 \ + zlib-0.6.3.0 \ zlib-bindings-0.1.1.5_2 +EXECUTABLES= cryptol cryptol-html + +post-install: + cd ${WRKSRC}/lib && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR} + .include diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo index c1af8525af5c..22912c28ea77 100644 --- a/security/hs-cryptol/distinfo +++ b/security/hs-cryptol/distinfo @@ -1,234 +1,270 @@ -TIMESTAMP = 1619153940 -SHA256 (cabal/cryptol-2.11.0.tar.gz) = 43b7535f5cb792efccddbb3f4c09bd2e922777d19a6537cb3aa27adf69280716 -SIZE (cabal/cryptol-2.11.0.tar.gz) = 430415 -SHA256 (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = a3a37a0f373a09a1261954b737959a7129b79e3e8f775b981bbe4abb85016830 -SIZE (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = 4960 +TIMESTAMP = 1652861071 +SHA256 (cabal/cryptol-2.13.0.tar.gz) = 5c5b7ad0b290c506836dbbad886ae43ce7d690dd86e2f2a9124564c2f5602b83 +SIZE (cabal/cryptol-2.13.0.tar.gz) = 456334 SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1 SIZE (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 4289 SHA256 (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 584df0e138093b2f2edc893a69883eb8cbca3402ebdc75392a7742e86156ba53 SIZE (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 8403 +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/2.cabal) = a848c096c9d29e82ffdd30a9998aa2931cbccb3a1bc137539d80f6174d31603e +SIZE (cabal/OneTuple-0.3.1/revision/2.cabal) = 2262 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/StateVar-1.2.1/StateVar-1.2.1.tar.gz) = ee261552912b60d8b937f0253615e310e6cc25f9c407001b3bcc2e3d55000f8b -SIZE (cabal/StateVar-1.2.1/StateVar-1.2.1.tar.gz) = 5055 -SHA256 (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 507c2ef55337ae61c805f8cbc1213dfd7d2b85187342675d662254b8d8a16ae9 -SIZE (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 19891 -SHA256 (cabal/adjunctions-4.4/revision/2.cabal) = 2738dd5f5d5e93749adb14a05472e58a96a75d0f299e46371c6f46dc4e97daf9 -SIZE (cabal/adjunctions-4.4/revision/2.cabal) = 3067 -SHA256 (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 91aa08c1d3312125fbf4284815189299bbb0be34421ab963b1f2ae06eccc5410 -SIZE (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 108832 -SHA256 (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = c6611b9e51add41db3f79eac30066c06b33a6ca2a09e586b4b361d7f98303793 -SIZE (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = 36074 +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/adjunctions-4.4.1/adjunctions-4.4.1.tar.gz) = 9cf34f150606a07d730751037a9d4935ea7760c89b8fcdc3b8fdd858b6411543 +SIZE (cabal/adjunctions-4.4.1/adjunctions-4.4.1.tar.gz) = 17165 +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/ansi-terminal-0.11.3/ansi-terminal-0.11.3.tar.gz) = f4d563ecf71fb1d304bcdcad478d97efd9f61f6d9d4797a5d56e7722a92a9e6b +SIZE (cabal/ansi-terminal-0.11.3/ansi-terminal-0.11.3.tar.gz) = 37868 SHA256 (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = a7b2e8e7cd3f02f2954e8b17dc60a0ccd889f49e2068ebb15abfa1d42f7a4eac SIZE (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = 16723 -SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 20d30674f137d43aa0279c2c2cc5e45a5f1c3c57e301852494906158b6313bf7 -SIZE (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 2388 +SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 212144ea0623b1170807a4162db05d87f26cf10b334aeadd0edb377aba06a1ce +SIZE (cabal/ansi-wl-pprint-0.6.9/revision/3.cabal) = 2425 +SHA256 (cabal/arithmoi-0.12.0.1/arithmoi-0.12.0.1.tar.gz) = 3ffe7345feba2990c926abbea33c8b027aec1546400ec1357b66996fb8034ab7 +SIZE (cabal/arithmoi-0.12.0.1/arithmoi-0.12.0.1.tar.gz) = 186267 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/1.cabal) = a824e4f615469a27ad949dbf4907ba258bd6b459deebec00524c7bcb3f65cc9f -SIZE (cabal/assoc-1.0.2/revision/1.cabal) = 1205 -SHA256 (cabal/async-2.2.3/async-2.2.3.tar.gz) = 467af3a0037947a5232ecf5f4efbd4cf2118aaa2310566d7f40ac82b0e32935c -SIZE (cabal/async-2.2.3/async-2.2.3.tar.gz) = 14056 -SHA256 (cabal/attoparsec-0.13.2.5/attoparsec-0.13.2.5.tar.gz) = 21e0f38eaa1957bf471276afa17651c125a38924575f12c2cbd2fa534b45686f -SIZE (cabal/attoparsec-0.13.2.5/attoparsec-0.13.2.5.tar.gz) = 163876 -SHA256 (cabal/attoparsec-0.13.2.5/revision/1.cabal) = 7c88195c3f3243c6abe356c1bc872cf40818a8c7b0e261a8f8e6868fe42819a0 -SIZE (cabal/attoparsec-0.13.2.5/revision/1.cabal) = 6171 -SHA256 (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 53a6b5145442fba5a4bad6db2bcdede17f164642b48bc39b95015422a39adbdb -SIZE (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 34625 -SHA256 (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 37b2b59356c03400a2d509862677393c5ff706a0aabf826c104f6fe03d93bbb3 -SIZE (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 22573 -SHA256 (cabal/bifunctors-5.5.10/bifunctors-5.5.10.tar.gz) = e7729cfd8b6af5cecd7dd509e4e493eec0f1522876cc0ccf4f5805495c33a90d -SIZE (cabal/bifunctors-5.5.10/bifunctors-5.5.10.tar.gz) = 45810 -SHA256 (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = d1a39686abbfed5864a8fb778d2244825b6eac977e130e7c1212e6d3a68f249d -SIZE (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = 10710 -SHA256 (cabal/bimap-0.4.0/revision/1.cabal) = c59d587b56b575c299ba0c2fff44e630991a120a167de5a19cd7a81320f63c84 -SIZE (cabal/bimap-0.4.0/revision/1.cabal) = 1717 +SHA256 (cabal/assoc-1.0.2/revision/2.cabal) = e0d9d1febc172e2a1b22aacd25df7f90be557dcf12ff87359f43128f8c194d9e +SIZE (cabal/assoc-1.0.2/revision/2.cabal) = 1237 +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/1.cabal) = b83dec34a53520de84c6dd3dc7aae45d22409b46eb471c478b98108215a370f0 +SIZE (cabal/async-2.2.4/revision/1.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/1.cabal) = 79584bdada8b730cb5138fca8c35c76fbef75fc1d1e01e6b1d815a5ee9843191 +SIZE (cabal/attoparsec-0.14.4/revision/1.cabal) = 5810 +SHA256 (cabal/base-compat-0.12.1/base-compat-0.12.1.tar.gz) = fb683cb4041b88cab1d0849f70ebd26b342c734a9ef6f75233c1602d53a015fd +SIZE (cabal/base-compat-0.12.1/base-compat-0.12.1.tar.gz) = 35504 +SHA256 (cabal/base-compat-batteries-0.12.1/base-compat-batteries-0.12.1.tar.gz) = f98f3cdd8231edb4826744904d61f7672b9b628c7072c45684d3f7f1f55d838b +SIZE (cabal/base-compat-batteries-0.12.1/base-compat-batteries-0.12.1.tar.gz) = 17623 +SHA256 (cabal/base-compat-batteries-0.12.1/revision/2.cabal) = ee819d7570b2fda1012d29db945a1778c388ef8c0c282e45c8fe4eae7616a25c +SIZE (cabal/base-compat-batteries-0.12.1/revision/2.cabal) = 8891 +SHA256 (cabal/base-orphans-0.8.6/base-orphans-0.8.6.tar.gz) = 20a21c4b7adb0fd844b25e196241467406a28286b021f9b7a082ab03fa8015eb +SIZE (cabal/base-orphans-0.8.6/base-orphans-0.8.6.tar.gz) = 24255 +SHA256 (cabal/bifunctors-5.5.12/bifunctors-5.5.12.tar.gz) = c6067772009772764cdbd585057cc88902876378686bc391fe7b0d1eb66e715d +SIZE (cabal/bifunctors-5.5.12/bifunctors-5.5.12.tar.gz) = 46135 +SHA256 (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = b0b44b0f2eaceb83f46dfa3d1747e080c45204c64d18bb9e63747299266f0c95 +SIZE (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = 11205 SHA256 (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 76ae082a9f1950555dae8f1fb57ac6a7da85f30114b2f252dd2fa5e567fbbe0f SIZE (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 16473 -SHA256 (cabal/bitwise-1.0.0.1/revision/4.cabal) = 2499779e8c9d59b3d8660e4994d357328750de8b4d1076c9924fb93404fa4c3a -SIZE (cabal/bitwise-1.0.0.1/revision/4.cabal) = 3110 -SHA256 (cabal/blaze-builder-0.4.2.1/blaze-builder-0.4.2.1.tar.gz) = 6e6889bc9c3ff92062a17f3825dcc1b28510d261334d4d4e177232d904ea0b06 -SIZE (cabal/blaze-builder-0.4.2.1/blaze-builder-0.4.2.1.tar.gz) = 60704 +SHA256 (cabal/bitwise-1.0.0.1/revision/5.cabal) = 04c0e0c65a9228d9e004b5c4b08633b2f0e915afe8f3affc9bd16f75f92ccf61 +SIZE (cabal/bitwise-1.0.0.1/revision/5.cabal) = 3110 +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/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/1.cabal) = 49db3eb70fa93fb572f3a9233b542b59e7f766a2b95c92d01d95a596c7727473 -SIZE (cabal/blaze-html-0.9.1.2/revision/1.cabal) = 3048 +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/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = bcc868e9b74742af1152f98c01bf00ddcc930e2a0f6d3d230b2713404e65a753 -SIZE (cabal/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = 18223 -SHA256 (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 27faef6db27c5be5a3715fd68b93725853e0e668849eaf92ce7c33cef9cb2c3f -SIZE (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 47366 -SHA256 (cabal/call-stack-0.3.0/call-stack-0.3.0.tar.gz) = b80e8de2b87f01922b23b328655ad2f843f42495f3e1033ae907aade603c716a -SIZE (cabal/call-stack-0.3.0/call-stack-0.3.0.tar.gz) = 2544 +SHA256 (cabal/blaze-markup-0.8.2.8/revision/2.cabal) = 38d7a3840163aeaff8194d8a3af354a8c4c4db833f172b88f8bfb7d23dd59f1c +SIZE (cabal/blaze-markup-0.8.2.8/revision/2.cabal) = 2413 +SHA256 (cabal/bv-sized-1.0.4/bv-sized-1.0.4.tar.gz) = c754ad80d26d7e4c65424ebc18064254f05873161050bc5d41e5bd16c242cd30 +SIZE (cabal/bv-sized-1.0.4/bv-sized-1.0.4.tar.gz) = 19635 +SHA256 (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 430bcf8a3404f7e55319573c0b807b1356946f0c8f289bb3d9afb279c636b87b +SIZE (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 2757 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/clock-0.8.2/clock-0.8.2.tar.gz) = 0b5db110c703e68b251d5883253a934b012110b45393fc65df1b095eb9a4e461 -SIZE (cabal/clock-0.8.2/clock-0.8.2.tar.gz) = 7604 -SHA256 (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 3b8d471979617dce7c193523743c9782df63433d8e87e3ef6d97922e0da104e7 -SIZE (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 20485 +SHA256 (cabal/chimera-0.3.2.0/chimera-0.3.2.0.tar.gz) = 094e90d99fb58f282c1380ec21519bcd7fa89222912fb539062bc33354b011dd +SIZE (cabal/chimera-0.3.2.0/chimera-0.3.2.0.tar.gz) = 15915 +SHA256 (cabal/clock-0.8.3/clock-0.8.3.tar.gz) = 845ce5db4c98cefd517323e005f87effceff886987305e421c4ef616dc0505d1 +SIZE (cabal/clock-0.8.3/clock-0.8.3.tar.gz) = 9099 +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/config-value-0.8.1/config-value-0.8.1.tar.gz) = 58f45c24dcb668360b773171bc4dafe702bc434981a76ef821e58ca302d8d220 -SIZE (cabal/config-value-0.8.1/config-value-0.8.1.tar.gz) = 20065 -SHA256 (cabal/config-value-0.8.1/revision/1.cabal) = 47582043bb0054b4b3185c3c3c96c1b999b425ff9aadf40a9ed71953707e4371 -SIZE (cabal/config-value-0.8.1/revision/1.cabal) = 1973 -SHA256 (cabal/constraints-0.13/constraints-0.13.tar.gz) = 9259af54682f2673931978d96074c147406b1e18bd9111903fcaefe9252a6590 -SIZE (cabal/constraints-0.13/constraints-0.13.tar.gz) = 21437 -SHA256 (cabal/contravariant-1.5.3/contravariant-1.5.3.tar.gz) = 44536f0e331fde471271937323dc90409e95d47f57e42657fdaf242a0fd65dc1 -SIZE (cabal/contravariant-1.5.3/contravariant-1.5.3.tar.gz) = 13726 -SHA256 (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 3c79af33542512442f8f87f6abb1faef7cd43bbfb2859260a33251d861eb0dab -SIZE (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 10198 -SHA256 (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 14d814cd88f5fd47641bef414668f3a5bba8b27fa8f960b1a6f4f2ba29265ee1 -SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 4363 +SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e +SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631 +SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e6db9e0147de9929661759930f1566a7250add4c7f65b04dc6e070c991df9 +SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844 +SHA256 (cabal/config-value-0.8.2.1/config-value-0.8.2.1.tar.gz) = f3fcca94a86dd0cba3a2e72de55088eff4b7747ea48ba55eca62224c788113cf +SIZE (cabal/config-value-0.8.2.1/config-value-0.8.2.1.tar.gz) = 20351 +SHA256 (cabal/constraints-0.13.3/constraints-0.13.3.tar.gz) = f9cbf654ca9a0fb5af8ff21e9ebae8ddb17d5ef6b7d50be28cbaff61448f0d4a +SIZE (cabal/constraints-0.13.3/constraints-0.13.3.tar.gz) = 21574 +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/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4042c97ad02eb68e766577ca35c01970c33e96cfd74ccb4dd403e3476a23241 +SIZE (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = 11563 SHA256 (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 59975abed8f4caa602f0780c10a9b2493479e6feb71ad189bb10c3ac5678df0a SIZE (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 4117 -SHA256 (cabal/deriving-compat-0.5.10/deriving-compat-0.5.10.tar.gz) = 9029e45f0f748853c29bdb50c1191db737e5a66fb71fd255349b87b3742700aa -SIZE (cabal/deriving-compat-0.5.10/deriving-compat-0.5.10.tar.gz) = 72415 +SHA256 (cabal/deriving-compat-0.6.1/deriving-compat-0.6.1.tar.gz) = 6bfda1bb730fdad50251f7875dff2802fea3388cfd4ea232f34a03218cae9d26 +SIZE (cabal/deriving-compat-0.6.1/deriving-compat-0.6.1.tar.gz) = 74240 SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91 SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140 -SHA256 (cabal/extra-1.7.9/extra-1.7.9.tar.gz) = f66e26a63b216f0ca33665a75c08eada0a96af192ace83a18d87839d79afdf9d -SIZE (cabal/extra-1.7.9/extra-1.7.9.tar.gz) = 44369 -SHA256 (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 95a948341570bad5a9b2468c388c0eb2c20c57e10dd8fbfc994c7b8764b36a7f -SIZE (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 18978 -SHA256 (cabal/free-5.1.6/free-5.1.6.tar.gz) = cc7dd8440c446e2ab4a960e7d032fdbffd1a91bb4f3ca14605a624d4c0f7ec04 -SIZE (cabal/free-5.1.6/free-5.1.6.tar.gz) = 61876 +SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c +SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996 +SHA256 (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 441dd2516902f13801c41310fa98ea82f7a946e8ddd2f775b19931f7e91eacf6 +SIZE (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 9255 +SHA256 (cabal/extra-1.7.10/extra-1.7.10.tar.gz) = 9fdfe67986c89b6cc7a648904a997f4b774f8173cec3de64289d9c45224c4140 +SIZE (cabal/extra-1.7.10/extra-1.7.10.tar.gz) = 44872 +SHA256 (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = f3263c92fa8b18f1e1a64cd12480c8c1bee2c1fa0584ab3345f3dd8522bdbf71 +SIZE (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = 20656 +SHA256 (cabal/free-5.1.8/free-5.1.8.tar.gz) = 7977448bb18857d0669cfd1f08a8410f0295a8641b239ac7c5db4a6ff8518340 +SIZE (cabal/free-5.1.8/free-5.1.8.tar.gz) = 61571 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/hashable-1.3.1.0/hashable-1.3.1.0.tar.gz) = 8061823a4ac521b53912edcba36b956f3159cb885b07ec119af295a6568ca7c4 -SIZE (cabal/hashable-1.3.1.0/hashable-1.3.1.0.tar.gz) = 21424 -SHA256 (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 0ac3bf86030eeb1dd0f3d0cd1967cb610ee9564251622371fda560bc4e7def6d -SIZE (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 58425 +SHA256 (cabal/happy-1.20.0/revision/1.cabal) = 5d47dc221a9fe964e36aaaa2e1ab7e8f085a225fd6528d6eff310b92360bbe99 +SIZE (cabal/happy-1.20.0/revision/1.cabal) = 5732 +SHA256 (cabal/hashable-1.3.5.0/hashable-1.3.5.0.tar.gz) = baaad82cd4271b197016bdbe76f22d5c3d3913fe38534cec7d817db9bae19886 +SIZE (cabal/hashable-1.3.5.0/hashable-1.3.5.0.tar.gz) = 24676 +SHA256 (cabal/hashable-1.3.5.0/revision/1.cabal) = 3a2beeafb220f9de706568a7e4a5b3c762cc4c9f25c94d7ef795b8c2d6a691d7 +SIZE (cabal/hashable-1.3.5.0/revision/1.cabal) = 4240 +SHA256 (cabal/hashtables-1.2.4.2/hashtables-1.2.4.2.tar.gz) = a8e7220352500fdc90e80422c9fa3b47e1f7ad7f6f9da07f929fc7c5011470fc +SIZE (cabal/hashtables-1.2.4.2/hashtables-1.2.4.2.tar.gz) = 58466 SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be510845493b6a6eddcc4b772581fd40a9433ed8f130f40 SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449 -SHA256 (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = fd7915e41e3ed3bc7750fee0e8add2b4f32dcac8b7c544cfdf5542293223894a -SIZE (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = 38630 -SHA256 (cabal/hsc2hs-0.68.7/revision/1.cabal) = 4a0f6860a17e7c245646975e3c2981416afdcb6a7b3553c31005eb3641a7f55b -SIZE (cabal/hsc2hs-0.68.7/revision/1.cabal) = 2794 -SHA256 (cabal/indexed-traversable-0.1.1/indexed-traversable-0.1.1.tar.gz) = 7ac36ae3153cbe7a8e99eacffd065367b87544953cc92997f424a150db468139 -SIZE (cabal/indexed-traversable-0.1.1/indexed-traversable-0.1.1.tar.gz) = 8424 -SHA256 (cabal/indexed-traversable-instances-0.1/indexed-traversable-instances-0.1.tar.gz) = faec44807902b58e50c8e12394d15ebda1f00c0e235b490f7b1c4ae5b5ae68dc -SIZE (cabal/indexed-traversable-instances-0.1/indexed-traversable-instances-0.1.tar.gz) = 4235 +SHA256 (cabal/hsc2hs-0.68.8/hsc2hs-0.68.8.tar.gz) = 78341efbc917a84a07f2143bee9203e2555072054d495717aa73d89d9df77a52 +SIZE (cabal/hsc2hs-0.68.8/hsc2hs-0.68.8.tar.gz) = 40207 +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/1.cabal) = d66228887242f93ccb4fc7101a1e25a6560c8e4708f6e9ee1d3dd21901756c65 +SIZE (cabal/indexed-traversable-0.1.2/revision/1.cabal) = 2519 +SHA256 (cabal/indexed-traversable-instances-0.1.1/indexed-traversable-instances-0.1.1.tar.gz) = 100ed1023b541328b04bcec0964b9f9d5fc93285fc23a2ac6873bf8597439a44 +SIZE (cabal/indexed-traversable-instances-0.1.1/indexed-traversable-instances-0.1.1.tar.gz) = 4422 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/invariant-0.5.4/invariant-0.5.4.tar.gz) = b9fa0a1805dde1a4d39bed154e297a37933d2a82b295231098a76be9d60397ca -SIZE (cabal/invariant-0.5.4/invariant-0.5.4.tar.gz) = 26998 -SHA256 (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63d2f04749f30f0dac2148aa8dec488c07a7e245c80c11f139ad9050665e6ac1 -SIZE (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63812 -SHA256 (cabal/io-streams-1.5.2.0/revision/2.cabal) = 079370252f3e9ec45393a6a336d16defe31c55b0f75873e6de6fb66e2af220d7 -SIZE (cabal/io-streams-1.5.2.0/revision/2.cabal) = 9839 -SHA256 (cabal/kan-extensions-5.2.2/kan-extensions-5.2.2.tar.gz) = 3bf3ce4cacf9c57c03e9a1c36ecb1baf5d8356730853a2592d2112d1248498a0 -SIZE (cabal/kan-extensions-5.2.2/kan-extensions-5.2.2.tar.gz) = 21887 -SHA256 (cabal/lens-5.0.1/lens-5.0.1.tar.gz) = ec543d933636419d686a9f00898f9a81cbbde65a24960f43a9f0a27216e9fc3f -SIZE (cabal/lens-5.0.1/lens-5.0.1.tar.gz) = 698361 -SHA256 (cabal/libBF-0.6.2/libBF-0.6.2.tar.gz) = 7d035ca04ff4111e70434f0549f6db54dd93666fe1369790aa90e1cf1fbf5d01 -SIZE (cabal/libBF-0.6.2/libBF-0.6.2.tar.gz) = 72022 -SHA256 (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 7228bc49d8636632b481eb13f16f2a9633007b8f55ebc0105f517ad7f71f2501 -SIZE (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 59734 -SHA256 (cabal/megaparsec-9.0.1/revision/1.cabal) = 2244ab77521a52a0083966c5405b3151f149e1db50b1a5b104cd9b1e56617203 -SIZE (cabal/megaparsec-9.0.1/revision/1.cabal) = 3248 -SHA256 (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 6c1034189d237ae45368c70f0e68f714dd3beda715dd265b6c8a99fcc64022b1 -SIZE (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 13864 -SHA256 (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 615c4e0f43491950da36608f968fc28d07a9128e7662d5481891a9a40d667ba3 -SIZE (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 11475 -SHA256 (cabal/monadLib-3.10/revision/1.cabal) = 21dc120625bd612527b372e54251fd8358270effe263023d40d8e5892d24531c -SIZE (cabal/monadLib-3.10/revision/1.cabal) = 653 -SHA256 (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = fcaa954445cb575ff04d088e719452e356324b6acb98c5aefd2541a069439d4a -SIZE (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = 136889 -SHA256 (cabal/network-3.1.2.1/revision/1.cabal) = 188d6daea8cd91bc3553efd5a90a1e7c6d0425fa66a53baa74db5b6d9fd75c8b -SIZE (cabal/network-3.1.2.1/revision/1.cabal) = 4968 -SHA256 (cabal/newtype-generics-0.6/newtype-generics-0.6.tar.gz) = 8a8bace7786b33fe9d356a05b407b41db89f9bad60980d9a664fd33d21af7e11 -SIZE (cabal/newtype-generics-0.6/newtype-generics-0.6.tar.gz) = 6787 -SHA256 (cabal/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 6205278362f333c52256b9dd3edf5f8fe0f84f00cb9ee000291089f6eaccd69a -SIZE (cabal/optparse-applicative-0.16.1.0/optparse-applicative-0.16.1.0.tar.gz) = 58315 +SHA256 (cabal/integer-logarithms-1.0.3.1/revision/2.cabal) = b65e11ec6f4b29c5278716da0544b951a49ab5310608df0fc41eec29f15691d9 +SIZE (cabal/integer-logarithms-1.0.3.1/revision/2.cabal) = 3229 +SHA256 (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 45e3fc64c80e1e0b325988395c18e71885e15a1f5209f09343b52b549f1c5697 +SIZE (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 54903 +SHA256 (cabal/invariant-0.5.6/invariant-0.5.6.tar.gz) = 9cfdf9faaa7521a05c34c1374f936e925ee6a5f438188ff8412101582de5e3d0 +SIZE (cabal/invariant-0.5.6/invariant-0.5.6.tar.gz) = 27506 +SHA256 (cabal/io-streams-1.5.2.1/io-streams-1.5.2.1.tar.gz) = de666408a44db1bb7a9116a56d3100165df4f6dfc34142eff97a469e7bc57af8 +SIZE (cabal/io-streams-1.5.2.1/io-streams-1.5.2.1.tar.gz) = 64050 +SHA256 (cabal/io-streams-1.5.2.1/revision/2.cabal) = a9162d0534ef9a02d8a6d9174d41df984b474d39375ceed63a934cc3a72c599b +SIZE (cabal/io-streams-1.5.2.1/revision/2.cabal) = 9916 +SHA256 (cabal/kan-extensions-5.2.4/kan-extensions-5.2.4.tar.gz) = e8c63fbe2af4a9d2b3b08e30e8b80ab76a0c1871a8528573b41f6bc837d0cd62 +SIZE (cabal/kan-extensions-5.2.4/kan-extensions-5.2.4.tar.gz) = 22144 +SHA256 (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = cc4e99fc5d989e98ab0df7577183fe9ad5d74c63a44dc2607abcc22daba8b322 +SIZE (cabal/lens-5.1.1/lens-5.1.1.tar.gz) = 697888 +SHA256 (cabal/libBF-0.6.3/libBF-0.6.3.tar.gz) = 6e30ebcf303ae69c7df7c476ab31a8d31a707cf7e68e95c641da39476ff7d6fd +SIZE (cabal/libBF-0.6.3/libBF-0.6.3.tar.gz) = 72064 +SHA256 (cabal/megaparsec-9.2.1/megaparsec-9.2.1.tar.gz) = 6b278397baa4ae66d613330465c919e909ced077ec308b18827b43cf6715e9ff +SIZE (cabal/megaparsec-9.2.1/megaparsec-9.2.1.tar.gz) = 61210 +SHA256 (cabal/mod-0.1.2.2/mod-0.1.2.2.tar.gz) = db98ad817c45e89984428cae6b5f88074220955035520cafe552ce2146f32255 +SIZE (cabal/mod-0.1.2.2/mod-0.1.2.2.tar.gz) = 13578 +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/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = e89c8562173f1ab0f78b892e6548bf03df869191448a39be059c63c074adae58 +SIZE (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = 11462 +SHA256 (cabal/network-3.1.2.7/network-3.1.2.7.tar.gz) = 7f7620fef1a1af3d3d6747f510e73223a5c600e7d7fd9ace073d1222bdc63d85 +SIZE (cabal/network-3.1.2.7/network-3.1.2.7.tar.gz) = 139973 +SHA256 (cabal/newtype-generics-0.6.1/newtype-generics-0.6.1.tar.gz) = fcfef02fba0495a1808ee23b3643685b003055b90cef414db1c5303abee35cab +SIZE (cabal/newtype-generics-0.6.1/newtype-generics-0.6.1.tar.gz) = 6846 +SHA256 (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e +SIZE (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = 7503 +SHA256 (cabal/optparse-applicative-0.17.0.0/optparse-applicative-0.17.0.0.tar.gz) = 825b2e4d3dafe0ba64a073366a88062b3712b81f851793d9ce2327bee70af724 +SIZE (cabal/optparse-applicative-0.17.0.0/optparse-applicative-0.17.0.0.tar.gz) = 59409 SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14ca5316b204214c08e211febbdcefd1732d42 SIZE (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 2265 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/3.cabal) = 421ce1717610bab82969572b96be89d83ea8d8afe7751cb54d80b996fff063d3 -SIZE (cabal/parallel-3.2.2.0/revision/3.cabal) = 1817 -SHA256 (cabal/parameterized-utils-2.1.3.0/parameterized-utils-2.1.3.0.tar.gz) = f48044bc9a6fe112b5aa364607abecdebb556dd3e021b46de47d49e29aa64288 -SIZE (cabal/parameterized-utils-2.1.3.0/parameterized-utils-2.1.3.0.tar.gz) = 82881 +SHA256 (cabal/parallel-3.2.2.0/revision/4.cabal) = 19ff631f3a26ee7cf0603e2b80fc375d77d3f350ae460ae72fe4cf5da665c90b +SIZE (cabal/parallel-3.2.2.0/revision/4.cabal) = 1821 +SHA256 (cabal/parameterized-utils-2.1.5.0/parameterized-utils-2.1.5.0.tar.gz) = 5ac329abcebf8bb4fc0e80ad447ecfaa660622fb5c17dc479094378c670219f0 +SIZE (cabal/parameterized-utils-2.1.5.0/parameterized-utils-2.1.5.0.tar.gz) = 91974 SHA256 (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 9310ef0d49f8a8922acda10b1cded9854cbee04dea717effc6ee5983072e4447 SIZE (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 11699 -SHA256 (cabal/prettyprinter-1.7.0/prettyprinter-1.7.0.tar.gz) = 591b87ce8a5cff39d66cb1c156c7d27d04de57952f16eb3ce3afe309ac26e0a7 -SIZE (cabal/prettyprinter-1.7.0/prettyprinter-1.7.0.tar.gz) = 55569 -SHA256 (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 6bebecfdf2a57787d9fd5231bfd612b65a92edd7b33a973b2a0f11312b89a3f0 -SIZE (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 52184 -SHA256 (cabal/primitive-0.7.1.0/revision/2.cabal) = f6357d5720c1c665096c3e011467daf443198b786a708d2ff926958a24d508d4 -SIZE (cabal/primitive-0.7.1.0/revision/2.cabal) = 2728 +SHA256 (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45 +SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907 +SHA256 (cabal/primitive-0.7.3.0/primitive-0.7.3.0.tar.gz) = 3c0cfda67f1ee6f7f65108ad6f973b5bbb35ddba34b3c87746a7448f787501dc +SIZE (cabal/primitive-0.7.3.0/primitive-0.7.3.0.tar.gz) = 55161 SHA256 (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bccdab1d982d2ae342897fd38140d5a94b5ef3800d8c92a SIZE (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 28522 -SHA256 (cabal/random-1.2.0/random-1.2.0.tar.gz) = e4519cf7c058bfd5bdbe4acc782284acc9e25e74487208619ca83cbcd63fb9de -SIZE (cabal/random-1.2.0/random-1.2.0.tar.gz) = 37889 -SHA256 (cabal/random-1.2.0/revision/5.cabal) = 30d72df4cc1d2fe2d445c88f0ee9d21965af7ce86660c43a6c32a6a1d90d51c9 -SIZE (cabal/random-1.2.0/revision/5.cabal) = 6094 +SHA256 (cabal/profunctors-5.6.2/revision/2.cabal) = 3d3685119243a7ebf984fa6af03299d156ab7674a432e2e15ecee2a4fd420fb6 +SIZE (cabal/profunctors-5.6.2/revision/2.cabal) = 2483 +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/reflection-2.1.6/reflection-2.1.6.tar.gz) = bf3e14917ebb329a53701a3cce0afe670f20037a0148dbfa5cbfa574ed6ba6cd SIZE (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = 19976 -SHA256 (cabal/sbv-8.12/sbv-8.12.tar.gz) = 63d945b036e123956fc257f89eac79b0cca3ea3082d9219438c05f5277f92963 -SIZE (cabal/sbv-8.12/sbv-8.12.tar.gz) = 920375 -SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f -SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510 -SHA256 (cabal/semigroupoids-5.3.5/semigroupoids-5.3.5.tar.gz) = 552f18e13ef347118911c950957e4adcda0a1f948e274f29ec449cc413d3c6b0 -SIZE (cabal/semigroupoids-5.3.5/semigroupoids-5.3.5.tar.gz) = 23362 -SHA256 (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 79e761e64b862564a3470d5d356cb6b060b14452d675859aed3b2d1e14646648 -SIZE (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 21124 -SHA256 (cabal/simple-smt-0.9.6/simple-smt-0.9.6.tar.gz) = 49ff31640f06162d8bfc9c2f1db69881ff51b4d845a631fd82cf1a92174db9ea -SIZE (cabal/simple-smt-0.9.6/simple-smt-0.9.6.tar.gz) = 10006 -SHA256 (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 46009f4b000c9e6613377767b8718bf38476469f2a8e2162d98cc246882d5a35 -SIZE (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 20754 +SHA256 (cabal/reflection-2.1.6/revision/1.cabal) = f41afef54a696377bb7591e12969a56e7a4a1cf1d2a32210ab24c6a7aa9bd7ae +SIZE (cabal/reflection-2.1.6/revision/1.cabal) = 4116 +SHA256 (cabal/sbv-9.0/sbv-9.0.tar.gz) = 9f19072ba88738632b36eec5e2bcd4b5648f048aeacbbe570f1a6f64d1540465 +SIZE (cabal/sbv-9.0/sbv-9.0.tar.gz) = 959965 +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/2.cabal) = 76465a82beb2af6ea83ebd00684acc0ffe659e7da7066329931dc8f02fc97507 +SIZE (cabal/scientific-0.3.7.0/revision/2.cabal) = 4826 +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/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1 +SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788 +SHA256 (cabal/semirings-0.6/semirings-0.6.tar.gz) = 99356619b137c7c4cf6597909be3c9df118f08a7dff4897549e350b95719059b +SIZE (cabal/semirings-0.6/semirings-0.6.tar.gz) = 19640 +SHA256 (cabal/semirings-0.6/revision/1.cabal) = cc8767bc62b9ff7bbef070ac206b070b173a8612a781eff2d87a14a01cf406b0 +SIZE (cabal/semirings-0.6/revision/1.cabal) = 2668 +SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d +SIZE (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 10177 +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/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/syb-0.7.2.1/syb-0.7.2.1.tar.gz) = 1807c66f77e66786739387f0ae9f16d150d1cfa9d626afcb729f0e9b442a8d96 SIZE (cabal/syb-0.7.2.1/syb-0.7.2.1.tar.gz) = 39768 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/1.cabal) = 5ddf1e324c3cd644f097a48bf490f0bedf467f723fd240afb3ab3b750577f8e7 -SIZE (cabal/tagged-0.8.6.1/revision/1.cabal) = 2874 +SHA256 (cabal/tagged-0.8.6.1/revision/2.cabal) = 29c67d98a4404607f024750ab9c7210dadcbbef4e1944c48c52902f2071b2662 +SIZE (cabal/tagged-0.8.6.1/revision/2.cabal) = 2874 SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686 SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635d8fc5f79b6bf6e7580ab4b00186dadc88510 SIZE (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 18483 -SHA256 (cabal/th-abstraction-0.4.2.0/th-abstraction-0.4.2.0.tar.gz) = ea06b2cda25fc4b52dac48cc23e5a756f997df8985ecaee5a554202508a11c40 -SIZE (cabal/th-abstraction-0.4.2.0/th-abstraction-0.4.2.0.tar.gz) = 37848 +SHA256 (cabal/th-abstraction-0.4.3.0/th-abstraction-0.4.3.0.tar.gz) = c8bb13e31d1d22a99168536a35c66e1091a6e4274b9841a023eac52c2bd3de06 +SIZE (cabal/th-abstraction-0.4.3.0/th-abstraction-0.4.3.0.tar.gz) = 38595 SHA256 (cabal/th-lift-0.8.2/th-lift-0.8.2.tar.gz) = 3a5927037a10ae63e605c02228c4027c32b7bab1985ae7b5379e6363b3cd5ce4 SIZE (cabal/th-lift-0.8.2/th-lift-0.8.2.tar.gz) = 14385 -SHA256 (cabal/th-lift-instances-0.1.18/th-lift-instances-0.1.18.tar.gz) = bee57c7522e0fefdf8719d4492312883d1a168c6ec4b17befb666fe7f40fdb26 -SIZE (cabal/th-lift-instances-0.1.18/th-lift-instances-0.1.18.tar.gz) = 6098 +SHA256 (cabal/th-lift-0.8.2/revision/1.cabal) = 955f3ad62b202d2ff37a616d2155ad9ce30879c7c63edab1f1ec69d757d70ed1 +SIZE (cabal/th-lift-0.8.2/revision/1.cabal) = 2677 +SHA256 (cabal/th-lift-instances-0.1.19/th-lift-instances-0.1.19.tar.gz) = a85d004a285b51f442c5c345ab786234311b84c819f68e3951f0229c80c16066 +SIZE (cabal/th-lift-instances-0.1.19/th-lift-instances-0.1.19.tar.gz) = 6113 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/1.cabal) = e981c65228db5ae77a043631f74a1e4a4b770f7213866f584e3476b52512f1af -SIZE (cabal/these-1.1.1.1/revision/1.cabal) = 2631 -SHA256 (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = d0c80c63fdce6a077dd8eda4f1ff289b85578703a3f1272e141d400fe23245e8 -SIZE (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = 2849 -SHA256 (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 7e2e0251e5e6d28142615a4b950a3fabac9c0b7804b1ec4a4ae985f19519a9f9 -SIZE (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 41347 +SHA256 (cabal/these-1.1.1.1/revision/5.cabal) = f069e766b8fed73d457fca20cc197f5c539bcdd03d7636e478ddf14dbb67684a +SIZE (cabal/these-1.1.1.1/revision/5.cabal) = 2748 +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.1/transformers-compat-0.7.1.tar.gz) = ac0b861534c14d3cfd61534f474674e3b634b8decea072ffd4d21f8b59f35080 +SIZE (cabal/transformers-compat-0.7.1/transformers-compat-0.7.1.tar.gz) = 44363 +SHA256 (cabal/transformers-compat-0.7.1/revision/1.cabal) = 873ef500790cae136d14b2e890da1fe4df963e372f21b1671fa3c6cdfb23b10f +SIZE (cabal/transformers-compat-0.7.1/revision/1.cabal) = 5807 SHA256 (cabal/type-equality-1/type-equality-1.tar.gz) = 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8 SIZE (cabal/type-equality-1/type-equality-1.tar.gz) = 4525 -SHA256 (cabal/type-equality-1/revision/2.cabal) = f2a895a7b22384d9b43a9c6608725b2de7581e77e5b20ab9cfe3f959f6cd71a8 -SIZE (cabal/type-equality-1/revision/2.cabal) = 1569 +SHA256 (cabal/type-equality-1/revision/3.cabal) = bb3a34a93ad02866763b325e889ea9f5aa31f7428e32dcaa1cf14015bd21b9cb +SIZE (cabal/type-equality-1/revision/3.cabal) = 1597 +SHA256 (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 59ad7e53bfe32ffbf0e703b31490d41d14c70e4745ed49e8adf592ed68dd6185 +SIZE (cabal/unbounded-delays-0.1.1.1/unbounded-delays-0.1.1.1.tar.gz) = 4114 SHA256 (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = e777c94628445556a71f135a42cf72d2cfbaccba5849cc42fbfec8b2182e3ad2 SIZE (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = 29787 SHA256 (cabal/uniplate-1.6.13/revision/1.cabal) = c8b715570d0b4baa72512e677552dd3f98372a64bf9de000e779bd4162fd7be7 SIZE (cabal/uniplate-1.6.13/revision/1.cabal) = 3320 -SHA256 (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 86b01369ab8eb311383a052d389337e2cd71a63088323f02932754df4aa37b55 -SIZE (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 53379 +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/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/vector-0.12.3.0/vector-0.12.3.0.tar.gz) = 15f818505adda63e7f484ecdf92dbb3c1ec76a9def004c9424db8fa6bc41b703 -SIZE (cabal/vector-0.12.3.0/vector-0.12.3.0.tar.gz) = 148083 -SHA256 (cabal/versions-4.0.3/versions-4.0.3.tar.gz) = 8e6902d9b5535272ee0e0238e3e1ac61e1c6fd7779525c3d54972e02a312e666 -SIZE (cabal/versions-4.0.3/versions-4.0.3.tar.gz) = 16962 +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/versions-5.0.3/versions-5.0.3.tar.gz) = 5bb2599c4b5c42a3f48521300c2dd1e7d744aa1dbfcf7563b435a1be73aa43b1 +SIZE (cabal/versions-5.0.3/versions-5.0.3.tar.gz) = 17965 SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317 SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741 -SHA256 (cabal/what4-1.1/what4-1.1.tar.gz) = 782259e883c83b78797df3a09d99e959d66be1e4a1aef89e49edef62d080a698 -SIZE (cabal/what4-1.1/what4-1.1.tar.gz) = 322291 -SHA256 (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 62d14fd204a292a780ff0b3ca9f73e6686188c6269cd6bf5433b4d12fe3e105c -SIZE (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 3791 -SHA256 (cabal/zlib-0.6.2.3/zlib-0.6.2.3.tar.gz) = 807f6bddf9cb3c517ce5757d991dde3c7e319953a22c86ee03d74534bd5abc88 -SIZE (cabal/zlib-0.6.2.3/zlib-0.6.2.3.tar.gz) = 149186 +SHA256 (cabal/what4-1.3/what4-1.3.tar.gz) = 789efc84d09eb3afd9707108e0a3fa78d0b43bfd36b80aa0aacfef41cad4e40e +SIZE (cabal/what4-1.3/what4-1.3.tar.gz) = 372289 +SHA256 (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = b917a9d54a992b163aeb3c065a5199ad1ab76bd096c6e14b534c9e6555543c78 +SIZE (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = 4290 +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-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = c83bb438f9b6c5fe860982731eb8ac7eff993e8b56cbc15ef5b471f229f79109 SIZE (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = 54770 SHA256 (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 0c6f9f81832af2473281fd58631aff8c6bbad24191e00d2a5a6ae2479249043b diff --git a/security/hs-cryptol/pkg-plist b/security/hs-cryptol/pkg-plist new file mode 100644 index 000000000000..02dcb0ab0201 --- /dev/null +++ b/security/hs-cryptol/pkg-plist @@ -0,0 +1,7 @@ +%%DATADIR%%/Array.cry +%%DATADIR%%/Cryptol.cry +%%DATADIR%%/Cryptol/Reference.cry +%%DATADIR%%/CryptolTC.z3 +%%DATADIR%%/Float.cry +%%DATADIR%%/PrimeEC.cry +%%DATADIR%%/SuiteB.cry