diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-28 21:53:53 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-28 22:22:27 +0100 |
| commit | 76fc2255e50c24b5320a70e1752a18b66c4a63f9 (patch) | |
| tree | caf8bf9cf88e7febad068fa14e588a06933868b5 /dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild | |
| parent | dev-ml/ppx_expect: adj deps (diff) | |
| download | gentoo-76fc2255e50c24b5320a70e1752a18b66c4a63f9.tar.gz gentoo-76fc2255e50c24b5320a70e1752a18b66c4a63f9.tar.bz2 gentoo-76fc2255e50c24b5320a70e1752a18b66c4a63f9.zip | |
dev-ml/base_quickcheck: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild')
| -rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild deleted file mode 100644 index 916057e1d07d..000000000000 --- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2022 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-ml/ppx_base:${SLOT} - dev-ml/ppx_fields_conv:${SLOT} - dev-ml/ppx_let:${SLOT} - dev-ml/ppx_sexp_value:${SLOT} - dev-ml/splittable_random:${SLOT} -" -RDEPEND="${DEPEND}" |