From owner-svn-ports-head@freebsd.org Mon Feb 24 08:32:05 2020 Return-Path: Delivered-To: svn-ports-head@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 8AD74255962; Mon, 24 Feb 2020 08:32:05 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 48QwKK1qw3z4YDT; Mon, 24 Feb 2020 08:32:05 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 250E82270D; Mon, 24 Feb 2020 08:32:05 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id 01O8W5qE035540; Mon, 24 Feb 2020 08:32:05 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id 01O8W4jM035536; Mon, 24 Feb 2020 08:32:04 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <202002240832.01O8W4jM035536@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Mon, 24 Feb 2020 08:32:04 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r526956 - in head/security: . hs-cryptol X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/security: . hs-cryptol X-SVN-Commit-Revision: 526956 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 24 Feb 2020 08:32:05 -0000 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} + +.include 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/