diff options
author | Amadeusz Żołnowski <aidecoe@gentoo.org> | 2016-08-29 21:53:40 +0100 |
---|---|---|
committer | Amadeusz Żołnowski <aidecoe@gentoo.org> | 2016-08-29 22:19:09 +0100 |
commit | 225a8cdd24fe89a72f7746908568f023c70a45f3 (patch) | |
tree | d81f1ac7bad430ea91961711c0ef41516ed34006 /dev-erlang/proper | |
parent | dev-erlang/iconv: Bump version to 1.0.1 (diff) | |
download | gentoo-225a8cdd24fe89a72f7746908568f023c70a45f3.tar.gz gentoo-225a8cdd24fe89a72f7746908568f023c70a45f3.tar.bz2 gentoo-225a8cdd24fe89a72f7746908568f023c70a45f3.zip |
dev-erlang/proper: Bump version to 1.2
Package-Manager: portage-2.3.0
Diffstat (limited to 'dev-erlang/proper')
-rw-r--r-- | dev-erlang/proper/Manifest | 1 | ||||
-rw-r--r-- | dev-erlang/proper/proper-1.2.ebuild | 25 |
2 files changed, 26 insertions, 0 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest index 12c534063cf3..efcd7d62305b 100644 --- a/dev-erlang/proper/Manifest +++ b/dev-erlang/proper/Manifest @@ -1 +1,2 @@ DIST proper-1.1_p20160426.tar.bz2 268512 SHA256 35a9eba20bd22f9f6231c660d34d07a7bb8532d7fb90e1493d3cd2a9186603d1 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 WHIRLPOOL 5dd22bdaefce6ee32e9a4cf9b04c71a0373c88b5311f9d97bbd69db7c910420f83a843cf304040c04dbd233a248abbbf8c62d386065c9805c8bdcf0a6c2c81f7 +DIST proper-1.2.tar.gz 291892 SHA256 ec5e1087652640dfc33db82e53130b73e4ad9193dafc8662cda0fccf8a7a7f0e SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e WHIRLPOOL 8f8054d1e0768ae8ac7f03a41dabbe0237705d261f47de23ea6bdaaf775131d55ad34fae210d10c9e56868a4eab971db0cda8ef8d961cc82ed032922088bbefc diff --git a/dev-erlang/proper/proper-1.2.ebuild b/dev-erlang/proper/proper-1.2.ebuild new file mode 100644 index 000000000000..8e54ab08af91 --- /dev/null +++ b/dev-erlang/proper/proper-1.2.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=6 + +inherit rebar + +DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang" +HOMEPAGE="https://github.com/manopapad/proper" +SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86" + +DEPEND=">=dev-lang/erlang-17.1" +RDEPEND="${DEPEND}" + +DOCS=( README.md THANKS ) + +src_configure() { + ./configure +} |