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

With help of:	arrowd

4 files changed, 139 insertions, 0 deletions

diff --git a/security/Makefile b/security/Makefile
index 3ea6715916a2..5f3553499728 100644
--- a/security/Makefile
+++ b/security/Makefile
@@ -217,6 +217,7 @@
     SUBDIR += horcrux
     SUBDIR += hotssh
     SUBDIR += hpenc
+    SUBDIR += hs-cryptol
     SUBDIR += hydra
     SUBDIR += i2p
     SUBDIR += i2pd
diff --git a/security/hs-cryptol/Makefile b/security/hs-cryptol/Makefile
new file mode 100644
index 000000000000..d9d6e7a23f6b
--- /dev/null
+++ b/security/hs-cryptol/Makefile
@@ -0,0 +1,52 @@
+# $FreeBSD$
+
+PORTNAME=	cryptol
+DISTVERSION=	2.8.0
+CATEGORIES=	security lang haskell
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Language of cryptography
+
+LICENSE=	BSD3CLAUSE
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+USES=		cabal
+
+USE_CABAL=	\
+		FloatingHex-0.4 \
+		GraphSCC-1.0.4 \
+		QuickCheck-2.13.2 \
+		alex-3.2.5 \
+		ansi-terminal-0.10.3 \
+		async-2.2.2 \
+		base-compat-0.10.5 \
+		base-orphans-0.8.2 \
+		blaze-builder-0.4.1.0 \
+		blaze-html-0.9.1.2 \
+		blaze-markup-0.8.2.3 \
+		colour-2.3.5 \
+		crackNum-2.3 \
+		cryptohash-sha1-0.11.100.1_4 \
+		generic-deriving-1.13.1 \
+		gitrev-1.3.1 \
+		happy-1.19.12 \
+		hashable-1.3.0.0 \
+		heredoc-0.2.0.0 \
+		monad-control-1.0.2.3 \
+		monadLib-3.10_1 \
+		panic-0.4.0.1 \
+		primitive-0.7.0.0_1 \
+		random-1.1_1 \
+		sbv-8.6 \
+		simple-smt-0.9.4_1 \
+		splitmix-0.0.3_1 \
+		strict-0.3.2 \
+		syb-0.7.1 \
+		tf-random-0.5 \
+		th-abstraction-0.3.2.0 \
+		transformers-base-0.4.5.2 \
+		transformers-compat-0.6.5
+
+EXECUTABLES=	${PORTNAME}
+
+.include <bsd.port.mk>
diff --git a/security/hs-cryptol/distinfo b/security/hs-cryptol/distinfo
new file mode 100644
index 000000000000..bdb623c478ef
--- /dev/null
+++ b/security/hs-cryptol/distinfo
@@ -0,0 +1,81 @@
+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
diff --git a/security/hs-cryptol/pkg-descr b/security/hs-cryptol/pkg-descr
new file mode 100644
index 000000000000..463213361e51
--- /dev/null
+++ b/security/hs-cryptol/pkg-descr
@@ -0,0 +1,5 @@
+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/