Date: Mon, 24 Feb 2020 12:37:18 +0400 From: Gleb Popov <arrowd@freebsd.org> To: Yuri Victorovich <yuri@freebsd.org> Cc: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: Re: svn commit: r526956 - in head/security: . hs-cryptol Message-ID: <CALH631k6ZXkR8b=8V7em43iH27kkvH99Qi9J71Px2jUVSijgTA@mail.gmail.com> In-Reply-To: <202002240832.01O8W4jM035536@repo.freebsd.org> References: <202002240832.01O8W4jM035536@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, Feb 24, 2020 at 12:32 PM Yuri Victorovich <yuri@freebsd.org> wrote: > Author: yuri > Date: Mon Feb 24 08:32:04 2020 > New Revision: 526956 > URL: https://svnweb.freebsd.org/changeset/ports/526956 > > Log: > New port: security/hs-cryptol: Language of cryptography > > With help of: arrowd > > Added: > head/security/hs-cryptol/ > head/security/hs-cryptol/Makefile (contents, props changed) > head/security/hs-cryptol/distinfo (contents, props changed) > head/security/hs-cryptol/pkg-descr (contents, props changed) > Modified: > head/security/Makefile > > Modified: head/security/Makefile > > ============================================================================== > --- head/security/Makefile Mon Feb 24 07:16:24 2020 (r526955) > +++ head/security/Makefile Mon Feb 24 08:32:04 2020 (r526956) > @@ -217,6 +217,7 @@ > SUBDIR += horcrux > SUBDIR += hotssh > SUBDIR += hpenc > + SUBDIR += hs-cryptol > SUBDIR += hydra > SUBDIR += i2p > SUBDIR += i2pd > > Added: head/security/hs-cryptol/Makefile > > ============================================================================== > --- /dev/null 00:00:00 1970 (empty, because file is newly added) > +++ head/security/hs-cryptol/Makefile Mon Feb 24 08:32:04 2020 > (r526956) > @@ -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} > This should be set automatically by Uses/cabal.mk. Doesn't it work without it? + > +.include <bsd.port.mk> > > Added: head/security/hs-cryptol/distinfo > > ============================================================================== > --- /dev/null 00:00:00 1970 (empty, because file is newly added) > +++ head/security/hs-cryptol/distinfo Mon Feb 24 08:32:04 2020 > (r526956) > @@ -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 > > Added: head/security/hs-cryptol/pkg-descr > > ============================================================================== > --- /dev/null 00:00:00 1970 (empty, because file is newly added) > +++ head/security/hs-cryptol/pkg-descr Mon Feb 24 08:32:04 2020 > (r526956) > @@ -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/ >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALH631k6ZXkR8b=8V7em43iH27kkvH99Qi9J71Px2jUVSijgTA>