Date: Fri, 19 Apr 2024 19:28:30 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 46fac650a9df - main - security/hs-cryptol: Switch to GHC 9.6 Message-ID: <202404191928.43JJSUN0071947@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=46fac650a9dfe829d7f1697449bff844389d59c1 commit 46fac650a9dfe829d7f1697449bff844389d59c1 Author: Andrey Korobkov <alster@vinterdalen.se> AuthorDate: 2024-04-19 19:19:47 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-04-19 19:28:23 +0000 security/hs-cryptol: Switch to GHC 9.6 PR: 278445 --- security/hs-cryptol/Makefile | 62 +++++++++++----------- security/hs-cryptol/distinfo | 118 ++++++++++++++++++++---------------------- security/hs-cryptol/pkg-descr | 7 +-- 3 files changed, 91 insertions(+), 96 deletions(-) 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,9 +1,10 @@ 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 @@ -11,15 +12,12 @@ 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 \ @@ -28,21 +26,21 @@ USE_CABAL= BoundedChan-1.0.3.0 \ 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 \ @@ -58,39 +56,37 @@ USE_CABAL= BoundedChan-1.0.3.0 \ 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 \ @@ -103,14 +99,15 @@ USE_CABAL= BoundedChan-1.0.3.0 \ 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 \ @@ -123,17 +120,17 @@ USE_CABAL= BoundedChan-1.0.3.0 \ 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 \ @@ -147,16 +144,17 @@ USE_CABAL= BoundedChan-1.0.3.0 \ 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} 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,4 +1,4 @@ -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 @@ -23,14 +23,12 @@ SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cba 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 @@ -41,6 +39,8 @@ SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128 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 @@ -51,10 +51,8 @@ SHA256 (cabal/base-compat-batteries-0.12.3/base-compat-batteries-0.12.3.tar.gz) 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 @@ -63,10 +61,8 @@ SHA256 (cabal/bitwise-1.0.0.1/revision/9.cabal) = 805aeb3ccd9d80398665c162647a5c 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 @@ -109,18 +105,12 @@ SHA256 (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4 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 @@ -135,14 +125,10 @@ SHA256 (cabal/extra-1.7.14/extra-1.7.14.tar.gz) = b6a909f8f0e4b8076a1653b4d34815 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 @@ -151,10 +137,10 @@ SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c 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 @@ -167,8 +153,8 @@ SHA256 (cabal/hgmp-0.1.2.1/revision/2.cabal) = b3eb47429c31be3cac8b124cc0e1836fc 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 @@ -185,20 +171,18 @@ SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5 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 @@ -211,8 +195,8 @@ SHA256 (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 241b4ffc 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 @@ -243,12 +227,14 @@ SHA256 (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz 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 @@ -263,6 +249,8 @@ SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1. 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 @@ -305,6 +293,8 @@ SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548a 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 @@ -313,6 +303,8 @@ SHA256 (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = ec7c1e8822d62ab910386361cdcee40a 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 @@ -327,14 +319,14 @@ SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635 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 @@ -375,10 +367,14 @@ SHA256 (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa 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 @@ -389,10 +385,10 @@ SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912 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 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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202404191928.43JJSUN0071947>