diff options
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}" |