diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-29 02:53:24 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-29 02:53:24 +0000 |
commit | b8ec9071f5d20d8518b02d0077428b2c9f88861b (patch) | |
tree | 6214c0d63a2bd5ae464941924a90f415687fa63c /dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild | |
parent | bdf6e70da7a28f45617c02a251bb6b3844202bc5 (diff) |
gentoo auto-resync : 29:01:2023 - 02:53:24
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}" |