diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
tree | 0625f358789b5e015e49db139cc1dbc9be00428f /dev-ml/base_quickcheck | |
parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) |
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-ml/base_quickcheck')
-rw-r--r-- | dev-ml/base_quickcheck/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild | 29 | ||||
-rw-r--r-- | dev-ml/base_quickcheck/metadata.xml | 11 |
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest new file mode 100644 index 000000000000..67b82b50731b --- /dev/null +++ b/dev-ml/base_quickcheck/Manifest @@ -0,0 +1,3 @@ +DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4698034b2cb8afa131b31ee96a6edb5db0f28cfd611c101e4417305ee5a1babc2f869f4690b266218562a8fc50f5830acf SHA512 52333bee2591531665b8f8ad0fac1cdaa607b448d0a33b9b905cf98e00df5a700bf0a4ee3cdf3c06d7fcb2b5190363dd5908cc743b2854af9ce5c8d743e3fd58 +EBUILD base_quickcheck-0.14.0.ebuild 775 BLAKE2B 73d5001999c984087e15f28cc0fbd92d48b33bba7534f9c66307520ce7a6b32e1f594f83c5fd4b0ce5069be215a5e85bba5f365cc2adf32d534dbf68040f1ed7 SHA512 70d1c695ef42f43fafe4ee58771f02f43a5a3973d02dfa05c5344f8449d1ac72918dbbbef00a2501eb0308162863c9927e5956904849dd605cb4752b91f1b34f +MISC metadata.xml 335 BLAKE2B 0203200737ac39ac757d5aad36d71e65e7767bc6d71a48a7df20d516c52de22b0608a2e3771086888dd9cb901cc46085612fc3eb52838668d6faaa1d498cc7a9 SHA512 2fe83a19b40c5547547023bbf8a2852ac5588d9374c7210d0b867196e2384ae6c938f44f613a2a70c5b03ec6cc09c3eb35fa4d671a2ea5fe3bcd96c141a1a8ec diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild new file mode 100644 index 000000000000..f65f7cb4d546 --- /dev/null +++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Randomized testing framework, designed for compatibility with Base " +HOMEPAGE="https://github.com/janestreet/base_quickcheck" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-ml/base-0.14.0:= + >=dev-ml/ppx_base-0.14.0:= + >=dev-ml/ppx_fields_conv-0.14.1:= + >=dev-ml/ppx_let-0.14.0:= + >=dev-ml/ppx_sexp_message-0.14.0:= + >=dev-ml/ppx_sexp_value-0.14.0:= + dev-ml/splittable_random:= + >=dev-ml/ppxlib-0.18.0:= + >=dev-ml/ocaml-migrate-parsetree-2.0.0:= + dev-ml/cinaps:= +" +RDEPEND="${DEPEND}" diff --git a/dev-ml/base_quickcheck/metadata.xml b/dev-ml/base_quickcheck/metadata.xml new file mode 100644 index 000000000000..9859b7303328 --- /dev/null +++ b/dev-ml/base_quickcheck/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/base_quickcheck</remote-id> + </upstream> +</pkgmetadata> |