Skip to content

Commit

Permalink
dev-ml/base_quickcheck: Dependency of dev-ml/ppx_jane
Browse files Browse the repository at this point in the history
Co-Author: Alexis Ballier <[email protected]>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <[email protected]>
  • Loading branch information
markwright committed Oct 13, 2020
1 parent edc106f commit 7688ec1
Show file tree
Hide file tree
Showing 3 changed files with 41 additions and 0 deletions.
1 change: 1 addition & 0 deletions dev-ml/base_quickcheck/Manifest
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4698034b2cb8afa131b31ee96a6edb5db0f28cfd611c101e4417305ee5a1babc2f869f4690b266218562a8fc50f5830acf SHA512 52333bee2591531665b8f8ad0fac1cdaa607b448d0a33b9b905cf98e00df5a700bf0a4ee3cdf3c06d7fcb2b5190363dd5908cc743b2854af9ce5c8d743e3fd58
29 changes: 29 additions & 0 deletions dev-ml/base_quickcheck/base_quickcheck-0.14.0.ebuild
Original file line number Diff line number Diff line change
@@ -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"
IUSE="+ocamlopt"

DEPEND="
dev-ml/base:=
dev-ml/ppx_base:=
dev-ml/ppx_fields_conv:=
dev-ml/ppx_let:=
dev-ml/ppx_sexp_message:=
dev-ml/ppx_sexp_value:=
dev-ml/splittable_random:=
dev-ml/ppxlib:=
dev-ml/ocaml-migrate-parsetree:=
dev-ml/result:=
"
RDEPEND="${DEPEND}"
11 changes: 11 additions & 0 deletions dev-ml/base_quickcheck/metadata.xml
Original file line number Diff line number Diff line change
@@ -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>[email protected]</email>
<name>Mark Wright</name>
</maintainer>
<upstream>
<remote-id type="github">janestreet/base_quickcheck</remote-id>
</upstream>
</pkgmetadata>

0 comments on commit 7688ec1

Please sign in to comment.