git: 46fac650a9df - main - security/hs-cryptol: Switch to GHC 9.6
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 19 Apr 2024 19:28:30 UTC
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.