diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-07-01 22:06:19 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-01 22:12:08 +0200 |
| commit | ae01f1519853a3ff05c0a56782ec7f972e1bc35f (patch) | |
| tree | a4a10a425e742844a618203df69f6bc2bba59429 /dev-ml | |
| parent | dev-ml/ppx_fields_conv: add 0.16.0 (diff) | |
| download | gentoo-ae01f1519853a3ff05c0a56782ec7f972e1bc35f.tar.gz gentoo-ae01f1519853a3ff05c0a56782ec7f972e1bc35f.tar.bz2 gentoo-ae01f1519853a3ff05c0a56782ec7f972e1bc35f.zip | |
dev-ml/base_quickcheck: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/base_quickcheck/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild | 36 |
2 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest index 1eded4aea16b..fc38fa1c0eb6 100644 --- a/dev-ml/base_quickcheck/Manifest +++ b/dev-ml/base_quickcheck/Manifest @@ -1,3 +1,4 @@ DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4698034b2cb8afa131b31ee96a6edb5db0f28cfd611c101e4417305ee5a1babc2f869f4690b266218562a8fc50f5830acf SHA512 52333bee2591531665b8f8ad0fac1cdaa607b448d0a33b9b905cf98e00df5a700bf0a4ee3cdf3c06d7fcb2b5190363dd5908cc743b2854af9ce5c8d743e3fd58 DIST base_quickcheck-0.14.1.tar.gz 66827 BLAKE2B 2a274fc0edab3daf7e3d671f7ea24912ecf273cf2b4cb4ab2bd74171a8848163526f97ed860b44aeaa9f3f3faabb22f4598bf604b33c8401733faa22ca7a3c93 SHA512 5d5a3a070a6903ffdd1e13754721d48a9df164f78bd569d3a18b3fd808354550e4603b76d5e48eaa6a4c4d3433f18bb29888478d640fde9ea004619448c3d7d0 DIST base_quickcheck-0.15.0.tar.gz 73702 BLAKE2B 0f671b6e48d38ac92b8e5150c1b6f7c4a1326cf12fcf3c14edf7ef376ca1769f8d708755a3b6cfc69a4d74de8d84affbc14838fc9385f487f2053936f1f116fa SHA512 e5362d70469c085239efaabbca6ca2558cb1609dfd2c3715d5c31047c8ae34b8304b9d28636806305f226929b0f9e3518b409de08f42f389963378f2aee6b351 +DIST base_quickcheck-0.16.0.tar.gz 76738 BLAKE2B b54fac86332bfe06b767345898c2e1a7a6f70de26cb06d16467d634eee3117d7ab571f611d17f692776c519dfa4ab7de9c948b08e44016e1e05fdff565a16246 SHA512 c859f2982140ec72b3377e3f167117df43f8cb14b62d3949e92ecf479cb27b4c31bb2dfa9111da24ce42f969452582ba076aef868d304b97c08f2918759cc291 diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild new file mode 100644 index 000000000000..a867793e810b --- /dev/null +++ b/dev-ml/base_quickcheck/base_quickcheck-0.16.0.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + dev-ml/fieldslib:= + dev-ml/ppx_base:${SLOT} + dev-ml/ppx_compare:= + dev-ml/ppx_cold:= + dev-ml/ppx_enumerate:= + dev-ml/ppx_fields_conv:${SLOT} + dev-ml/ppx_globalize:= + dev-ml/ppx_let:${SLOT} + dev-ml/ppx_hash:= + dev-ml/ppx_here:= + dev-ml/ppx_sexp_conv:= + dev-ml/ppx_sexp_message:${SLOT} + dev-ml/ppx_sexp_value:${SLOT} + dev-ml/splittable_random:${SLOT} + >=dev-ml/ppxlib-0.28.0:= +" +RDEPEND="${DEPEND}" |