1
0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00

security/hs-cryptol: Fix building after the GHC upgrade

This commit is contained in:
Gleb Popov
2025-12-26 22:57:51 +03:00
parent c6648c8fd8
commit 021d9b886c
2 changed files with 34 additions and 44 deletions
+11 -13
View File
@@ -1,5 +1,6 @@
PORTNAME= cryptol
DISTVERSION= 3.4.0
PORTREVISION= 1
CATEGORIES= security lang haskell
MAINTAINER= yuri@FreeBSD.org
@@ -27,7 +28,7 @@ USE_CABAL= BoundedChan-1.0.3.0 \
adjunctions-4.4.3 \
aeson-2.2.3.0_4 \
alex-3.5.4.0 \
ansi-terminal-1.1.3 \
ansi-terminal-1.1.5 \
ansi-terminal-types-1.1.3 \
arithmoi-0.13.2.0 \
assoc-1.1.1_1 \
@@ -65,9 +66,9 @@ USE_CABAL= BoundedChan-1.0.3.0 \
dlist-1.0_2 \
erf-2.0.0.0 \
exact-pi-0.5.0.2 \
extra-1.8 \
extra-1.8.1 \
file-embed-0.0.16.0 \
fingertree-0.1.6.2 \
fingertree-0.1.6.3 \
free-5.2_7 \
generically-0.1.1_4 \
gitrev-1.3.1 \
@@ -78,15 +79,14 @@ USE_CABAL= BoundedChan-1.0.3.0 \
haskell-lexer-1.2.1 \
hedgehog-1.7 \
heredoc-0.2.0.0 \
hgmp-0.1.2.1_2 \
hsc2hs-0.68.10_4 \
ieee754-0.8.0 \
indexed-traversable-0.1.4_1 \
indexed-traversable-instances-0.1.2_1 \
infinite-list-0.1.2 \
infinite-list-0.1.3 \
integer-conversion-0.1.1_1 \
integer-logarithms-1.0.4 \
integer-roots-1.0.3.0 \
integer-roots-1.0.4.0 \
invariant-0.6.4_1 \
io-streams-1.5.2.2_6 \
kan-extensions-5.2.7 \
@@ -95,7 +95,6 @@ USE_CABAL= BoundedChan-1.0.3.0 \
language-c99-util-0.2.0 \
lens-5.3.5_1 \
libBF-0.6.8 \
libffi-0.2.1 \
lifted-async-0.11.0 \
lifted-base-0.2.3.12 \
megaparsec-9.7.0 \
@@ -109,7 +108,6 @@ USE_CABAL= BoundedChan-1.0.3.0 \
numtype-dk-0.5.0.3 \
optparse-applicative-0.19.0.0 \
ordered-containers-0.2.4 \
os-string-2.0.8 \
panic-0.4.0.1 \
parallel-3.3.0.0 \
parameterized-utils-2.1.11.0 \
@@ -136,7 +134,7 @@ USE_CABAL= BoundedChan-1.0.3.0 \
splitmix-0.1.3.1 \
strict-0.5.1_1 \
syb-0.7.3 \
tagged-0.8.9 \
tagged-0.8.10 \
tasty-1.5.3_2 \
tasty-hedgehog-1.4.0.2_7 \
tasty-hunit-0.10.2 \
@@ -151,20 +149,20 @@ USE_CABAL= BoundedChan-1.0.3.0 \
th-lift-instances-0.1.20 \
these-1.2.1_2 \
time-compat-1.9.8 \
toml-parser-2.0.1.2_1 \
toml-parser-2.0.2.0 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
unbounded-delays-0.1.1.1 \
uniplate-1.6.13_1 \
unliftio-0.2.25.1 \
unliftio-core-0.2.1.0_4 \
unordered-containers-0.2.20.1 \
unordered-containers-0.2.21_1 \
uuid-types-1.0.6_3 \
vector-0.13.2.0_2 \
vector-stream-0.1.0.1_4 \
versions-6.0.8 \
void-0.7.3 \
what4-1.7.1.0 \
void-0.7.4 \
what4-1.7.2 \
witherable-0.5_1 \
wl-pprint-annotated-0.1.0.1_4 \
zenc-0.1.2 \
+23 -31
View File
@@ -1,4 +1,4 @@
TIMESTAMP = 1762587886
TIMESTAMP = 1766779065
SHA256 (cabal/cryptol-3.4.0/cryptol-3.4.0.tar.gz) = 5973570dfd307c0a27251bb8edcfd554034549b21dfba7b69f21963d3361a388
SIZE (cabal/cryptol-3.4.0/cryptol-3.4.0.tar.gz) = 602439
SHA256 (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d
@@ -23,8 +23,8 @@ SHA256 (cabal/aeson-2.2.3.0/revision/4.cabal) = 7d48c2395ef168d2c2070fdb02c79983
SIZE (cabal/aeson-2.2.3.0/revision/4.cabal) = 6368
SHA256 (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = a9ea70f2c4900e685312cf330d1fe955a3e8f00acd1328d463ae150481d28ade
SIZE (cabal/alex-3.5.4.0/alex-3.5.4.0.tar.gz) = 94220
SHA256 (cabal/ansi-terminal-1.1.3/ansi-terminal-1.1.3.tar.gz) = 88d11a165cd709bfd603b4bc36afd5b39d3e9eec69ee466ca4359441d468c092
SIZE (cabal/ansi-terminal-1.1.3/ansi-terminal-1.1.3.tar.gz) = 32633
SHA256 (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073
SIZE (cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz) = 33344
SHA256 (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689
SIZE (cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz) = 8791
SHA256 (cabal/arithmoi-0.13.2.0/arithmoi-0.13.2.0.tar.gz) = 91ac03a756fab198fc9ddb20b98400d7b9445e2313012a3c8e7007012de9674d
@@ -135,12 +135,12 @@ SHA256 (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 24f0b79c7e1d25cb2cd44c2258d7a464
SIZE (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 1918
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.8/extra-1.8.tar.gz) = 2fa4ce5eae50560bba80f1883913cf2ed52b3d87fd290dae27d838c94f5389a1
SIZE (cabal/extra-1.8/extra-1.8.tar.gz) = 47005
SHA256 (cabal/extra-1.8.1/extra-1.8.1.tar.gz) = 66a7d6d718646a7bda822d67550dc185c6e25ad1f7fecf06fc132e300098b598
SIZE (cabal/extra-1.8.1/extra-1.8.1.tar.gz) = 47197
SHA256 (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 5f18672eff936355557cdd163905451205d7ee22742edac313dd27cf42a3f415
SIZE (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 7198
SHA256 (cabal/fingertree-0.1.6.2/fingertree-0.1.6.2.tar.gz) = f2617dc54dceb6e680e3ac07efe86f0d236dfa66a277005f546a5aaa04139cab
SIZE (cabal/fingertree-0.1.6.2/fingertree-0.1.6.2.tar.gz) = 20851
SHA256 (cabal/fingertree-0.1.6.3/fingertree-0.1.6.3.tar.gz) = 87e0ae5fd8dfe57119b8a6a291f66b2aa9751fe3c6dfeff7f7de87d9fcdba2b8
SIZE (cabal/fingertree-0.1.6.3/fingertree-0.1.6.3.tar.gz) = 20926
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/7.cabal) = 7f3992a66987bbba5a6546420f6129fb9b66b80cdd005d34ec77a1e1c8ed8340
@@ -167,10 +167,6 @@ SHA256 (cabal/hedgehog-1.7/hedgehog-1.7.tar.gz) = 09e2bca0f798dbf5848ff3eb78c161
SIZE (cabal/hedgehog-1.7/hedgehog-1.7.tar.gz) = 79976
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/4.cabal) = 725ef6da03d3d6e332db4de0a35bee45d72e4d31decc5ec7f153e6837af5f03e
@@ -185,16 +181,16 @@ SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-
SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673
SHA256 (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 68df0fc8070ae2c15f9e6febf1449fee364c131a6d1e93cac45e7895ba86dd89
SIZE (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 2401
SHA256 (cabal/infinite-list-0.1.2/infinite-list-0.1.2.tar.gz) = 6bae26bd8deee7c7f0afa1dc374094eb26546116c24f5bcc47b631e7608bbd6c
SIZE (cabal/infinite-list-0.1.2/infinite-list-0.1.2.tar.gz) = 24232
SHA256 (cabal/infinite-list-0.1.3/infinite-list-0.1.3.tar.gz) = 36d71eebb7ea61ff2a14d0e707f7d02c9eeee72d20b53c655dcaf6ac78da95db
SIZE (cabal/infinite-list-0.1.3/infinite-list-0.1.3.tar.gz) = 24555
SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a
SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179
SHA256 (cabal/integer-conversion-0.1.1/revision/1.cabal) = 941d4ae16e2124cbff5defe2abedb49efc8e03a594f817035bf231a317e6c1c9
SIZE (cabal/integer-conversion-0.1.1/revision/1.cabal) = 2256
SHA256 (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 6a93c76c2518cbe2d72ab17da6ae46d8cae93cbfb7c5a5ad5783f903c1448f45
SIZE (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 8948
SHA256 (cabal/integer-roots-1.0.3.0/integer-roots-1.0.3.0.tar.gz) = 33a97f909f640c055e45c0a3c05aa050e0c14dfb419b0f755f797b9addf3d750
SIZE (cabal/integer-roots-1.0.3.0/integer-roots-1.0.3.0.tar.gz) = 54844
SHA256 (cabal/integer-roots-1.0.4.0/integer-roots-1.0.4.0.tar.gz) = a50c8287fe5f84a66bc196864e23cfc4bb9ecd10c7d664383c0c00e8f1896526
SIZE (cabal/integer-roots-1.0.4.0/integer-roots-1.0.4.0.tar.gz) = 55493
SHA256 (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = a9e2ab4ee3e0d4613beb7bda36a8ebc4f72318450514f4832d2fa43b74f0aeb3
SIZE (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = 27079
SHA256 (cabal/invariant-0.6.4/revision/1.cabal) = 4a9a609f4e93ffed158b3b4f5a80822c6da30aa71a5370307c0c00c2d658d1c6
@@ -217,8 +213,6 @@ SHA256 (cabal/lens-5.3.5/revision/1.cabal) = e0413689b39ea25e12b42b1d79b1afbd226
SIZE (cabal/lens-5.3.5/revision/1.cabal) = 15292
SHA256 (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = d98021132f28e674958a7c41250831c2375ae70c839d943c7b1d745c68d28e0a
SIZE (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = 77104
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/lifted-async-0.11.0/lifted-async-0.11.0.tar.gz) = 2e52e997b44e8a850fae925aa7160510c287b15a90fb4c0385c25f4302083288
SIZE (cabal/lifted-async-0.11.0/lifted-async-0.11.0.tar.gz) = 10684
SHA256 (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = c134a95f56750aae806e38957bb03c59627cda16034af9e00a02b699474317c5
@@ -251,8 +245,6 @@ SHA256 (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz
SIZE (cabal/optparse-applicative-0.19.0.0/optparse-applicative-0.19.0.0.tar.gz) = 67629
SHA256 (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 3da1673e24e12902c2879ee08b73e6978f6bfa70693b13995ebf48bfb7aee546
SIZE (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 7877
SHA256 (cabal/os-string-2.0.8/os-string-2.0.8.tar.gz) = 02794279dd30282e7b0d45a860dda50ee26a92b1461f5da4545f62dab4172686
SIZE (cabal/os-string-2.0.8/os-string-2.0.8.tar.gz) = 44896
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.3.0.0/parallel-3.3.0.0.tar.gz) = 47c21e778d8e8ebf657aa72fd30e189e71ffddb188660e9d09ca9062d7541791
@@ -319,8 +311,8 @@ SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a
SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557
SHA256 (cabal/syb-0.7.3/syb-0.7.3.tar.gz) = 676668d46941fc1be26bdd2cfd727aa13bcb909eaa8189937a9dbd6d41ac3b8d
SIZE (cabal/syb-0.7.3/syb-0.7.3.tar.gz) = 42181
SHA256 (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 6daad88ebb414ba6a556d2898d2cbe7650e4276010e3a6eed939daf54b956784
SIZE (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 8151
SHA256 (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 17ef791eb4caf314a3b4b158827a0f1f4b695c2a24af0875f09e3d8c10f56c5d
SIZE (cabal/tagged-0.8.10/tagged-0.8.10.tar.gz) = 8398
SHA256 (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 54a0c7b644813af871a3726ac8771b5e17b5158c792a7acf8f9e2d3ae9360780
SIZE (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 66548
SHA256 (cabal/tasty-1.5.3/revision/2.cabal) = 6b5dda3f16db1274a0b3e6c4073ac57172a1e96b1dca05666c5cbd1183639412
@@ -363,10 +355,8 @@ SHA256 (cabal/these-1.2.1/revision/2.cabal) = 35c57aede96c15ea1fed559ac287b1168e
SIZE (cabal/these-1.2.1/revision/2.cabal) = 2294
SHA256 (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 502ef8694a5b131b47c0e5df2e9053d005a3b345b30f5225af04f081d3ef5cf0
SIZE (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 63414
SHA256 (cabal/toml-parser-2.0.1.2/toml-parser-2.0.1.2.tar.gz) = 1bae49f84caa86ea5831c5355fb60450eab1871ff54992bfaa8a7aaab755a33a
SIZE (cabal/toml-parser-2.0.1.2/toml-parser-2.0.1.2.tar.gz) = 48374
SHA256 (cabal/toml-parser-2.0.1.2/revision/1.cabal) = 4cbcebdcbd920e9f145ca1cf572a194883f0f8844507abae7e6ba42ea037d05c
SIZE (cabal/toml-parser-2.0.1.2/revision/1.cabal) = 4036
SHA256 (cabal/toml-parser-2.0.2.0/toml-parser-2.0.2.0.tar.gz) = 9e8b5ee5eea9bea2441732347839a8e32e98789055a621f55a72c2df7a8de1a8
SIZE (cabal/toml-parser-2.0.2.0/toml-parser-2.0.2.0.tar.gz) = 48583
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
@@ -383,8 +373,10 @@ SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56
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/4.cabal) = f6a2736f858b5390d9384dca43d3ea4d96e9ca17217791791ca4951ba6e8072a
SIZE (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = 996
SHA256 (cabal/unordered-containers-0.2.20.1/unordered-containers-0.2.20.1.tar.gz) = 708a60513d6da61e09b60b9a486106af703a889b5b43472a27c3b60bf35246ab
SIZE (cabal/unordered-containers-0.2.20.1/unordered-containers-0.2.20.1.tar.gz) = 60625
SHA256 (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 3b2ad1522b546e61960153257d1e5d239eeec5e83da847d5cb4d896a5bb7f9c0
SIZE (cabal/unordered-containers-0.2.21/unordered-containers-0.2.21.tar.gz) = 68227
SHA256 (cabal/unordered-containers-0.2.21/revision/1.cabal) = bcff64f48fba1e25bf9b5346d1c3545402cd2f1293b411435e7850ccb62884e5
SIZE (cabal/unordered-containers-0.2.21/revision/1.cabal) = 3987
SHA256 (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e
SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222
SHA256 (cabal/uuid-types-1.0.6/revision/3.cabal) = 5ac2b681a8d7676f6a51ac1b113bfdcf18dd7fdbb313034850ed6493eef96da0
@@ -399,10 +391,10 @@ SHA256 (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 483be6df13c72169a9176405
SIZE (cabal/vector-stream-0.1.0.1/revision/4.cabal) = 1642
SHA256 (cabal/versions-6.0.8/versions-6.0.8.tar.gz) = 3f85f9052a8de704c94c920883d10d0eb71743b5b54469590d8fa8df59153b0e
SIZE (cabal/versions-6.0.8/versions-6.0.8.tar.gz) = 19566
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.7.1.0/what4-1.7.1.0.tar.gz) = 52336775cbebc993f6543189c2c190056c1c94740f74ce4a3d63cce6d170a441
SIZE (cabal/what4-1.7.1.0/what4-1.7.1.0.tar.gz) = 439047
SHA256 (cabal/void-0.7.4/void-0.7.4.tar.gz) = 61ff790961edb34fd653e62f9f37020792f416f329b12e87549169e7f624fdf9
SIZE (cabal/void-0.7.4/void-0.7.4.tar.gz) = 3550
SHA256 (cabal/what4-1.7.2/what4-1.7.2.tar.gz) = 918f6776dd69d179d7569523bb98e89d61db05a93335a0176af50ff8ebc86955
SIZE (cabal/what4-1.7.2/what4-1.7.2.tar.gz) = 439812
SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1
SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819
SHA256 (cabal/witherable-0.5/revision/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de