Current status

hs-cryptol Language of cryptography

2.10.0 security =0 2.10.0Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2020-02-24 08:32:14

Last Update: 2020-12-21 01:11:54

SVN Revision: 558786

Also Listed In: lang haskell

License: BSD3CLAUSE

Description:

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. WWW: https://cryptol.net/

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (3 items)

Collapse this list.

1. /usr/local/share/licenses/hs-cryptol-2.10.0/catalog.mk
2. /usr/local/share/licenses/hs-cryptol-2.10.0/LICENSE
3. /usr/local/share/licenses/hs-cryptol-2.10.0/BSD3CLAUSE

Collapse this list.

Dependency lines:

• hs-cryptol>0:security/hs-cryptol

To install the port: cd /usr/ports/security/hs-cryptol/ && make install clean

To add the package: pkg install hs-cryptol

PKGNAME: hs-cryptol

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1608502486 SHA256 (cabal/cryptol-2.10.0.tar.gz) = 0bfa21d4766b9ad21ba16ee43b83854f25a84e7ca2b68a14cbe0006b4173ef63 SIZE (cabal/cryptol-2.10.0.tar.gz) = 419427

Expand this list (242 items)

Collapse this list.

SHA256 (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = a3a37a0f373a09a1261954b737959a7129b79e3e8f775b981bbe4abb85016830 SIZE (cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz) = 4960 SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1 SIZE (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 4289 SHA256 (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 584df0e138093b2f2edc893a69883eb8cbca3402ebdc75392a7742e86156ba53 SIZE (cabal/MemoTrie-0.6.10/MemoTrie-0.6.10.tar.gz) = 8403 SHA256 (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = d87b6c85696b601175274361fa62217894401e401e150c3c5d4013ac53cd36f3 SIZE (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = 75246 SHA256 (cabal/StateVar-1.2/StateVar-1.2.tar.gz) = afc036021fcd38f15fcc4af392a3e57017d5ddcc926e99391dbfc8c4e6375f8b SIZE (cabal/StateVar-1.2/StateVar-1.2.tar.gz) = 4770 SHA256 (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 507c2ef55337ae61c805f8cbc1213dfd7d2b85187342675d662254b8d8a16ae9 SIZE (cabal/adjunctions-4.4/adjunctions-4.4.tar.gz) = 19891 SHA256 (cabal/adjunctions-4.4/revision/2.cabal) = 2738dd5f5d5e93749adb14a05472e58a96a75d0f299e46371c6f46dc4e97daf9 SIZE (cabal/adjunctions-4.4/revision/2.cabal) = 3067 SHA256 (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 91aa08c1d3312125fbf4284815189299bbb0be34421ab963b1f2ae06eccc5410 SIZE (cabal/alex-3.2.6/alex-3.2.6.tar.gz) = 108832 SHA256 (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = c6611b9e51add41db3f79eac30066c06b33a6ca2a09e586b4b361d7f98303793 SIZE (cabal/ansi-terminal-0.11/ansi-terminal-0.11.tar.gz) = 36074 SHA256 (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = a7b2e8e7cd3f02f2954e8b17dc60a0ccd889f49e2068ebb15abfa1d42f7a4eac SIZE (cabal/ansi-wl-pprint-0.6.9/ansi-wl-pprint-0.6.9.tar.gz) = 16723 SHA256 (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 20d30674f137d43aa0279c2c2cc5e45a5f1c3c57e301852494906158b6313bf7 SIZE (cabal/ansi-wl-pprint-0.6.9/revision/2.cabal) = 2388 SHA256 (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = d8988dc6e8718c7a3456515b769c9336aeeec730cf86fc5175247969ff8f144f SIZE (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = 3047 SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927 SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934 SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2 SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431 SHA256 (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5941a05141a61239e8d6c4f2c9876bec3765d786766721b8474b8625febf914a SIZE (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5796 SHA256 (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 53a6b5145442fba5a4bad6db2bcdede17f164642b48bc39b95015422a39adbdb SIZE (cabal/base-compat-0.11.2/base-compat-0.11.2.tar.gz) = 34625 SHA256 (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 37b2b59356c03400a2d509862677393c5ff706a0aabf826c104f6fe03d93bbb3 SIZE (cabal/base-orphans-0.8.4/base-orphans-0.8.4.tar.gz) = 22573 SHA256 (cabal/bifunctors-5.5.7/bifunctors-5.5.7.tar.gz) = 88b3a2d4504e1139a3aef7027913faa0870631477d0a2ebb6fa67d494cdb3532 SIZE (cabal/bifunctors-5.5.7/bifunctors-5.5.7.tar.gz) = 45689 SHA256 (cabal/bifunctors-5.5.7/revision/2.cabal) = 19d907460f166ade334e9d85d7c0bcc58b57da5e8f802b28bba6d8d81fd3ee70 SIZE (cabal/bifunctors-5.5.7/revision/2.cabal) = 3554 SHA256 (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = d1a39686abbfed5864a8fb778d2244825b6eac977e130e7c1212e6d3a68f249d SIZE (cabal/bimap-0.4.0/bimap-0.4.0.tar.gz) = 10710 SHA256 (cabal/bimap-0.4.0/revision/1.cabal) = c59d587b56b575c299ba0c2fff44e630991a120a167de5a19cd7a81320f63c84 SIZE (cabal/bimap-0.4.0/revision/1.cabal) = 1717 SHA256 (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 76ae082a9f1950555dae8f1fb57ac6a7da85f30114b2f252dd2fa5e567fbbe0f SIZE (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 16473 SHA256 (cabal/bitwise-1.0.0.1/revision/3.cabal) = b5c988b1ceba6c8a7b1fa4b2aa8c69d8fbdc96145b8f22ad8e2c529d5688a66b SIZE (cabal/bitwise-1.0.0.1/revision/3.cabal) = 3110 SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814 SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365 SHA256 (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3231635f58df8f62a4e791d3ccade450d07dd370bf97729a8d0fabf113acc6dc SIZE (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3558 SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617 SHA256 (cabal/blaze-markup-0.8.2.7/blaze-markup-0.8.2.7.tar.gz) = 8b6489ed422d98e4372f41be1f40f772b8d4ed925f3203b36be4078d918c8ee4 SIZE (cabal/blaze-markup-0.8.2.7/blaze-markup-0.8.2.7.tar.gz) = 14571 SHA256 (cabal/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = bcc868e9b74742af1152f98c01bf00ddcc930e2a0f6d3d230b2713404e65a753 SIZE (cabal/bv-sized-1.0.2/bv-sized-1.0.2.tar.gz) = 18223 SHA256 (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 27faef6db27c5be5a3715fd68b93725853e0e668849eaf92ce7c33cef9cb2c3f SIZE (cabal/bytestring-builder-0.10.8.2.0/bytestring-builder-0.10.8.2.0.tar.gz) = 47366 SHA256 (cabal/cabal-doctest-1.0.8/cabal-doctest-1.0.8.tar.gz) = 2026a6a87d410202ce091412ca6bc33c5aca787025326b4a3d13425a23392e0e SIZE (cabal/cabal-doctest-1.0.8/cabal-doctest-1.0.8.tar.gz) = 10812 SHA256 (cabal/cabal-doctest-1.0.8/revision/2.cabal) = 8bd1d614fb65f0d52609da30bf8e5ec71a4b6adf8ff5610edb3cb4d114576117 SIZE (cabal/cabal-doctest-1.0.8/revision/2.cabal) = 1491 SHA256 (cabal/call-stack-0.2.0/call-stack-0.2.0.tar.gz) = 95c693c93958758d714dee22edc56d4ebb2dcefa4412264e941e32ccd6e4e0c7 SIZE (cabal/call-stack-0.2.0/call-stack-0.2.0.tar.gz) = 2565 SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406 SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609 SHA256 (cabal/clock-0.8/clock-0.8.tar.gz) = 08a35c5294009040f1e5eb721a21b60df7af6584092bb3d376ab1b2e57e26914 SIZE (cabal/clock-0.8/clock-0.8.tar.gz) = 7916 SHA256 (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 3b8d471979617dce7c193523743c9782df63433d8e87e3ef6d97922e0da104e7 SIZE (cabal/colour-2.3.5/colour-2.3.5.tar.gz) = 20485 SHA256 (cabal/comonad-5.0.7/comonad-5.0.7.tar.gz) = 55bdeba7b7d3c9e1385fd9e2e57f7a6faa3ab68411c8186d4ba6e7e2ce030d9d SIZE (cabal/comonad-5.0.7/comonad-5.0.7.tar.gz) = 18108 SHA256 (cabal/constraints-0.12/constraints-0.12.tar.gz) = f26b531a15f013f15b4b5df46c4f89b13927253a4195494c50320adf05760223 SIZE (cabal/constraints-0.12/constraints-0.12.tar.gz) = 20950 SHA256 (cabal/contravariant-1.5.2/contravariant-1.5.2.tar.gz) = c4262c24e3dcc2ba8ca221ed52a6390818a715301e4f13135d8d732e0c7dc60c SIZE (cabal/contravariant-1.5.2/contravariant-1.5.2.tar.gz) = 16006 SHA256 (cabal/crackNum-2.4/crackNum-2.4.tar.gz) = 2a09615e7471619b0ea6473e30e6becdcbc4569675fb536d468cc66a27cd49b9 SIZE (cabal/crackNum-2.4/crackNum-2.4.tar.gz) = 14172 SHA256 (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 3c79af33542512442f8f87f6abb1faef7cd43bbfb2859260a33251d861eb0dab SIZE (cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz) = 10198 SHA256 (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 14d814cd88f5fd47641bef414668f3a5bba8b27fa8f960b1a6f4f2ba29265ee1 SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/5.cabal) = 4363 SHA256 (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 59975abed8f4caa602f0780c10a9b2493479e6feb71ad189bb10c3ac5678df0a SIZE (cabal/data-binary-ieee754-0.4.4/data-binary-ieee754-0.4.4.tar.gz) = 4117 SHA256 (cabal/deriving-compat-0.5.9/deriving-compat-0.5.9.tar.gz) = c44bc1737695320bc0f1f1d6e283f58adbc6e3415b88c33a58022401cf611ac4 SIZE (cabal/deriving-compat-0.5.9/deriving-compat-0.5.9.tar.gz) = 72293 SHA256 (cabal/deriving-compat-0.5.9/revision/1.cabal) = 4304c7767e1a2322f23db42bff899cb6c529bb9728b55b957552bd13d7007c1f SIZE (cabal/deriving-compat-0.5.9/revision/1.cabal) = 8193 SHA256 (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 824ee271ded433ce6c61fe890c784642b7e20ffa4082fca609da54e7dcfc23c9 SIZE (cabal/distributive-0.6.2/distributive-0.6.2.tar.gz) = 11308 SHA256 (cabal/distributive-0.6.2/revision/2.cabal) = 2ace9babcdbd1c2db28638c200405fb85e3660fe19ceae4f03082590adc2c487 SIZE (cabal/distributive-0.6.2/revision/2.cabal) = 3198 SHA256 (cabal/extra-1.7.9/extra-1.7.9.tar.gz) = f66e26a63b216f0ca33665a75c08eada0a96af192ace83a18d87839d79afdf9d SIZE (cabal/extra-1.7.9/extra-1.7.9.tar.gz) = 44369 SHA256 (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 95a948341570bad5a9b2468c388c0eb2c20c57e10dd8fbfc994c7b8764b36a7f SIZE (cabal/fingertree-0.1.4.2/fingertree-0.1.4.2.tar.gz) = 18978 SHA256 (cabal/free-5.1.3/free-5.1.3.tar.gz) = 2c70d66e3a1ad52ce4b22d5510ffc6d7b3db950bd7f43bc61801cfe7b24c2e2d SIZE (cabal/free-5.1.3/free-5.1.3.tar.gz) = 64257 SHA256 (cabal/free-5.1.3/revision/1.cabal) = 604c27b6ba0a560c8a1377ad76e5bbb8528e924d6b0590215d815faddbec0b70 SIZE (cabal/free-5.1.3/revision/1.cabal) = 4165 SHA256 (cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz) = e9b53a40eae58e18ee281858a1ba400f14128d5779858272b01c10d64aa09abe SIZE (cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz) = 68256 SHA256 (cabal/generic-deriving-1.13.1/revision/1.cabal) = 9595e763f71f83ee6234acaad142e0910b236731a02a5ed187dd4011ea8de888 SIZE (cabal/generic-deriving-1.13.1/revision/1.cabal) = 4344 SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332 SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756 SHA256 (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 3b1d3a8f93a2723b554d9f07b2cd136be1a7b2fcab1855b12b7aab5cbac8868c SIZE (cabal/happy-1.20.0/happy-1.20.0.tar.gz) = 184515 SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4 SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835 SHA256 (cabal/hashable-1.3.0.0/revision/2.cabal) = d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b SIZE (cabal/hashable-1.3.0.0/revision/2.cabal) = 5389 SHA256 (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 0ac3bf86030eeb1dd0f3d0cd1967cb610ee9564251622371fda560bc4e7def6d SIZE (cabal/hashtables-1.2.4.1/hashtables-1.2.4.1.tar.gz) = 58425 SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be510845493b6a6eddcc4b772581fd40a9433ed8f130f40 SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449 SHA256 (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = fd7915e41e3ed3bc7750fee0e8add2b4f32dcac8b7c544cfdf5542293223894a SIZE (cabal/hsc2hs-0.68.7/hsc2hs-0.68.7.tar.gz) = 38630 SHA256 (cabal/indexed-traversable-0.1/indexed-traversable-0.1.tar.gz) = 9f42db2fef1f617396f267830211d42737e952de6228858aac3fe361bf88c0de SIZE (cabal/indexed-traversable-0.1/indexed-traversable-0.1.tar.gz) = 8261 SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023 SHA256 (cabal/invariant-0.5.3/invariant-0.5.3.tar.gz) = d73e5def38da9fdd85def073857aa5f4b1d3b0c2df05c43d58a677cca02d440c SIZE (cabal/invariant-0.5.3/invariant-0.5.3.tar.gz) = 24394 SHA256 (cabal/invariant-0.5.3/revision/2.cabal) = 5b74af0b909c44b17298a9c04bcd0aea030f36a869da9112b103890f3aa2516f SIZE (cabal/invariant-0.5.3/revision/2.cabal) = 3323 SHA256 (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63d2f04749f30f0dac2148aa8dec488c07a7e245c80c11f139ad9050665e6ac1 SIZE (cabal/io-streams-1.5.2.0/io-streams-1.5.2.0.tar.gz) = 63812 SHA256 (cabal/kan-extensions-5.2.1/kan-extensions-5.2.1.tar.gz) = eaa898e03bc7a1f384ebe7855ac35ebb2500d9b5746f8c4e2090c58024d29f84 SIZE (cabal/kan-extensions-5.2.1/kan-extensions-5.2.1.tar.gz) = 24000 SHA256 (cabal/lens-4.19.2/lens-4.19.2.tar.gz) = 52f858ae3971a5104cdba5e81a27d154fda11fe65a54a4ac328c85904bdec23b SIZE (cabal/lens-4.19.2/lens-4.19.2.tar.gz) = 705314 SHA256 (cabal/lens-4.19.2/revision/2.cabal) = 3ed9c993cdd6b397f9f56cef5f71cc51003e15eeafe76948dabf36ee22d0e6ae SIZE (cabal/lens-4.19.2/revision/2.cabal) = 16053 SHA256 (cabal/libBF-0.5.1/libBF-0.5.1.tar.gz) = d16c5769a11bdbf63c97827253fa02114c04fd9eb622316dfde11b71979b8b47 SIZE (cabal/libBF-0.5.1/libBF-0.5.1.tar.gz) = 69670 SHA256 (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 7228bc49d8636632b481eb13f16f2a9633007b8f55ebc0105f517ad7f71f2501 SIZE (cabal/megaparsec-9.0.1/megaparsec-9.0.1.tar.gz) = 59734 SHA256 (cabal/megaparsec-9.0.1/revision/1.cabal) = 2244ab77521a52a0083966c5405b3151f149e1db50b1a5b104cd9b1e56617203 SIZE (cabal/megaparsec-9.0.1/revision/1.cabal) = 3248 SHA256 (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 6c1034189d237ae45368c70f0e68f714dd3beda715dd265b6c8a99fcc64022b1 SIZE (cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz) = 13864 SHA256 (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 615c4e0f43491950da36608f968fc28d07a9128e7662d5481891a9a40d667ba3 SIZE (cabal/monadLib-3.10/monadLib-3.10.tar.gz) = 11475 SHA256 (cabal/monadLib-3.10/revision/1.cabal) = 21dc120625bd612527b372e54251fd8358270effe263023d40d8e5892d24531c SIZE (cabal/monadLib-3.10/revision/1.cabal) = 653 SHA256 (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = fcaa954445cb575ff04d088e719452e356324b6acb98c5aefd2541a069439d4a SIZE (cabal/network-3.1.2.1/network-3.1.2.1.tar.gz) = 136889 SHA256 (cabal/network-3.1.2.1/revision/1.cabal) = 188d6daea8cd91bc3553efd5a90a1e7c6d0425fa66a53baa74db5b6d9fd75c8b SIZE (cabal/network-3.1.2.1/revision/1.cabal) = 4968 SHA256 (cabal/newtype-generics-0.5.4/newtype-generics-0.5.4.tar.gz) = 007f3dd80d759b09534dd215b040d1a435b7d2612be3d0a365c27c60c973f932 SIZE (cabal/newtype-generics-0.5.4/newtype-generics-0.5.4.tar.gz) = 6878 SHA256 (cabal/newtype-generics-0.5.4/revision/1.cabal) = 6767d699fb5a78e3ad13a1a7c2294f1bdde49dbd203bedbc6e7f0999af51a9c5 SIZE (cabal/newtype-generics-0.5.4/revision/1.cabal) = 2136 SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14ca5316b204214c08e211febbdcefd1732d42 SIZE (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 2265 SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6 SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681 SHA256 (cabal/parallel-3.2.2.0/revision/2.cabal) = c69372af9a39a06739e1d0eaa1f2d8be6b86493a53dbbc455e7b30479c491c6a SIZE (cabal/parallel-3.2.2.0/revision/2.cabal) = 1763 SHA256 (cabal/parameterized-utils-2.1.1/parameterized-utils-2.1.1.tar.gz) = 69f8167e29e40c978685830742930de64517bda5cc727cb173a89ebceff4e0a3 SIZE (cabal/parameterized-utils-2.1.1/parameterized-utils-2.1.1.tar.gz) = 78056 SHA256 (cabal/parser-combinators-1.2.1/parser-combinators-1.2.1.tar.gz) = 03162e40cde50253529fa452165b681d5064d03ad07992800702156adfb6254d SIZE (cabal/parser-combinators-1.2.1/parser-combinators-1.2.1.tar.gz) = 10915 SHA256 (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 6bebecfdf2a57787d9fd5231bfd612b65a92edd7b33a973b2a0f11312b89a3f0 SIZE (cabal/primitive-0.7.1.0/primitive-0.7.1.0.tar.gz) = 52184 SHA256 (cabal/primitive-0.7.1.0/revision/1.cabal) = e7a412791f676df3e5cd5df6e8282fb2925932b0f7e1f51cd590deec369e945a SIZE (cabal/primitive-0.7.1.0/revision/1.cabal) = 2728 SHA256 (cabal/profunctors-5.6/profunctors-5.6.tar.gz) = cb06a548f67c17d38fef7b2e5d1f66a5e48f353d7806290e795cc97c9a298ce3 SIZE (cabal/profunctors-5.6/profunctors-5.6.tar.gz) = 30624 SHA256 (cabal/random-1.2.0/random-1.2.0.tar.gz) = e4519cf7c058bfd5bdbe4acc782284acc9e25e74487208619ca83cbcd63fb9de SIZE (cabal/random-1.2.0/random-1.2.0.tar.gz) = 37889 SHA256 (cabal/random-1.2.0/revision/3.cabal) = 1e8140229d21489228aa79b820c23259f3c3a1b86e13e6f9c2ad0c48d86d1912 SIZE (cabal/random-1.2.0/revision/3.cabal) = 6094 SHA256 (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = bf3e14917ebb329a53701a3cce0afe670f20037a0148dbfa5cbfa574ed6ba6cd SIZE (cabal/reflection-2.1.6/reflection-2.1.6.tar.gz) = 19976 SHA256 (cabal/sbv-8.7/sbv-8.7.tar.gz) = 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 SIZE (cabal/sbv-8.7/sbv-8.7.tar.gz) = 873246 SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510 SHA256 (cabal/semigroupoids-5.3.4/semigroupoids-5.3.4.tar.gz) = 00d2e48973c3ab0a5d52616728ed63d0509454c8328148f698720014d7c58964 SIZE (cabal/semigroupoids-5.3.4/semigroupoids-5.3.4.tar.gz) = 26307 SHA256 (cabal/semigroupoids-5.3.4/revision/2.cabal) = 120873dfa8084ec92745c766336e90d648c347ab99ce55329d5af36dbd3732ba SIZE (cabal/semigroupoids-5.3.4/revision/2.cabal) = 7596 SHA256 (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 79e761e64b862564a3470d5d356cb6b060b14452d675859aed3b2d1e14646648 SIZE (cabal/semigroups-0.19.1/semigroups-0.19.1.tar.gz) = 21124 SHA256 (cabal/simple-smt-0.9.5/simple-smt-0.9.5.tar.gz) = c2579e2369e4e64b05810782feeb444489bb917c1530085cb50155fc441e8b2f SIZE (cabal/simple-smt-0.9.5/simple-smt-0.9.5.tar.gz) = 9315 SHA256 (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 46009f4b000c9e6613377767b8718bf38476469f2a8e2162d98cc246882d5a35 SIZE (cabal/splitmix-0.1.0.3/splitmix-0.1.0.3.tar.gz) = 20754 SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241 SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488 SHA256 (cabal/syb-0.7.1/syb-0.7.1.tar.gz) = e04a9c7ae48d9fe25e9b7a064f7122d39c710753544511e15df7a6e87fdfe700 SIZE (cabal/syb-0.7.1/syb-0.7.1.tar.gz) = 39594 SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759 SHA256 (cabal/tagged-0.8.6/revision/3.cabal) = 7cce0b9355d1daad797555dfa906f756ed0253a40bc826ca367adf21d7b369f3 SIZE (cabal/tagged-0.8.6/revision/3.cabal) = 2606 SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890 SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686 SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635d8fc5f79b6bf6e7580ab4b00186dadc88510 SIZE (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 18483 SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79 SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111 SHA256 (cabal/th-lift-0.8.2/th-lift-0.8.2.tar.gz) = 3a5927037a10ae63e605c02228c4027c32b7bab1985ae7b5379e6363b3cd5ce4 SIZE (cabal/th-lift-0.8.2/th-lift-0.8.2.tar.gz) = 14385 SHA256 (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = d798c9f56e17def441e8f51e54cc11afdb3e76c6a9d1e9ee154e9a78da0bf508 SIZE (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = 9804 SHA256 (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = d0c80c63fdce6a077dd8eda4f1ff289b85578703a3f1272e141d400fe23245e8 SIZE (cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz) = 2849 SHA256 (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 7e2e0251e5e6d28142615a4b950a3fabac9c0b7804b1ec4a4ae985f19519a9f9 SIZE (cabal/transformers-compat-0.6.6/transformers-compat-0.6.6.tar.gz) = 41347 SHA256 (cabal/type-equality-1/type-equality-1.tar.gz) = 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8 SIZE (cabal/type-equality-1/type-equality-1.tar.gz) = 4525 SHA256 (cabal/type-equality-1/revision/1.cabal) = d36324583fbafc5698c3f898ccf7cf041cbf42435fc2559c28e8f77682739a8e SIZE (cabal/type-equality-1/revision/1.cabal) = 1517 SHA256 (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 86b01369ab8eb311383a052d389337e2cd71a63088323f02932754df4aa37b55 SIZE (cabal/unordered-containers-0.2.13.0/unordered-containers-0.2.13.0.tar.gz) = 53379 SHA256 (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140 SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667 SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151 SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049 SHA256 (cabal/versions-3.5.4/versions-3.5.4.tar.gz) = 3cafee2f3dabb5ca2b7dbb5bd2cea0eff3afe2d47820b744d8d4462ca257d5d8 SIZE (cabal/versions-3.5.4/versions-3.5.4.tar.gz) = 15391 SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317 SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741 SHA256 (cabal/what4-1.0/what4-1.0.tar.gz) = 1ccdb3bfebf596fc40ec5c2a0973c8a8b47e61c32d481b0d96591ffa9fc0de7b SIZE (cabal/what4-1.0/what4-1.0.tar.gz) = 297098 SHA256 (cabal/what4-1.0/revision/1.cabal) = ae5e7363ba9edf6a179d63fa4bea20a90a084fc86c5692b65c633d6bb7454b11 SIZE (cabal/what4-1.0/revision/1.cabal) = 8789 SHA256 (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 62d14fd204a292a780ff0b3ca9f73e6686188c6269cd6bf5433b4d12fe3e105c SIZE (cabal/zenc-0.1.1/zenc-0.1.1.tar.gz) = 3791 SHA256 (cabal/zlib-0.6.2.2/zlib-0.6.2.2.tar.gz) = 04b5890dd69e992f8cd09570d81e9d5ecab19db8e82cbe47ba8e02c31c0631ba SIZE (cabal/zlib-0.6.2.2/zlib-0.6.2.2.tar.gz) = 148178 SHA256 (cabal/zlib-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

Collapse this list.

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. cabal : devel/hs-cabal-install
2. ghc : lang/ghc

Library dependencies:

1. libiconv.so : converters/libiconv
2. libgmp.so : math/gmp
3. libffi.so : devel/libffi

There are no ports dependent upon this port

Configuration Options

No options to configure

USES:

cabal

Master Sites:

Expand this list (2 items)

Collapse this list.
1. http://hackage.haskell.org/package/cryptol-2.10.0/
2. https://hackage.haskell.org/package/cryptol-2.10.0/
Collapse this list.

• 2017-08-08

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    The Glorious Glasgow Haskell Compiler has been updated to version
    8.0.2.  Hence it is recommended to rebuild or reinstall all the
    dependent ports and the lang/ghc port itself in one of the following
    ways:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
  
    In case of pkg(8), it is probably safer to remove all the GHC-dependent
    packages along with GHC and reinstall everything from scratch.  For
    example:
  
    # pkg query "%ro" ghc > ghc-pkgs.txt
    # pkg delete -y lang/ghc
  
    In ghc-pkgs.txt, check and remove all the packages that have been moved
    on the update, then use this command:
  
    # pkg install -y `cat ghc-pkgs.txt`
  
  

Expand this list (10 items)Collapse this list.



• 2015-08-20

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    The Glorious Glasgow Haskell Compiler has been updated to version
    7.10.2 and Haskell Platform has been removed.  As a result, it is
    recommended to rebuild or reinstall all the dependent ports and the
    lang/ghc port itself in one of the following ways:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
  
    In case of pkg(8), it is probably safer to remove all the GHC-dependent
    packages along with GHC and reinstall everything from scratch.  For
    example:
  
    # pkg query "%ro" ghc > ghc-pkgs.txt
    # pkg delete -y lang/ghc
  
    In ghc-pkgs.txt, check and remove all the packages that have been moved,
    then:
  
    # pkg install -y `cat ghc-pkgs.txt`
  
  

• 2014-08-10

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    The Glorious Glasgow Haskell Compiler has been updated to version
    7.8.3 and Haskell Platform to 2014.2.0.0.  Hence it is recommended to
    rebuild or reinstall all the dependent ports and the lang/ghc port
    itself by one of the following commands:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
  
    If you use pkg(8) then it is just safer to remove all the GHC-dependent
    packages along with GHC and reinstall everything from scratch.
    Something alone these lines may work:
  
    # pkg query "%ro" > ghc-pkgs.txt
    # pkg delete -y lang/ghc
    # pkg install -y `cat ghc-pkgs.txt | grep -Ev "/hs-(haskeline|terminfo|transformers|xhtml)"
  
  

• 2013-06-04

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    The Glorious Glasgow Haskell Compiler has been updated to version
    7.6.3 and Haskell Platform to 2013.2.0.0.  Hence it is recommended to
    rebuild or reinstall all the dependent ports by one of the following
    commands:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
      or
    # pkg install -fR lang/ghc
  
    Note that prefixes used for hs- ports (Cabal packages) have been
    changed to PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION to
    enable more seamless upgrades in the future.
  
  

• 2013-03-31

  Affects: users of */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    Due to some unexpected dynamic linking problems, Haskell Cabal ports with
    binaries that link to their own libraries may not work.  With default
    configuration, the following ports are known to have this problem:
    Agda, BNFC, pandoc, and uuagc.  (Their port revision are now bumped.)
  
    In general, it is recommended to rebuild the port if you are
    experiencing that the corresponding binary will not start, e.g.:
  
    % agda
    Shared object "libHSAgda-2.3.2-ghc7.4.2.so" not found, required by "agda"
  
  

• 2013-02-05

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    Note that the recent devel/libffi update caused some breakage in the Haskell
    ports with the DYNAMIC option enabled.  The problem has been identified and
    fixed since then.  All Haskell ports have been updated to their latest stable
    versions or bumped as DYNAMIC is enabled by default.
  
    Hence it is recommended to rebuild or reinstall all ports depending on GHC
    by one of the following commands:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
      or
    # pkg install -fR lang/ghc
  
  

• 2012-12-20

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    Note that the Glorious Glasgow Haskell Compiler has been updated to
    version 7.4.2.
  
    Please rebuild or reinstall all dependent ports by issuing one of the
    following commands, depending on the tool used:
  
    # portmaster -w -r ghc
      or
    # portupgrade -fr lang/ghc
      or
    # pkg install -fR lang/ghc
  
  

• 2012-06-03

  Affects: users of lang/ghc and */hs-*

  Author: haskell@FreeBSD.org

  Reason: 
    Note that The Glorious Glasgow Haskell Compiler and the Haskell Platform
    have been updated to versions 7.4.1 and 2012.2.0.0, respectively.  At the
    same time, all Haskell ports have been updated to their latest working
    versions.
  
    To follow the changes, please issue one of the following commands
    (depending on the tool used):
  
    # portmaster -r ghc
      or
    # portupgrade -fr lang/ghc
  
  

• 2012-02-13

  Affects: users of lang/ghc and */hs-*

  Author: pgj@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.4, and Haskell Platform to version
    2011.4.0.0, and other Haskell ports are also updated to their Haskell
    Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
      or
    # portupgrade -r lang/ghc
  
  

• 2011-05-09

  Affects: users of lang/ghc and */hs-*

  Author: ashish@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.3 and other Haskell ports are also
    updated to their Haskell Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
      or
    # portupgrade -r lang/ghc
  
  

Collapse this list.

security/hs-cryptol: Update 2.9.0 -> 2.10.0

lang/ghc: Update to 8.10.1.

As usual, along with the compiler, many Haskell packages are updated as well.

Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)

Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)

security/hs-cryptol: Remove the unnecessary line

Reported by:	arrowd

New port: security/hs-cryptol: Language of cryptography

With help of:	arrowd

10 vulnerabilities affecting 79 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-03-05 21:21:29