diff options
Diffstat (limited to 'dev-erlang/proper')
| -rw-r--r-- | dev-erlang/proper/Manifest | 1 | ||||
| -rw-r--r-- | dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest index 0bda8a7d12ba..465cb1bd1882 100644 --- a/dev-erlang/proper/Manifest +++ b/dev-erlang/proper/Manifest @@ -1,2 +1 @@ -DIST proper-1.1_p20160426.tar.bz2 268512 BLAKE2B 0fbbbc91b6c9c88247525ef7d7d26a7fe48d198aae1050df7b8b78a79aeb04b5fddb13af38369284ab3ea0b74d9c392325a80be50098c2d00d43efee1f43d865 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 DIST proper-1.2.tar.gz 291892 BLAKE2B 6c69f449c8794c1a957c78e7c478385bb4590f13752856c8695fadcad5f25943da8939d028b21e8615042fccda20561479e1906e4e1c701c281d29123000bd65 SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild deleted file mode 100644 index 5d57035d02f8..000000000000 --- a/dev-erlang/proper/proper-1.1_p20160426.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2016 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit rebar - -DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang" -HOMEPAGE="https://github.com/manopapad/proper" -SRC_URI="https://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz2" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86" - -DEPEND=">=dev-lang/erlang-17.1 - <dev-lang/erlang-19" -RDEPEND="${DEPEND}" - -DOCS=( README.md THANKS ) - -src_configure() { - ./configure -} |