summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-01-25 11:36:44 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-01-25 11:37:19 +0100
commit79d597d2af0875709cbd7623e3d2274973fbaa50 (patch)
tree7d0cb6ab1c6e0ea5d30c8e9376bf4a3de9f411c0 /dev-ml
parentwww-client/vivaldi: Old. (diff)
downloadgentoo-79d597d2af0875709cbd7623e3d2274973fbaa50.tar.gz
gentoo-79d597d2af0875709cbd7623e3d2274973fbaa50.tar.bz2
gentoo-79d597d2af0875709cbd7623e3d2274973fbaa50.zip
dev-ml/qcheck: bump to 0.5.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/qcheck/Manifest1
-rw-r--r--dev-ml/qcheck/qcheck-0.5.3.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 2f1e507de60b..b07b154285e4 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
+DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
diff --git a/dev-ml/qcheck/qcheck-0.5.3.ebuild b/dev-ml/qcheck/qcheck-0.5.3.ebuild
new file mode 100644
index 000000000000..7b32be47c2d7
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.5.3.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck/"
+SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-ml/ounit:=
+ !<dev-ml/iTeML-2.5"
+DEPEND="${RDEPEND}
+ dev-ml/ocamlbuild"