From owner-dev-commits-ports-all@freebsd.org Fri Apr 23 07:56:21 2021 Return-Path: Delivered-To: dev-commits-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id B80985E6945; Fri, 23 Apr 2021 07:56:21 +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 4FRRSP4CK0z3qcs; Fri, 23 Apr 2021 07:56:21 +0000 (UTC) (envelope-from git@FreeBSD.org) 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 755E415C9; Fri, 23 Apr 2021 07:56:21 +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 13N7uLSE044708; Fri, 23 Apr 2021 07:56:21 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 13N7uLpf044707; Fri, 23 Apr 2021 07:56:21 GMT (envelope-from git) Date: Fri, 23 Apr 2021 07:56:21 GMT Message-Id: <202104230756.13N7uLpf044707@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 57f017dc08c1 - main - security/hs-cryptol: Update 2.10.0 -> 2.11.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 57f017dc08c1c05229760f2c89d352c042074680 Auto-Submitted: auto-generated X-BeenThere: dev-commits-ports-all@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commit messages for all branches of the ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 23 Apr 2021 07:56:21 -0000 The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=57f017dc08c1c05229760f2c89d352c042074680 commit 57f017dc08c1c05229760f2c89d352c042074680 Author: Yuri Victorovich AuthorDate: 2021-04-23 06:20:16 +0000 Commit: Yuri Victorovich CommitDate: 2021-04-23 07:56:15 +0000 security/hs-cryptol: Update 2.10.0 -> 2.11.0 --- security/hs-cryptol/Makefile | 104 ++++++++++--------- security/hs-cryptol/distinfo | 236 +++++++++++++++++++++---------------------- 2 files changed, 167 insertions(+), 173 deletions(-) diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile index e2d726ba27d1..2bb4bcd68d56 100644 --- a/security/hs-cryptol/Makefile +++ b/security/hs-cryptol/Makefile @@ -1,11 +1,12 @@ PORTNAME= cryptol -DISTVERSION= 2.10.0 -PORTREVISION= 1 +DISTVERSION= 2.11.0 CATEGORIES= security lang haskell MAINTAINER= yuri@FreeBSD.org COMMENT= Language of cryptography +RUN_DEPENDS= z3:math/z3 + LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE @@ -18,92 +19,95 @@ USE_CABAL= FloatingHex-0.5 \ GraphSCC-1.0.4 \ MemoTrie-0.6.10 \ QuickCheck-2.14.2 \ - StateVar-1.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 \ - async-2.2.2_1 \ - attoparsec-0.13.2.4_1 \ + 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.7_2 \ + bifunctors-5.5.10 \ bimap-0.4.0_1 \ - bitwise-1.0.0.1_3 \ - blaze-builder-0.4.1.0_1 \ - blaze-html-0.9.1.2 \ - blaze-markup-0.8.2.7 \ + 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 \ - cabal-doctest-1.0.8_2 \ - call-stack-0.2.0 \ + call-stack-0.3.0 \ case-insensitive-1.2.1.0 \ - clock-0.8 \ + clock-0.8.2 \ colour-2.3.5 \ - comonad-5.0.7 \ - constraints-0.12 \ - contravariant-1.5.2 \ - crackNum-2.4 \ + comonad-5.0.8 \ + config-value-0.8.1_1 \ + constraints-0.13 \ + contravariant-1.5.3 \ cryptohash-sha1-0.11.100.1_5 \ data-binary-ieee754-0.4.4 \ - deriving-compat-0.5.9_1 \ - distributive-0.6.2_2 \ + deriving-compat-0.5.10 \ + distributive-0.6.2.1 \ extra-1.7.9 \ fingertree-0.1.4.2 \ - free-5.1.3_1 \ - generic-deriving-1.13.1_1 \ + free-5.1.6 \ gitrev-1.3.1 \ happy-1.20.0 \ - hashable-1.3.0.0_2 \ + hashable-1.3.1.0 \ hashtables-1.2.4.1 \ heredoc-0.2.0.0 \ - hsc2hs-0.68.7 \ - indexed-traversable-0.1 \ + hsc2hs-0.68.7_1 \ + indexed-traversable-0.1.1 \ + indexed-traversable-instances-0.1 \ integer-logarithms-1.0.3.1 \ - invariant-0.5.3_2 \ - io-streams-1.5.2.0 \ - kan-extensions-5.2.1 \ - lens-4.19.2_2 \ - libBF-0.5.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.5.4_1 \ + newtype-generics-0.6 \ + optparse-applicative-0.16.1.0 \ panic-0.4.0.1 \ - parallel-3.2.2.0_2 \ - parameterized-utils-2.1.1 \ - parser-combinators-1.2.1 \ - primitive-0.7.1.0_1 \ - profunctors-5.6 \ - random-1.2.0_3 \ + parallel-3.2.2.0_3 \ + parameterized-utils-2.1.3.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.7 \ + sbv-8.12 \ scientific-0.3.6.2 \ - semigroupoids-5.3.4_2 \ + semigroupoids-5.3.5 \ semigroups-0.19.1 \ - simple-smt-0.9.5 \ + simple-smt-0.9.6 \ splitmix-0.1.0.3 \ strict-0.4.0.1 \ - syb-0.7.1 \ - tagged-0.8.6_3 \ + syb-0.7.2.1 \ + tagged-0.8.6.1_1 \ temporary-1.3 \ tf-random-0.5 \ - th-abstraction-0.3.2.0 \ + th-abstraction-0.4.2.0 \ th-lift-0.8.2 \ - these-1.1.1.1 \ + 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_1 \ + type-equality-1_2 \ + uniplate-1.6.13_1 \ unordered-containers-0.2.13.0 \ - utf8-string-1.0.1.1_3 \ - vector-0.12.1.2 \ - versions-3.5.4 \ + utf8-string-1.0.2 \ + vector-0.12.3.0 \ + versions-4.0.3 \ void-0.7.3 \ - what4-1.0_1 \ + what4-1.1 \ zenc-0.1.1 \ - zlib-0.6.2.2 \ + zlib-0.6.2.3 \ zlib-bindings-0.1.1.5_2 .include diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo index 89316d2a0421..c1af8525af5c 100644 --- a/security/hs-cryptol/distinfo +++ b/security/hs-cryptol/distinfo @@ -1,6 +1,6 @@ -TIMESTAMP = 1608502486 -SHA256 (cabal/cryptol-2.10.0.tar.gz) = 0bfa21d4766b9ad21ba16ee43b83854f25a84e7ca2b68a14cbe0006b4173ef63 -SIZE (cabal/cryptol-2.10.0.tar.gz) = 419427 +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 SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1 @@ -9,8 +9,8 @@ SHA256 (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 584df0e138093b2f2edc893a SIZE (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 8403 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/StateVar-1.2.tar.gz) = afc036021fcd38f15fcc4af392a3e57017d5ddcc926e99391dbfc8c4e6375f8b -SIZE (cabal/StateVar-1.2/StateVar-1.2.tar.gz) = 4770 +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 @@ -25,120 +25,106 @@ SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 20d30674f137d43aa0279c2c2 SIZE (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 2388 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/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff -SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927 -SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd -SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934 -SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2 -SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431 -SHA256 (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5941a05141a61239e8d6c4f2c9876bec3765d786766721b8474b8625febf914a -SIZE (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5796 +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.7/bifunctors-5.5.7.tar.gz) = 88b3a2d4504e1139a3aef7027913faa0870631477d0a2ebb6fa67d494cdb3532 -SIZE (cabal/bifunctors-5.5.7/bifunctors-5.5.7.tar.gz) = 45689 -SHA256 (cabal/bifunctors-5.5.7/revision/2.cabal) = 19d907460f166ade334e9d85d7c0bcc58b57da5e8f802b28bba6d8d81fd3ee70 -SIZE (cabal/bifunctors-5.5.7/revision/2.cabal) = 3554 +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/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/3.cabal) = b5c988b1ceba6c8a7b1fa4b2aa8c69d8fbdc96145b8f22ad8e2c529d5688a66b -SIZE (cabal/bitwise-1.0.0.1/revision/3.cabal) = 3110 -SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814 -SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365 -SHA256 (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3231635f58df8f62a4e791d3ccade450d07dd370bf97729a8d0fabf113acc6dc -SIZE (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3558 +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/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-markup-0.8.2.7/blaze-markup-0.8.2.7.tar.gz) = 8b6489ed422d98e4372f41be1f40f772b8d4ed925f3203b36be4078d918c8ee4 -SIZE (cabal/blaze-markup-0.8.2.7/blaze-markup-0.8.2.7.tar.gz) = 14571 +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-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/cabal-doctest-1.0.8/cabal-doctest-1.0.8.tar.gz) = 2026a6a87d410202ce091412ca6bc33c5aca787025326b4a3d13425a23392e0e -SIZE (cabal/cabal-doctest-1.0.8/cabal-doctest-1.0.8.tar.gz) = 10812 -SHA256 (cabal/cabal-doctest-1.0.8/revision/2.cabal) = 8bd1d614fb65f0d52609da30bf8e5ec71a4b6adf8ff5610edb3cb4d114576117 -SIZE (cabal/cabal-doctest-1.0.8/revision/2.cabal) = 1491 -SHA256 (cabal/call-stack-0.2.0/call-stack-0.2.0.tar.gz) = 95c693c93958758d714dee22edc56d4ebb2dcefa4412264e941e32ccd6e4e0c7 -SIZE (cabal/call-stack-0.2.0/call-stack-0.2.0.tar.gz) = 2565 +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/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/clock-0.8.tar.gz) = 08a35c5294009040f1e5eb721a21b60df7af6584092bb3d376ab1b2e57e26914 -SIZE (cabal/clock-0.8/clock-0.8.tar.gz) = 7916 +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/comonad-5.0.7/comonad-5.0.7.tar.gz) = 55bdeba7b7d3c9e1385fd9e2e57f7a6faa3ab68411c8186d4ba6e7e2ce030d9d -SIZE (cabal/comonad-5.0.7/comonad-5.0.7.tar.gz) = 18108 -SHA256 (cabal/constraints-0.12/constraints-0.12.tar.gz) = f26b531a15f013f15b4b5df46c4f89b13927253a4195494c50320adf05760223 -SIZE (cabal/constraints-0.12/constraints-0.12.tar.gz) = 20950 -SHA256 (cabal/contravariant-1.5.2/contravariant-1.5.2.tar.gz) = c4262c24e3dcc2ba8ca221ed52a6390818a715301e4f13135d8d732e0c7dc60c -SIZE (cabal/contravariant-1.5.2/contravariant-1.5.2.tar.gz) = 16006 -SHA256 (cabal/crackNum-2.4/crackNum-2.4.tar.gz) = 2a09615e7471619b0ea6473e30e6becdcbc4569675fb536d468cc66a27cd49b9 -SIZE (cabal/crackNum-2.4/crackNum-2.4.tar.gz) = 14172 +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/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.9/deriving-compat-0.5.9.tar.gz) = c44bc1737695320bc0f1f1d6e283f58adbc6e3415b88c33a58022401cf611ac4 -SIZE (cabal/deriving-compat-0.5.9/deriving-compat-0.5.9.tar.gz) = 72293 -SHA256 (cabal/deriving-compat-0.5.9/revision/1.cabal) = 4304c7767e1a2322f23db42bff899cb6c529bb9728b55b957552bd13d7007c1f -SIZE (cabal/deriving-compat-0.5.9/revision/1.cabal) = 8193 -SHA256 (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 824ee271ded433ce6c61fe890c784642b7e20ffa4082fca609da54e7dcfc23c9 -SIZE (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 11308 -SHA256 (cabal/distributive-0.6.2/revision/2.cabal) = 2ace9babcdbd1c2db28638c200405fb85e3660fe19ceae4f03082590adc2c487 -SIZE (cabal/distributive-0.6.2/revision/2.cabal) = 3198 +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/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.3/free-5.1.3.tar.gz) = 2c70d66e3a1ad52ce4b22d5510ffc6d7b3db950bd7f43bc61801cfe7b24c2e2d -SIZE (cabal/free-5.1.3/free-5.1.3.tar.gz) = 64257 -SHA256 (cabal/free-5.1.3/revision/1.cabal) = 604c27b6ba0a560c8a1377ad76e5bbb8528e924d6b0590215d815faddbec0b70 -SIZE (cabal/free-5.1.3/revision/1.cabal) = 4165 -SHA256 (cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz) = e9b53a40eae58e18ee281858a1ba400f14128d5779858272b01c10d64aa09abe -SIZE (cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz) = 68256 -SHA256 (cabal/generic-deriving-1.13.1/revision/1.cabal) = 9595e763f71f83ee6234acaad142e0910b236731a02a5ed187dd4011ea8de888 -SIZE (cabal/generic-deriving-1.13.1/revision/1.cabal) = 4344 +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/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.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4 -SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835 -SHA256 (cabal/hashable-1.3.0.0/revision/2.cabal) = d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b -SIZE (cabal/hashable-1.3.0.0/revision/2.cabal) = 5389 +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/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/indexed-traversable-0.1/indexed-traversable-0.1.tar.gz) = 9f42db2fef1f617396f267830211d42737e952de6228858aac3fe361bf88c0de -SIZE (cabal/indexed-traversable-0.1/indexed-traversable-0.1.tar.gz) = 8261 +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/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.3/invariant-0.5.3.tar.gz) = d73e5def38da9fdd85def073857aa5f4b1d3b0c2df05c43d58a677cca02d440c -SIZE (cabal/invariant-0.5.3/invariant-0.5.3.tar.gz) = 24394 -SHA256 (cabal/invariant-0.5.3/revision/2.cabal) = 5b74af0b909c44b17298a9c04bcd0aea030f36a869da9112b103890f3aa2516f -SIZE (cabal/invariant-0.5.3/revision/2.cabal) = 3323 +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/kan-extensions-5.2.1/kan-extensions-5.2.1.tar.gz) = eaa898e03bc7a1f384ebe7855ac35ebb2500d9b5746f8c4e2090c58024d29f84 -SIZE (cabal/kan-extensions-5.2.1/kan-extensions-5.2.1.tar.gz) = 24000 -SHA256 (cabal/lens-4.19.2/lens-4.19.2.tar.gz) = 52f858ae3971a5104cdba5e81a27d154fda11fe65a54a4ac328c85904bdec23b -SIZE (cabal/lens-4.19.2/lens-4.19.2.tar.gz) = 705314 -SHA256 (cabal/lens-4.19.2/revision/2.cabal) = 3ed9c993cdd6b397f9f56cef5f71cc51003e15eeafe76948dabf36ee22d0e6ae -SIZE (cabal/lens-4.19.2/revision/2.cabal) = 16053 -SHA256 (cabal/libBF-0.5.1/libBF-0.5.1.tar.gz) = d16c5769a11bdbf63c97827253fa02114c04fd9eb622316dfde11b71979b8b47 -SIZE (cabal/libBF-0.5.1/libBF-0.5.1.tar.gz) = 69670 +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 @@ -153,92 +139,96 @@ SHA256 (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = fcaa954445cb575ff04d088e 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.5.4/newtype-generics-0.5.4.tar.gz) = 007f3dd80d759b09534dd215b040d1a435b7d2612be3d0a365c27c60c973f932 -SIZE (cabal/newtype-generics-0.5.4/newtype-generics-0.5.4.tar.gz) = 6878 -SHA256 (cabal/newtype-generics-0.5.4/revision/1.cabal) = 6767d699fb5a78e3ad13a1a7c2294f1bdde49dbd203bedbc6e7f0999af51a9c5 -SIZE (cabal/newtype-generics-0.5.4/revision/1.cabal) = 2136 +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/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/2.cabal) = c69372af9a39a06739e1d0eaa1f2d8be6b86493a53dbbc455e7b30479c491c6a -SIZE (cabal/parallel-3.2.2.0/revision/2.cabal) = 1763 -SHA256 (cabal/parameterized-utils-2.1.1/parameterized-utils-2.1.1.tar.gz) = 69f8167e29e40c978685830742930de64517bda5cc727cb173a89ebceff4e0a3 -SIZE (cabal/parameterized-utils-2.1.1/parameterized-utils-2.1.1.tar.gz) = 78056 -SHA256 (cabal/parser-combinators-1.2.1/parser-combinators-1.2.1.tar.gz) = 03162e40cde50253529fa452165b681d5064d03ad07992800702156adfb6254d -SIZE (cabal/parser-combinators-1.2.1/parser-combinators-1.2.1.tar.gz) = 10915 +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/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/1.cabal) = e7a412791f676df3e5cd5df6e8282fb2925932b0f7e1f51cd590deec369e945a -SIZE (cabal/primitive-0.7.1.0/revision/1.cabal) = 2728 -SHA256 (cabal/profunctors-5.6/profunctors-5.6.tar.gz) = cb06a548f67c17d38fef7b2e5d1f66a5e48f353d7806290e795cc97c9a298ce3 -SIZE (cabal/profunctors-5.6/profunctors-5.6.tar.gz) = 30624 +SHA256 (cabal/primitive-0.7.1.0/revision/2.cabal) = f6357d5720c1c665096c3e011467daf443198b786a708d2ff926958a24d508d4 +SIZE (cabal/primitive-0.7.1.0/revision/2.cabal) = 2728 +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/3.cabal) = 1e8140229d21489228aa79b820c23259f3c3a1b86e13e6f9c2ad0c48d86d1912 -SIZE (cabal/random-1.2.0/revision/3.cabal) = 6094 +SHA256 (cabal/random-1.2.0/revision/5.cabal) = 30d72df4cc1d2fe2d445c88f0ee9d21965af7ce86660c43a6c32a6a1d90d51c9 +SIZE (cabal/random-1.2.0/revision/5.cabal) = 6094 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.7/sbv-8.7.tar.gz) = 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 -SIZE (cabal/sbv-8.7/sbv-8.7.tar.gz) = 873246 +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.4/semigroupoids-5.3.4.tar.gz) = 00d2e48973c3ab0a5d52616728ed63d0509454c8328148f698720014d7c58964 -SIZE (cabal/semigroupoids-5.3.4/semigroupoids-5.3.4.tar.gz) = 26307 -SHA256 (cabal/semigroupoids-5.3.4/revision/2.cabal) = 120873dfa8084ec92745c766336e90d648c347ab99ce55329d5af36dbd3732ba -SIZE (cabal/semigroupoids-5.3.4/revision/2.cabal) = 7596 +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.5/simple-smt-0.9.5.tar.gz) = c2579e2369e4e64b05810782feeb444489bb917c1530085cb50155fc441e8b2f -SIZE (cabal/simple-smt-0.9.5/simple-smt-0.9.5.tar.gz) = 9315 +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/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/syb-0.7.1/syb-0.7.1.tar.gz) = e04a9c7ae48d9fe25e9b7a064f7122d39c710753544511e15df7a6e87fdfe700 -SIZE (cabal/syb-0.7.1/syb-0.7.1.tar.gz) = 39594 -SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd -SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759 -SHA256 (cabal/tagged-0.8.6/revision/3.cabal) = 7cce0b9355d1daad797555dfa906f756ed0253a40bc826ca367adf21d7b369f3 -SIZE (cabal/tagged-0.8.6/revision/3.cabal) = 2606 +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/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.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79 -SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111 +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-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/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/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/1.cabal) = d36324583fbafc5698c3f898ccf7cf041cbf42435fc2559c28e8f77682739a8e -SIZE (cabal/type-equality-1/revision/1.cabal) = 1517 +SHA256 (cabal/type-equality-1/revision/2.cabal) = f2a895a7b22384d9b43a9c6608725b2de7581e77e5b20ab9cfe3f959f6cd71a8 +SIZE (cabal/type-equality-1/revision/2.cabal) = 1569 +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/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140 -SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667 -SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b -SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151 -SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd -SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049 -SHA256 (cabal/versions-3.5.4/versions-3.5.4.tar.gz) = 3cafee2f3dabb5ca2b7dbb5bd2cea0eff3afe2d47820b744d8d4462ca257d5d8 -SIZE (cabal/versions-3.5.4/versions-3.5.4.tar.gz) = 15391 +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/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.0/what4-1.0.tar.gz) = 1ccdb3bfebf596fc40ec5c2a0973c8a8b47e61c32d481b0d96591ffa9fc0de7b -SIZE (cabal/what4-1.0/what4-1.0.tar.gz) = 297098 -SHA256 (cabal/what4-1.0/revision/1.cabal) = ae5e7363ba9edf6a179d63fa4bea20a90a084fc86c5692b65c633d6bb7454b11 -SIZE (cabal/what4-1.0/revision/1.cabal) = 8789 +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.2/zlib-0.6.2.2.tar.gz) = 04b5890dd69e992f8cd09570d81e9d5ecab19db8e82cbe47ba8e02c31c0631ba -SIZE (cabal/zlib-0.6.2.2/zlib-0.6.2.2.tar.gz) = 148178 +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/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