hs-cryptol Language of cryptography

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

Maintainer: yuri@FreeBSD.org

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

Last Update: 2020-02-24 15:44:14

SVN Revision: 526979

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)

1. /usr/local/share/licenses/hs-cryptol-2.8.0/catalog.mk
2. /usr/local/share/licenses/hs-cryptol-2.8.0/LICENSE
3. /usr/local/share/licenses/hs-cryptol-2.8.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 = 1582528857 SHA256 (cabal/cryptol-2.8.0.tar.gz) = b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb SIZE (cabal/cryptol-2.8.0.tar.gz) = 330434 SHA256 (cabal/FloatingHex-0.4/FloatingHex-0.4.tar.gz) = b277054db48d2dec62e3831586f218cbe0a056dec44dbc032e9a73087425a24c SIZE (cabal/FloatingHex-0.4/FloatingHex-0.4.tar.gz) = 4940 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/QuickCheck-2.13.2/QuickCheck-2.13.2.tar.gz) = 7b560baa5853de777702dc23a6f2126ae4adbfdab163295bc56323a706914610 SIZE (cabal/QuickCheck-2.13.2/QuickCheck-2.13.2.tar.gz) = 70427 SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3 SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531 SHA256 (cabal/ansi-terminal-0.10.3/ansi-terminal-0.10.3.tar.gz) = fa2e2e32dfad29835aa7fd442bbe233e07d97e933223a001fe5efa562535b57c SIZE (cabal/ansi-terminal-0.10.3/ansi-terminal-0.10.3.tar.gz) = 35863 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/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 990aea21568956d44ab018c5dbfbaea014b9a0d5295d29ca7550149419a6fb41 SIZE (cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 33158 SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee418428a22c72b9391557bc1fe2f93bd643f7754b36b9eb01 SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727 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-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.3/blaze-markup-0.8.2.3.tar.gz) = 72f8b0ed5310e3c2e49abcc9273728555655ec5f13f3f0e1f7cd1da9ad3a35bd SIZE (cabal/blaze-markup-0.8.2.3/blaze-markup-0.8.2.3.tar.gz) = 14489 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/crackNum-2.3/crackNum-2.3.tar.gz) = 428f25cfa0f7c4c126ee96fb9122966c2b175a194d59c200470a6f689ec038f3 SIZE (cabal/crackNum-2.3/crackNum-2.3.tar.gz) = 14308 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/4.cabal) = 289c821e2b296a2d06208f2e1ed31d772c69d1a67043959c71b711e6b4e26261 SIZE (cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal) = 4354 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/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.19.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a66db9f97da1ce32ec4fffea4b78a0daeb40f SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254 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/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/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/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/primitive-0.7.0.0/primitive-0.7.0.0.tar.gz) = 786a44fea328caf704b762ebc887e9e8476c4378fdf3a06c94e86ef1878d1576 SIZE (cabal/primitive-0.7.0.0/primitive-0.7.0.0.tar.gz) = 66014 SHA256 (cabal/primitive-0.7.0.0/revision/1.cabal) = c45abc68bec080e3f1ab347dd331617d43fded94a473086bf21aeda69a6e20bc SIZE (cabal/primitive-0.7.0.0/revision/1.cabal) = 3552 SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a SIZE (cabal/random-1.1/random-1.1.tar.gz) = 10870 SHA256 (cabal/random-1.1/revision/1.cabal) = 7b67624fd76ddf97c206de0801dc7e888097e9d572974be9b9ea6551d76965df SIZE (cabal/random-1.1/revision/1.cabal) = 1777 SHA256 (cabal/sbv-8.6/sbv-8.6.tar.gz) = ea79a186e3767d4107f3f82e0cc600f60995549988b37388b0ade5fbd06bc307 SIZE (cabal/sbv-8.6/sbv-8.6.tar.gz) = 848766 SHA256 (cabal/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz) = a036be4a4bf58499de3ffabe3ebcc51227700a9a7fd7dd9a2fe81625b87f7c69 SIZE (cabal/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz) = 9302 SHA256 (cabal/simple-smt-0.9.4/revision/1.cabal) = 93746e0c4bade39c9848549103de5b65b169f1faa5b76c7b9bcde2031f31c58f SIZE (cabal/simple-smt-0.9.4/revision/1.cabal) = 775 SHA256 (cabal/splitmix-0.0.3/splitmix-0.0.3.tar.gz) = fce462557f490c6c3d264ca70ef98a2c644ba341a71e6ee9f87ee7f3e7ab0acc SIZE (cabal/splitmix-0.0.3/splitmix-0.0.3.tar.gz) = 13616 SHA256 (cabal/splitmix-0.0.3/revision/1.cabal) = 455de9326ae5bbe5492cbb140fefb04cf988501e25b204dabaf755ab67400d9d SIZE (cabal/splitmix-0.0.3/revision/1.cabal) = 4835 SHA256 (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 2cd35a67938db635a87617d9576d5df0158b581e8e5694f07487c0f4b1549221 SIZE (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 3948 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/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/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.5/transformers-compat-0.6.5.tar.gz) = da67cf11515da751b32a8ce6e96549f7268f7c435769ad19dc9766b69774620b SIZE (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = 40421

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.6 : devel/libffi

There are no ports dependent upon this port

Configuration Options

No options to configure

USES:

cabal

Master Sites:

1. http://hackage.haskell.org/package/cryptol-2.8.0/
2. https://hackage.haskell.org/package/cryptol-2.8.0/

security/hs-cryptol: Remove the unnecessary line

Reported by:	arrowd

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

With help of:	arrowd

9 vulnerabilities affecting 74 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-03-29 21:30:17