summaryrefslogtreecommitdiff
path: root/dev-erlang/proper
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-09-02 16:16:36 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-09-02 16:16:36 +0100
commite5206efa6e88d32e3819685adee35c49124ccf0e (patch)
treeeb8101c8b97f1aa253537d4ea141dc5bf9c9902b /dev-erlang/proper
parent15bd3dfb22c7ba23dad0823e326dbcb8bb31b892 (diff)
gentoo auto-resync : 02:09:2023 - 16:16:36
Diffstat (limited to 'dev-erlang/proper')
-rw-r--r--dev-erlang/proper/Manifest2
-rw-r--r--dev-erlang/proper/proper-1.2.ebuild24
2 files changed, 0 insertions, 26 deletions
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index 8aa04de2d174..0d0da528cb05 100644
--- a/dev-erlang/proper/Manifest
+++ b/dev-erlang/proper/Manifest
@@ -1,5 +1,3 @@
-DIST proper-1.2.tar.gz 291892 BLAKE2B 6c69f449c8794c1a957c78e7c478385bb4590f13752856c8695fadcad5f25943da8939d028b21e8615042fccda20561479e1906e4e1c701c281d29123000bd65 SHA512 07030eaf63d7e28d5df168ab6b49bf1ad1850b962453079f8421ce4b682caa0e6bf166a71e7abebff3d61c3ada7da86fe3b6ffee3a8ddadb9686e75733cbf75e
DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf
-EBUILD proper-1.2.ebuild 517 BLAKE2B 76618a1cea25946ea2e1277d78c9133112142a7fd43b6483ff54b78a07e5379ef61a365bc8018b2cfeae746c5a0ffc02dd44a1d8609aec6a91fe0ba7130668de SHA512 d59107ab2f28890e4b9864fab694127ec88b83136bec0d6028bc07918610c9c5eaadacaf8d3de8675005f3d5ede0f2c6c7d29a8f19e42121ecd2565d011faea2
EBUILD proper-1.3.ebuild 574 BLAKE2B 8b34b68fa95b56d36ff41ca5128a1fbf1e660bfc77feade87c194ae8e2ea241357ff427c7edad69df647d47fd6c70a246f6092d5ddf2826a19eedbc1a6026586 SHA512 4f9a9ab6f2fe058b5bef17c8c0499a300d17012c125a20921a3f0d5421cbf2d8f2b50c0dbf9ff86505878da3b6d76cf9c21b7655df863e84241a388451a5b946
MISC metadata.xml 302 BLAKE2B a27e2890ef314bf8c424392e6b3c2713651e582add10fd92becb8faf80ff147b9dd80024563121e12925404df3861596761e11ca1be8b99b4ae82e4c3f2c5bcf SHA512 cb80d065b83e0c3f9061f1b1d8ddc4b59d627941c035ff6ac562b2f11f7e26845f89bfabd6e6a313896ffd05a9b7208fd1e8d74c885e5cbb09f1ec29f3c3db08
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
-}