diff options
| -rw-r--r-- | dev-erlang/proper/Manifest | 1 | ||||
| -rw-r--r-- | dev-erlang/proper/proper-1.2.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest index 27907355907f..922312277f4b 100644 --- a/dev-erlang/proper/Manifest +++ b/dev-erlang/proper/Manifest @@ -1,2 +1 @@ -DIST proper-1.2.tar.gz 291892 BLAKE2B 6c69f449c8794c1a957c78e7c478385bb4590f13752856c8695fadcad5f25943da8939d028b21e8615042fccda20561479e1906e4e1c701c281d29123000bd65 SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf diff --git a/dev-erlang/proper/proper-1.2.ebuild b/dev-erlang/proper/proper-1.2.ebuild deleted file mode 100644 index 6e489aec399a..000000000000 --- a/dev-erlang/proper/proper-1.2.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# 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://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 -} |