diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile index 8f83c985eac0..b3a50b354603 100644 --- a/security/hs-cryptol/Makefile +++ b/security/hs-cryptol/Makefile @@ -1,166 +1,164 @@ PORTNAME= cryptol DISTVERSION= 3.1.0 +PORTREVISION= 1 CATEGORIES= security lang haskell MAINTAINER= yuri@FreeBSD.org -COMMENT= Language of cryptography +COMMENT= Domain-specific language for specifying cryptographic algorithms WWW= https://cryptol.net/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE # https://github.com/GaloisInc/libBF-hs/issues/2 BROKEN_aarch64= fails to build: src/LibBF/Mutable.hsc error: Couldn't match type `Int64' with `Int32' -BROKEN_i386= One of dependencies doesn't build on i386 +BROKEN_i386= one of dependencies doesn't build on i386 -BUILD_DEPENDS= ghc-9.2.8:lang/ghc92 RUN_DEPENDS= z3:math/z3 USES= cabal -CABAL_FLAGS= -relocatable - USE_CABAL= BoundedChan-1.0.3.0 \ GraphSCC-1.0.4 \ MemoTrie-0.6.11 \ OneTuple-0.4.1.1_1 \ QuickCheck-2.14.3 \ StateVar-1.2.2 \ adjunctions-4.4.2_2 \ aeson-2.2.1.0_1 \ - alex-3.5.0.0 \ - ansi-terminal-1.0.2 \ - ansi-terminal-types-0.11.5_1 \ + alex-3.5.1.0 \ + ansi-terminal-1.1 \ + ansi-terminal-types-1.1 \ arithmoi-0.13.0.0_3 \ assoc-1.1_1 \ - async-2.2.5 \ + async-2.2.5_1 \ attoparsec-0.14.4_5 \ base-compat-0.12.3 \ base-compat-batteries-0.12.3 \ base-orphans-0.9.1 \ - bifunctors-5.6.1_2 \ + bifunctors-5.6.2 \ bimap-0.5.0 \ bitwise-1.0.0.1_9 \ blaze-builder-0.4.2.3 \ - blaze-html-0.9.1.2_4 \ + blaze-html-0.9.2.0 \ blaze-markup-0.8.3.0_1 \ boring-0.2.1_1 \ bv-sized-1.0.5_1 \ call-stack-0.4.0 \ case-insensitive-1.2.1.0 \ chimera-0.4.0.0 \ clock-0.8.4 \ colour-2.3.6 \ comonad-5.0.8_2 \ concurrent-extra-0.7.0.12 \ config-value-0.8.3_5 \ constraints-0.14 \ contravariant-1.5.5 \ criterion-measurement-0.2.1.0 \ cryptohash-sha1-0.11.101.0_3 \ - data-array-byte-0.1.0.1_2 \ data-fix-0.3.2_5 \ - deriving-compat-0.6.5_1 \ + deriving-compat-0.6.6 \ distributive-0.6.2.1_1 \ dlist-1.0_1 \ exact-pi-0.5.0.2 \ extra-1.7.14 \ fingertree-0.1.5.0 \ - foldable1-classes-compat-0.1_4 \ - free-5.2_3 \ + free-5.2_4 \ generically-0.1.1_2 \ gitrev-1.3.1 \ happy-1.20.1.1 \ - hashable-1.4.3.0_1 \ + hashable-1.4.4.0_1 \ hashtables-1.3.1 \ haskell-lexer-1.1.1 \ heredoc-0.2.0.0 \ hgmp-0.1.2.1_2 \ - hsc2hs-0.68.10_1 \ + hsc2hs-0.68.10_2 \ ieee754-0.8.0 \ indexed-traversable-0.1.3 \ indexed-traversable-instances-0.1.1.2_2 \ infinite-list-0.1.1 \ integer-conversion-0.1.0.1_1 \ - integer-logarithms-1.0.3.1_5 \ + integer-logarithms-1.0.3.1_6 \ integer-roots-1.0.2.0_1 \ - invariant-0.6.2_1 \ - io-streams-1.5.2.2_3 \ + invariant-0.6.3 \ + io-streams-1.5.2.2_4 \ kan-extensions-5.2.5_2 \ language-c99-0.2.0 \ language-c99-simple-0.3.0 \ language-c99-util-0.2.0 \ - lens-5.2.3_2 \ + lens-5.2.3_4 \ libBF-0.6.7 \ libffi-0.2.1 \ megaparsec-9.6.1 \ mod-0.2.0.1 \ monad-control-1.0.3.1 \ monadLib-3.10.1 \ network-3.1.4.0_1 \ network-uri-2.6.4.2_1 \ newtype-generics-0.6.2_2 \ numtype-dk-0.5.0.3 \ optparse-applicative-0.18.1.0 \ ordered-containers-0.2.3 \ + os-string-2.0.2 \ panic-0.4.0.1 \ - parallel-3.2.2.0_7 \ + parallel-3.2.2.0_8 \ parameterized-utils-2.1.8.0 \ parser-combinators-1.3.0_1 \ pretty-show-1.10 \ prettyprinter-1.7.1 \ prettyprinter-ansi-terminal-1.1.3 \ - primitive-0.9.0.0 \ + primitive-0.9.0.0_1 \ profunctors-5.6.2_3 \ random-1.2.1.2 \ reflection-2.1.7_1 \ s-cargot-0.1.6.0 \ safe-exceptions-0.1.7.4_1 \ sbv-10.2_1 \ scientific-0.3.7.0_7 \ semialign-1.3_1 \ semigroupoids-6.0.0.1_1 \ semigroups-0.20 \ semirings-0.6_1 \ simple-smt-0.9.7 \ - splitmix-0.1.0.5 \ + splitmix-0.1.0.5_1 \ strict-0.5_1 \ syb-0.7.2.4 \ - tagged-0.8.8 \ + tagged-0.8.8_1 \ temporary-1.3 \ text-iso8601-0.1_1 \ text-short-0.1.5_3 \ tf-random-0.5 \ - th-abstraction-0.6.0.0_1 \ - th-compat-0.1.4_4 \ - th-lift-0.8.4 \ + th-abstraction-0.6.0.0_2 \ + th-compat-0.1.5 \ + th-lift-0.8.4_2 \ th-lift-instances-0.1.20 \ these-1.2_1 \ time-compat-1.9.6.1_6 \ transformers-base-0.4.6 \ transformers-compat-0.7.2 \ type-equality-1_6 \ unbounded-delays-0.1.1.1 \ uniplate-1.6.13_1 \ unliftio-0.2.25.0 \ unliftio-core-0.2.1.0_3 \ unordered-containers-0.2.20_1 \ utf8-string-1.0.2 \ uuid-types-1.0.5.1 \ - vector-0.13.1.0 \ - vector-stream-0.1.0.1 \ - versions-6.0.5 \ + vector-0.13.1.0_1 \ + vector-stream-0.1.0.1_1 \ + versions-6.0.6 \ void-0.7.3 \ what4-1.5.1 \ witherable-0.4.2_4 \ zenc-0.1.2 \ - zlib-0.6.3.0_4 \ + zlib-0.7.0.0_1 \ zlib-bindings-0.1.1.5_2 +CABAL_FLAGS= -relocatable CABAL_EXECUTABLES= cryptol cryptol-html CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES} post-install: cd ${WRKSRC}/lib && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR} .include diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo index 550f04b82e84..b623599d9c31 100644 --- a/security/hs-cryptol/distinfo +++ b/security/hs-cryptol/distinfo @@ -1,399 +1,395 @@ -TIMESTAMP = 1707189829 +TIMESTAMP = 1713482930 SHA256 (cabal/cryptol-3.1.0/cryptol-3.1.0.tar.gz) = f2590f15b0119de5510eca2d02a58a399771bf4224f5a3cc9b8ec90aeb050b03 SIZE (cabal/cryptol-3.1.0/cryptol-3.1.0.tar.gz) = 547016 SHA256 (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d SIZE (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 3591 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.11/MemoTrie-0.6.11.tar.gz) = f7a6abf136eac1c6b370678e14e9519ed88c0c2adf75f06d6855b464db0c2420 SIZE (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = 8369 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/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/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.2/adjunctions-4.4.2.tar.gz) = 147b5f8db810bca0ea8952ef974982ffc447cecd21f01e1ea1121df77e276518 SIZE (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 17201 SHA256 (cabal/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379 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/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 +SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 +SHA256 (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253 +SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897 +SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25 +SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746 SHA256 (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 4c4b5bb212e91d63d0abcdc2c00b7f53e116428bfe04f2ee016d83fa50779d2d SIZE (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 186134 SHA256 (cabal/arithmoi-0.13.0.0/revision/3.cabal) = 74bca83e5b0f06ef27ba1dcfcb937123fb0458a45e82c5aba31563fa6f3b0ded SIZE (cabal/arithmoi-0.13.0.0/revision/3.cabal) = 7818 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/async-2.2.5/revision/1.cabal) = 9d5d9e605f52958d099e13a8b8f30ee56cb137c9192996245e3c533adb682cf8 +SIZE (cabal/async-2.2.5/revision/1.cabal) = 3280 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/5.cabal) = ec709539b881d6431620bd7c40fbfa680aaf4a98c6f35b51536d8f455682b1ae SIZE (cabal/attoparsec-0.14.4/revision/5.cabal) = 5703 SHA256 (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d SIZE (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = 36583 SHA256 (cabal/base-compat-batteries-0.12.3/base-compat-batteries-0.12.3.tar.gz) = 207679ae32d9431bbc142e317837d6fa316da7395b150bd205e6da1ae21a5faf SIZE (cabal/base-compat-batteries-0.12.3/base-compat-batteries-0.12.3.tar.gz) = 18251 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/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a +SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193 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/9.cabal) = 805aeb3ccd9d80398665c162647a5cb1d2f61d799720d8c84ee5bbe98db981f5 SIZE (cabal/bitwise-1.0.0.1/revision/9.cabal) = 3110 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/4.cabal) = 2e40ad3828320b72122f09754091fb686fa0fd4c083769f17ef84584972ec450 -SIZE (cabal/blaze-html-0.9.1.2/revision/4.cabal) = 3020 +SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f +SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915 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/boring-0.2.1/boring-0.2.1.tar.gz) = b1ffddf0f9d50ac8742aa01b270856d57937cc8f7aae783e3b5f3abee7aa3154 SIZE (cabal/boring-0.2.1/boring-0.2.1.tar.gz) = 5668 SHA256 (cabal/boring-0.2.1/revision/1.cabal) = 9e2566d93e8db00ea7c428bf6a4052f8479ef6b6a86294d65c6086d45a842e4b SIZE (cabal/boring-0.2.1/revision/1.cabal) = 2123 SHA256 (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 5a9d855a648d8ec11fc6d6a4465fbc1cc4f7783d8fd96aa07cafe784536cb4f9 SIZE (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 20218 SHA256 (cabal/bv-sized-1.0.5/revision/1.cabal) = f6a12df8c83a0aa9dbbd1413a4d53c5223c7fde6faf1bcb458e3be82ade8709e SIZE (cabal/bv-sized-1.0.5/revision/1.cabal) = 2162 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/chimera-0.4.0.0/chimera-0.4.0.0.tar.gz) = 079b457ecc2233d0b4c7ef7ce4340c334228326a1a828b480b8284907a8e9c3b SIZE (cabal/chimera-0.4.0.0/chimera-0.4.0.0.tar.gz) = 22714 SHA256 (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 6ae9898afe788a5e334cd5fad5d18a3c2e8e59fa09aaf7b957dbb38a4767df2e SIZE (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 9322 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/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3 SIZE (cabal/comonad-5.0.8/revision/2.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.3/config-value-0.8.3.tar.gz) = 7cb8d046be5adc09b19dae6b0ad1010b0292f069034c83d28954f1905ee76c5e SIZE (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 20540 SHA256 (cabal/config-value-0.8.3/revision/5.cabal) = 570fb6583bfa37aa89e0642366b4f80b65b084d83b79c5158b479e62125f3d95 SIZE (cabal/config-value-0.8.3/revision/5.cabal) = 1983 SHA256 (cabal/constraints-0.14/constraints-0.14.tar.gz) = b809322abced0f6b6bf4ceed9e4e823bfdeda808664563b860add1dff3cdc4a5 SIZE (cabal/constraints-0.14/constraints-0.14.tar.gz) = 20946 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/criterion-measurement-0.2.1.0/criterion-measurement-0.2.1.0.tar.gz) = ddce822e11be48a56ac1cb3c752847ac5fe04743728268207482aee8713eeda5 SIZE (cabal/criterion-measurement-0.2.1.0/criterion-measurement-0.2.1.0.tar.gz) = 17823 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/cryptohash-sha1-0.11.101.0/revision/3.cabal) = bc5d3373ed5bbfd34b9deea62dc3b2ba21dde5b89e41d2a2399de7562543c621 SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/3.cabal) = 3064 -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/2.cabal) = ad89e28b2b046175698fbf542af2ce43e5d2af50aae9f48d12566b1bb3de1d3c -SIZE (cabal/data-array-byte-0.1.0.1/revision/2.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/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1 SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734 -SHA256 (cabal/deriving-compat-0.6.5/deriving-compat-0.6.5.tar.gz) = 47412ecf53461a43d4cc2b705cbc9bb4a958bff7b9008a2582c26b73df5532f3 -SIZE (cabal/deriving-compat-0.6.5/deriving-compat-0.6.5.tar.gz) = 74588 -SHA256 (cabal/deriving-compat-0.6.5/revision/1.cabal) = 21457d9b8f1cb3797886eb8fa4777273d593326eb130119c0a598e54ccd97324 -SIZE (cabal/deriving-compat-0.6.5/revision/1.cabal) = 9527 +SHA256 (cabal/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 61fe93fd01405cc447ba85ea477183b0beb8b2639963f900719392d21c4756b9 +SIZE (cabal/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 74588 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/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c 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/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.14/extra-1.7.14.tar.gz) = b6a909f8f0e4b8076a1653b4d34815a782f0a8c1e83d5267f4d00496471ef567 SIZE (cabal/extra-1.7.14/extra-1.7.14.tar.gz) = 45971 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/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/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89 SIZE (cabal/free-5.2/free-5.2.tar.gz) = 58781 -SHA256 (cabal/free-5.2/revision/3.cabal) = 4dd76c1a19f81d7866e7b75682350f1ef3e0441b19b4d07eccdd9ef326a0be70 -SIZE (cabal/free-5.2/revision/3.cabal) = 4176 +SHA256 (cabal/free-5.2/revision/4.cabal) = 3d05d1129457afbae7879bb27e2019fef86cba4aa13bc4b97ce8c6b8c51d2c6e +SIZE (cabal/free-5.2/revision/4.cabal) = 4176 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.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/hashable-1.4.4.0/hashable-1.4.4.0.tar.gz) = 1fa3d64548440942b2b38b99c76d8dcaa94fa2ea3912cd7a6354ea4ec4af4758 +SIZE (cabal/hashable-1.4.4.0/hashable-1.4.4.0.tar.gz) = 26197 +SHA256 (cabal/hashable-1.4.4.0/revision/1.cabal) = ae22238274c572aa91e90c6c353e7206386708912ac5e6dc40ac61d1dcc553db +SIZE (cabal/hashable-1.4.4.0/revision/1.cabal) = 5216 SHA256 (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 6f3d40eb22ab87279b9a0bf51c22307706b240c90a664c82bfae2392268c59c3 SIZE (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 58697 SHA256 (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = c8eeda569a30f115244c17920247ba2c45d11b3e30805f648a878f7855d8f349 SIZE (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = 14499 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/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = c681633d3e47d7eabd1cd43028a0e8f2e279a9c60c7701d0dc060145bd598023 SIZE (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = 15147 SHA256 (cabal/hgmp-0.1.2.1/revision/2.cabal) = b3eb47429c31be3cac8b124cc0e1836fc9d7ca149c13c896362e95bbce03c696 SIZE (cabal/hgmp-0.1.2.1/revision/2.cabal) = 2475 SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76 SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517 -SHA256 (cabal/hsc2hs-0.68.10/revision/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d -SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013 +SHA256 (cabal/hsc2hs-0.68.10/revision/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325 +SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032 SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1 SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564 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/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = be6844861a29100031bc192cb846c403adb2bb1ea0ce0b65c26530671100afa8 SIZE (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = 21953 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/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d -SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278 +SHA256 (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690 +SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295 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/integer-roots-1.0.2.0/revision/1.cabal) = 67a8b36c783337cb9f51a83adfc657eb8d7724a12c7b3ba186ba70ff7ce2c3b9 SIZE (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 2476 -SHA256 (cabal/invariant-0.6.2/invariant-0.6.2.tar.gz) = c36485e8088a57e9df1a93881211a1c09e8920ce1b14bfa141cac9f75b7ee108 -SIZE (cabal/invariant-0.6.2/invariant-0.6.2.tar.gz) = 28199 -SHA256 (cabal/invariant-0.6.2/revision/1.cabal) = 4338158fe36c3ff9ee741eeff79cb886222cab9da3f476071956cb01b0d9bbff -SIZE (cabal/invariant-0.6.2/revision/1.cabal) = 3617 +SHA256 (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 8d2019e4a1060b88f2594df5256b086b07c09fff0f0dc5adf6163facee552fbf +SIZE (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 28239 SHA256 (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = d365d5051696c15414ebe23749fc67475a532234b7c7d77060323d149a8fc4fe SIZE (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = 64166 -SHA256 (cabal/io-streams-1.5.2.2/revision/3.cabal) = 4c2c45cfd936e84696b0ecbb934fbdc661613fd5047d99049d59e186b7ab47a0 -SIZE (cabal/io-streams-1.5.2.2/revision/3.cabal) = 9709 +SHA256 (cabal/io-streams-1.5.2.2/revision/4.cabal) = f26379b57cb6c6fdd6e0110733d67c4bebc6a8eed3e487d74b3c77eb8f4fac8b +SIZE (cabal/io-streams-1.5.2.2/revision/4.cabal) = 9993 SHA256 (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22 SIZE (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = 22205 SHA256 (cabal/kan-extensions-5.2.5/revision/2.cabal) = fbdba767565f40faf515b044a774cc3b371eb6ce8a082d9f659411cea88698cf SIZE (cabal/kan-extensions-5.2.5/revision/2.cabal) = 3066 SHA256 (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 7062d0fb381308316f777b52a889ef6b4ed88c23804a1cf7b4653cac8b7bcc09 SIZE (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 11220 SHA256 (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 7275797bd2cfd4799ae0094ecd9da4e9333d12defd396277ac403343e542e06e SIZE (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 8293 SHA256 (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 241b4ffce7339744eeb0b92d22814d04c6d137467a0e2f172dbec66d3e474633 SIZE (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 5018 SHA256 (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = df1e8ca8dd89d884994e0c80761a972088326fa43ed5d47c01b14abb710b994d SIZE (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = 703220 -SHA256 (cabal/lens-5.2.3/revision/2.cabal) = 637287c76adff383063b3206a4213640de1a74839ec16008cc71b5b407f7d05e -SIZE (cabal/lens-5.2.3/revision/2.cabal) = 15237 +SHA256 (cabal/lens-5.2.3/revision/4.cabal) = 769ec476f19cba23e5db678bc60aebb141360435cddb34b54d413efc43500f48 +SIZE (cabal/lens-5.2.3/revision/4.cabal) = 15237 SHA256 (cabal/libBF-0.6.7/libBF-0.6.7.tar.gz) = 09ccce06bbff1cbd7520e10219e3d689ee628d9d9463206235990fdb31fcaa4d SIZE (cabal/libBF-0.6.7/libBF-0.6.7.tar.gz) = 76750 SHA256 (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 76ae195f738d72bb75a34be0bbb7ab5fd097d50fb05aaf2a252e88d265d53af1 SIZE (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 7879 SHA256 (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = a32257be847dbe71ac22d512ab115f9ce26fa08bcdbea7ca8b5256a1700dcbff SIZE (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = 64913 SHA256 (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 2a63f8e4e88545093cd57df02911906554e77704df3ee5c7a12044e48630e872 SIZE (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 16279 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.4.0/network-3.1.4.0.tar.gz) = b452a2afac95d9207357eb3820c719c7c7d27871ef4b6ed7bfcd03a036b9158e SIZE (cabal/network-3.1.4.0/network-3.1.4.0.tar.gz) = 139988 SHA256 (cabal/network-3.1.4.0/revision/1.cabal) = e152cdb03243afb52bbc740cfbe96905ca298a6f6342f0c47b3f2e227ff19def SIZE (cabal/network-3.1.4.0/revision/1.cabal) = 5208 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/newtype-generics-0.6.2/newtype-generics-0.6.2.tar.gz) = a1ac6052020a09f1bc5000a141d2edd4b31a82f95ce5957b7eedad40c065a74e SIZE (cabal/newtype-generics-0.6.2/newtype-generics-0.6.2.tar.gz) = 6854 SHA256 (cabal/newtype-generics-0.6.2/revision/2.cabal) = 81cbf377241a186ac210bb60417ac3a23ea576257b01ec7be7051790b225daeb SIZE (cabal/newtype-generics-0.6.2/revision/2.cabal) = 2053 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.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 63811ab4fd26e829b8868364325a88be3acc79819f5bb5005b2dd3b961ecc491 SIZE (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 60682 SHA256 (cabal/ordered-containers-0.2.3/ordered-containers-0.2.3.tar.gz) = 36849705752f3bc367fa1d172e1ec57375418341e9d74de572ae1b6fb56a81a3 SIZE (cabal/ordered-containers-0.2.3/ordered-containers-0.2.3.tar.gz) = 7404 +SHA256 (cabal/os-string-2.0.2/os-string-2.0.2.tar.gz) = 0953126e962966719753c98d71f596f5fea07e100bce191b7453735a1ff2caa1 +SIZE (cabal/os-string-2.0.2/os-string-2.0.2.tar.gz) = 42919 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/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4 -SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926 +SHA256 (cabal/parallel-3.2.2.0/revision/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31 +SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942 SHA256 (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = d5490d64345878d16d0573411e4ab9cfb10af9fdb9668086b75be6c26dcbd408 SIZE (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = 100939 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/parser-combinators-1.3.0/revision/1.cabal) = 8659573e0d443d573f5b53f81b81dafbdc988d282b90c11e3da73562b4ea7876 SIZE (cabal/parser-combinators-1.3.0/revision/1.cabal) = 1640 SHA256 (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 307f9086e0b063d439dc4f513e36a145e8a57f23de448aefae2a6c00f6da6fd2 SIZE (cabal/pretty-show-1.10/pretty-show-1.10.tar.gz) = 42233 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/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 813739308ad6050620578994effe21058a170a341716acf52573fae42b5b1db3 SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879 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/primitive-0.9.0.0/revision/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c +SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171 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/profunctors-5.6.2/revision/3.cabal) = e178ba4468982326656626e2089e296f64485e68fdddc9f4476dcd5d612b4f78 SIZE (cabal/profunctors-5.6.2/revision/3.cabal) = 2484 SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4 SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229 SHA256 (cabal/reflection-2.1.7/reflection-2.1.7.tar.gz) = 6cbb18a8b02871533bb8b641dc6f76813a097d94404e5808bb5d52b0f0e415fd SIZE (cabal/reflection-2.1.7/reflection-2.1.7.tar.gz) = 17823 SHA256 (cabal/reflection-2.1.7/revision/1.cabal) = f2b5b3f0983a605d16e53af489ebba62967d2c80353473ca66cc1734222b3a04 SIZE (cabal/reflection-2.1.7/revision/1.cabal) = 4518 SHA256 (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 216d60f8bcb8805ae8a94bf29917f3dd42c48a8cd91baa40464b431a9bf20c1d SIZE (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 40873 SHA256 (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 3c51d8d50c9b60ff8bf94f942fd92e3bea9e62c5afa778dfc9f707b79da41ef6 SIZE (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 15347 SHA256 (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 8bb7261bd54bd58acfcb154be6a161fb6d0d31a1852aadc8e927d2ad2d7651d1 SIZE (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 1412 SHA256 (cabal/sbv-10.2/sbv-10.2.tar.gz) = 7f825c9f128e34085527e68ff08e49e4b73f60b868abf682896d78e7a4cc51e1 SIZE (cabal/sbv-10.2/sbv-10.2.tar.gz) = 1046101 SHA256 (cabal/sbv-10.2/revision/1.cabal) = 441c45528b62ede816027eccba9af46b68cdba1cbe5470829ffbbd4aeecb126e SIZE (cabal/sbv-10.2/revision/1.cabal) = 25845 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/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/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.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/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b +SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596 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/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = ec7c1e8822d62ab910386361cdcee40a22a26cd344c34741fadd982302291e60 SIZE (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = 41809 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/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32 +SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732 SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686 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/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190 SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216 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.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/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37 -SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224 +SHA256 (cabal/th-abstraction-0.6.0.0/revision/2.cabal) = 313760d630851a0eba6bdcb1a1eb543c4c9c583072d704067fa3248a5252a8ae +SIZE (cabal/th-abstraction-0.6.0.0/revision/2.cabal) = 2303 +SHA256 (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 81f55fafc7afad7763c09cb8b7b4165ca3765edcf70ffa42c7393043a1382a1e +SIZE (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 14893 SHA256 (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = f9c577238d4ba65fe3e78bc77f0cca54f17d02c0f6075b2487da5c63bdb4a61b SIZE (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = 14711 +SHA256 (cabal/th-lift-0.8.4/revision/2.cabal) = 2f32c878a42a6a5d725514556d5851d8a63a368a301970948d372d0408268cb3 +SIZE (cabal/th-lift-0.8.4/revision/2.cabal) = 2791 SHA256 (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = f533c3f95addcca461a0ccd1aafef75dd801bfa6599c0d1184d54bfffb61d870 SIZE (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = 6721 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/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/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/6.cabal) = ebf53eaf3881b946d4ab56112a19f8b635c0f19cb5252c08fbf2588bc1ea22a5 SIZE (cabal/type-equality-1/revision/6.cabal) = 1639 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/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = fb85a22291e78f9e58cd7f5e563a726500ad1a004b3b335b93c0975b828a112b SIZE (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = 58335 SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56d9d61b85e38a313a93ebcdb78be6566367f0930ef580597fe3e3 SIZE (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 3865 SHA256 (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 28800633b20e0f7bfbdda1248c28022749aa0935aea10b1e3fc9c88cbebb06de SIZE (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 1004 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/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.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-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d +SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015 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/versions-6.0.5/versions-6.0.5.tar.gz) = 413947bc1b3bfe11f3f96c3295634738e7531e295675d504b06fc02a47962f32 -SIZE (cabal/versions-6.0.5/versions-6.0.5.tar.gz) = 19063 +SHA256 (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f +SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583 +SHA256 (cabal/versions-6.0.6/versions-6.0.6.tar.gz) = aafa4fcf44e2d31704053615a530b1010b5c80bad57a5dcd2a3d7b2f1e7be370 +SIZE (cabal/versions-6.0.6/versions-6.0.6.tar.gz) = 19483 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.5.1/what4-1.5.1.tar.gz) = 35775a0f26ae31148b298307bce4f1b0796a22a1f307361dd8347ddaaf3f3108 SIZE (cabal/what4-1.5.1/what4-1.5.1.tar.gz) = 421304 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/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-0.6.3.0/revision/4.cabal) = 19eb7759af71957811d5ec10ddb1e2f4c98700ddb9c0da6860c0441d811f0e6d -SIZE (cabal/zlib-0.6.3.0/revision/4.cabal) = 5325 +SHA256 (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47 +SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149 +SHA256 (cabal/zlib-0.7.0.0/revision/1.cabal) = 64a1925c93e9a26cd4c40c470736950c4b5ea7bae68418cb996c5c7df4873cba +SIZE (cabal/zlib-0.7.0.0/revision/1.cabal) = 5322 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 SIZE (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 1641 diff --git a/security/hs-cryptol/pkg-descr b/security/hs-cryptol/pkg-descr index cdff8da43a8d..4961b99a328e 100644 --- a/security/hs-cryptol/pkg-descr +++ b/security/hs-cryptol/pkg-descr @@ -1,3 +1,4 @@ -Cryptol is a domain-specific language for specifying cryptographic algorithms. -A Cryptol implementation of an algorithm resembles its mathematical -specification more closely than an implementation in a general purpose language. +Cryptol is a domain-specific language for specifying cryptographic +algorithms. A Cryptol implementation of an algorithm resembles its +mathematical specification more closely than an implementation in a +general purpose language.