* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2016-06-07 22:24 Amadeusz Piotr Żołnowski
0 siblings, 0 replies; 21+ messages in thread
From: Amadeusz Piotr Żołnowski @ 2016-06-07 22:24 UTC (permalink / raw
To: gentoo-commits
commit: c59b6e101f625130fde29adbdd83775417ce788c
Author: Amadeusz Żołnowski <aidecoe <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 6 22:18:27 2016 +0000
Commit: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org>
CommitDate: Tue Jun 7 22:20:44 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c59b6e10
dev-erlang/proper: Add new package
It is debundled from net-im/ejabberd-16.04 and therefore inherits
keywords from ejabberd: ~amd64, ~arm, ~ppc and ~x86. ~ia64 and ~sparc
are not inherited because other dependency is missing these keywords and
there's no chance it can get them any time soon.
Package-Manager: portage-2.3.0_rc1
dev-erlang/proper/Manifest | 1 +
dev-erlang/proper/metadata.xml | 8 ++++++++
dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 ++++++++++++++++++++++++
3 files changed, 33 insertions(+)
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
new file mode 100644
index 0000000..12c5340
--- /dev/null
+++ b/dev-erlang/proper/Manifest
@@ -0,0 +1 @@
+DIST proper-1.1_p20160426.tar.bz2 268512 SHA256 35a9eba20bd22f9f6231c660d34d07a7bb8532d7fb90e1493d3cd2a9186603d1 SHA512 da9d5bfec99df620d1813a4690235b3862eaaca2c360303dabb27a6cf828046e46ee2adbb1941b2b5330621e30808fb269995e0b1dec0d29cf96f07f32fd1da7 WHIRLPOOL 5dd22bdaefce6ee32e9a4cf9b04c71a0373c88b5311f9d97bbd69db7c910420f83a843cf304040c04dbd233a248abbbf8c62d386065c9805c8bdcf0a6c2c81f7
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
new file mode 100644
index 0000000..674f5ad
--- /dev/null
+++ b/dev-erlang/proper/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>aidecoe@gentoo.org</email>
+ <name>Amadeusz Żołnowski</name>
+ </maintainer>
+</pkgmetadata>
diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild
new file mode 100644
index 0000000..eb5b6c7
--- /dev/null
+++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild
@@ -0,0 +1,24 @@
+# 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://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz2"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~ppc ~x86"
+
+DEPEND=">=dev-lang/erlang-17.1"
+RDEPEND="${DEPEND}"
+
+DOCS=( README.md THANKS )
+
+src_configure() {
+ ./configure
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2016-07-09 14:29 Amadeusz Piotr Żołnowski
0 siblings, 0 replies; 21+ messages in thread
From: Amadeusz Piotr Żołnowski @ 2016-07-09 14:29 UTC (permalink / raw
To: gentoo-commits
commit: eadc3af9d0b98262248b625a4d66c367e4d0a466
Author: Amadeusz Żołnowski <aidecoe <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 9 14:17:22 2016 +0000
Commit: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org>
CommitDate: Sat Jul 9 14:28:54 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eadc3af9
dev-erlang/proper: Restrict Erlang version to <19
It doesn't build with >=dev-lang/erlang-19.0.
Package-Manager: portage-2.3.0
dev-erlang/proper/proper-1.1_p20160426.ebuild | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild
index 4389811..314c0c4 100644
--- a/dev-erlang/proper/proper-1.1_p20160426.ebuild
+++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild
@@ -14,7 +14,8 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
-DEPEND=">=dev-lang/erlang-17.1"
+DEPEND=">=dev-lang/erlang-17.1
+ <dev-lang/erlang-19"
RDEPEND="${DEPEND}"
DOCS=( README.md THANKS )
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2016-08-20 3:11 Matthias Maier
0 siblings, 0 replies; 21+ messages in thread
From: Matthias Maier @ 2016-08-20 3:11 UTC (permalink / raw
To: gentoo-commits
commit: 107e1eefa065021a407125230799d49d9d55e8cd
Author: Matthias Maier <tamiko <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 20 02:29:33 2016 +0000
Commit: Matthias Maier <tamiko <AT> gentoo <DOT> org>
CommitDate: Sat Aug 20 03:10:42 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=107e1eef
dev-erlang/proper: stabilize 1.1_p20160426 on amd64/x86, bug #587908
Package-Manager: portage-2.2.28
dev-erlang/proper/proper-1.1_p20160426.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild
index 314c0c4..201a4c5 100644
--- a/dev-erlang/proper/proper-1.1_p20160426.ebuild
+++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~ia64 ~ppc ~sparc x86"
DEPEND=">=dev-lang/erlang-17.1
<dev-lang/erlang-19"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2016-08-20 20:09 Anthony G. Basile
0 siblings, 0 replies; 21+ messages in thread
From: Anthony G. Basile @ 2016-08-20 20:09 UTC (permalink / raw
To: gentoo-commits
commit: 5fbee055ca32d5f822fc448f7fd84f54ca353b5f
Author: Anthony G. Basile <blueness <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 20 20:09:29 2016 +0000
Commit: Anthony G. Basile <blueness <AT> gentoo <DOT> org>
CommitDate: Sat Aug 20 20:09:29 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5fbee055
dev-erlang/proper: stabilize 1.1_p20160426 on ppc, bug #587908
Package-Manager: portage-2.2.28
dev-erlang/proper/proper-1.1_p20160426.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.1_p20160426.ebuild b/dev-erlang/proper/proper-1.1_p20160426.ebuild
index 201a4c5..41a1b99 100644
--- a/dev-erlang/proper/proper-1.1_p20160426.ebuild
+++ b/dev-erlang/proper/proper-1.1_p20160426.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://dev.gentoo.org/~aidecoe/distfiles/${CATEGORY}/${PN}/${P}.tar.bz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="amd64 ~arm ~ia64 ~ppc ~sparc x86"
+KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86"
DEPEND=">=dev-lang/erlang-17.1
<dev-lang/erlang-19"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2018-03-28 19:01 Pacho Ramos
0 siblings, 0 replies; 21+ messages in thread
From: Pacho Ramos @ 2018-03-28 19:01 UTC (permalink / raw
To: gentoo-commits
commit: 5b35d91e8cbdcf13693f90ad0b5fa1addcb97ad9
Author: Pacho Ramos <pacho <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 28 18:55:02 2018 +0000
Commit: Pacho Ramos <pacho <AT> gentoo <DOT> org>
CommitDate: Wed Mar 28 19:01:11 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b35d91e
dev-erlang/proper: Drop old, to allow removal of vulnerable erlang
Package-Manager: Portage-2.3.26, Repoman-2.3.7
dev-erlang/proper/Manifest | 1 -
dev-erlang/proper/proper-1.1_p20160426.ebuild | 24 ------------------------
2 files changed, 25 deletions(-)
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index 0bda8a7d12b..465cb1bd188 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 5d57035d02f..00000000000
--- 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
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2018-10-24 21:54 Amadeusz Piotr Żołnowski
0 siblings, 0 replies; 21+ messages in thread
From: Amadeusz Piotr Żołnowski @ 2018-10-24 21:54 UTC (permalink / raw
To: gentoo-commits
commit: 0da03feb048c0aafd52f92cb8fdcc422ad622d1e
Author: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 20 20:32:14 2018 +0000
Commit: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo <DOT> org>
CommitDate: Wed Oct 24 21:53:54 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0da03feb
dev-erlang/proper: Bump version
Bug: https://bugs.gentoo.org/626260
Signed-off-by: Amadeusz Piotr Żołnowski <aidecoe <AT> gentoo.org>
dev-erlang/proper/Manifest | 1 +
dev-erlang/proper/proper-1.3.ebuild | 24 ++++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index 465cb1bd188..27907355907 100644
--- a/dev-erlang/proper/Manifest
+++ b/dev-erlang/proper/Manifest
@@ -1 +1,2 @@
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.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
new file mode 100644
index 00000000000..d7a31858226
--- /dev/null
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2018 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://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
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-09-13 6:36 Agostino Sarubbo
0 siblings, 0 replies; 21+ messages in thread
From: Agostino Sarubbo @ 2019-09-13 6:36 UTC (permalink / raw
To: gentoo-commits
commit: 413821c999451423af37300681a821fb973e0e2f
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 13 06:36:37 2019 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Fri Sep 13 06:36:37 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=413821c9
dev-erlang/proper: amd64 stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-erlang/proper/proper-1.3.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index d7a31858226..ed3aea0cdfc 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
DEPEND=">=dev-lang/erlang-17.1"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-09-13 12:01 Agostino Sarubbo
0 siblings, 0 replies; 21+ messages in thread
From: Agostino Sarubbo @ 2019-09-13 12:01 UTC (permalink / raw
To: gentoo-commits
commit: 1edba439375545e9eae7024e7c9b706bdf146c75
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 13 12:01:01 2019 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Fri Sep 13 12:01:01 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1edba439
dev-erlang/proper: ppc stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-erlang/proper/proper-1.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index ed3aea0cdfc..18f03d69b5e 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="amd64 ~arm ~ia64 ~ppc ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc ~x86"
DEPEND=">=dev-lang/erlang-17.1"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-09-13 12:26 Agostino Sarubbo
0 siblings, 0 replies; 21+ messages in thread
From: Agostino Sarubbo @ 2019-09-13 12:26 UTC (permalink / raw
To: gentoo-commits
commit: 7df503ec2e9e5bc914ceb011e5c865cb036dfe29
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 13 12:26:01 2019 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Fri Sep 13 12:26:01 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7df503ec
dev-erlang/proper: x86 stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-erlang/proper/proper-1.3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index 18f03d69b5e..050bf653bc0 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86"
DEPEND=">=dev-lang/erlang-17.1"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-11-03 14:07 Hanno Boeck
0 siblings, 0 replies; 21+ messages in thread
From: Hanno Boeck @ 2019-11-03 14:07 UTC (permalink / raw
To: gentoo-commits
commit: 7c12df38b4bd41440fa0d05adba75a1c714a3cde
Author: Hanno Böck <hanno <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 3 14:07:12 2019 +0000
Commit: Hanno Boeck <hanno <AT> gentoo <DOT> org>
CommitDate: Sun Nov 3 14:07:12 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c12df38
dev-erlang/proper: Assign to ejabberd project
Signed-off-by: Hanno Böck <hanno <AT> gentoo.org>
Package-Manager: Portage-2.3.78, Repoman-2.3.17
dev-erlang/proper/metadata.xml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
index 5251aee6131..78dcc547afb 100644
--- a/dev-erlang/proper/metadata.xml
+++ b/dev-erlang/proper/metadata.xml
@@ -1,7 +1,9 @@
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>ejabberd@gentoo.org</email>
+ </maintainer>
<upstream>
<remote-id type="github">manopapad/proper</remote-id>
</upstream>
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-12-07 13:47 Sergei Trofimovich
0 siblings, 0 replies; 21+ messages in thread
From: Sergei Trofimovich @ 2019-12-07 13:47 UTC (permalink / raw
To: gentoo-commits
commit: defb6d0c0a0cfafe6deb9059302254197961b9ed
Author: Petr Vaněk <arkamar <AT> atlas <DOT> cz>
AuthorDate: Thu Nov 28 13:16:24 2019 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sat Dec 7 13:46:50 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=defb6d0c
dev-erlang/proper: subscribe to dev-lang/erlang subslot
Bug: https://bugs.gentoo.org/661080
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Petr Vaněk <arkamar <AT> atlas.cz>
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
dev-erlang/proper/proper-1.2.ebuild | 4 ++--
dev-erlang/proper/proper-1.3.ebuild | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-erlang/proper/proper-1.2.ebuild b/dev-erlang/proper/proper-1.2.ebuild
index 32dd1572bac..6e489aec399 100644
--- a/dev-erlang/proper/proper-1.2.ebuild
+++ b/dev-erlang/proper/proper-1.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -14,7 +14,7 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86"
-DEPEND=">=dev-lang/erlang-17.1"
+DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
DOCS=( README.md THANKS )
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index 050bf653bc0..6e489aec399 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -14,7 +14,7 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="amd64 ~arm ~ia64 ppc ~sparc x86"
-DEPEND=">=dev-lang/erlang-17.1"
+DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
DOCS=( README.md THANKS )
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2019-12-16 11:33 Hanno Böck
0 siblings, 0 replies; 21+ messages in thread
From: Hanno Böck @ 2019-12-16 11:33 UTC (permalink / raw
To: gentoo-commits
commit: a4eb1c123f04b89d24264416ee2df47978d92f1d
Author: Hanno Böck <hanno <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 16 11:32:34 2019 +0000
Commit: Hanno Böck <hanno <AT> gentoo <DOT> org>
CommitDate: Mon Dec 16 11:32:34 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a4eb1c12
dev-erlang/proper: Fix metadata
Maintainer type was person, not project.
Signed-off-by: Hanno Böck <hanno <AT> gentoo.org>
Package-Manager: Portage-2.3.81, Repoman-2.3.20
dev-erlang/proper/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
index 78dcc547afb..0ad5806f691 100644
--- a/dev-erlang/proper/metadata.xml
+++ b/dev-erlang/proper/metadata.xml
@@ -1,7 +1,7 @@
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
+ <maintainer type="project">
<email>ejabberd@gentoo.org</email>
</maintainer>
<upstream>
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2020-07-01 12:08 Hanno Böck
0 siblings, 0 replies; 21+ messages in thread
From: Hanno Böck @ 2020-07-01 12:08 UTC (permalink / raw
To: gentoo-commits
commit: 792a1b81e0868a0fc2f23b68ad89e9a7dbe4667d
Author: Hanno Böck <hanno <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 1 12:08:48 2020 +0000
Commit: Hanno Böck <hanno <AT> gentoo <DOT> org>
CommitDate: Wed Jul 1 12:08:48 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=792a1b81
dev-erlang/proper: Disable tests
Broken upstream with latest erlang.
Closes: https://bugs.gentoo.org/720472
Signed-off-by: Hanno Böck <hanno <AT> gentoo.org>
Package-Manager: Portage-2.3.103, Repoman-2.3.23
dev-erlang/proper/proper-1.3.ebuild | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index 6e489aec399..3886a00191c 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -19,6 +19,9 @@ RDEPEND="${DEPEND}"
DOCS=( README.md THANKS )
+# tests broken with current erlang 23.x
+RESTRICT="test"
+
src_configure() {
./configure
}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2023-09-02 11:42 Andreas Sturmlechner
0 siblings, 0 replies; 21+ messages in thread
From: Andreas Sturmlechner @ 2023-09-02 11:42 UTC (permalink / raw
To: gentoo-commits
commit: b5be657e5d062e21b0fb361679cfdbe01194f766
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 26 15:18:18 2023 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Sat Sep 2 11:41:32 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b5be657e
dev-erlang/proper: drop 1.2
Signed-off-by: Andreas Sturmlechner <asturm <AT> gentoo.org>
dev-erlang/proper/Manifest | 1 -
dev-erlang/proper/proper-1.2.ebuild | 24 ------------------------
2 files changed, 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
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-05-25 12:00 Florian Schmaus
0 siblings, 0 replies; 21+ messages in thread
From: Florian Schmaus @ 2024-05-25 12:00 UTC (permalink / raw
To: gentoo-commits
commit: 9bc4ba3de76ce794e8ad3a009c9a3b02903f3702
Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Thu May 23 16:44:15 2024 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Sat May 25 11:59:41 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9bc4ba3d
dev-erlang/proper: fix remote-id
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/36791
Signed-off-by: Florian Schmaus <flow <AT> gentoo.org>
dev-erlang/proper/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/metadata.xml b/dev-erlang/proper/metadata.xml
index ddf9e4d83e80..153b83328f35 100644
--- a/dev-erlang/proper/metadata.xml
+++ b/dev-erlang/proper/metadata.xml
@@ -5,6 +5,6 @@
<email>ejabberd@gentoo.org</email>
</maintainer>
<upstream>
- <remote-id type="github">manopapad/proper</remote-id>
+ <remote-id type="github">proper-testing/proper</remote-id>
</upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-05-25 12:00 Florian Schmaus
0 siblings, 0 replies; 21+ messages in thread
From: Florian Schmaus @ 2024-05-25 12:00 UTC (permalink / raw
To: gentoo-commits
commit: 79b0fa647de9b32fd6aae74c6176d63fe0aeb6ae
Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Thu May 23 16:43:50 2024 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Sat May 25 11:59:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79b0fa64
dev-erlang/proper: add 1.4
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Bug: https://bugs.gentoo.org/913526
Signed-off-by: Florian Schmaus <flow <AT> gentoo.org>
dev-erlang/proper/Manifest | 1 +
dev-erlang/proper/proper-1.4.ebuild | 25 +++++++++++++++++++++++++
2 files changed, 26 insertions(+)
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index 922312277f4b..fde239c308a3 100644
--- a/dev-erlang/proper/Manifest
+++ b/dev-erlang/proper/Manifest
@@ -1 +1,2 @@
DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf
+DIST proper-1.4.tar.gz 222152 BLAKE2B 19b76ea1fab49a2cdfb5adec43bd4a04251ada2cf7321687bc06fa149ee72c476890d88a246fd3d4583f25a1c8f4f279d6648f82aa2527ffefb8458ede9dbd13 SHA512 88367b81d500319c1f2e196b8d267d466c5dbc4aee18afcd47c0e30caabef4544390a840cb851c8a5ac411774c8a9dd065c46c5b788b707db52a0f94e673ba48
diff --git a/dev-erlang/proper/proper-1.4.ebuild b/dev-erlang/proper/proper-1.4.ebuild
new file mode 100644
index 000000000000..06e9a88b015e
--- /dev/null
+++ b/dev-erlang/proper/proper-1.4.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit rebar
+
+DESCRIPTION="QuickCheck-inspired property-based testing tool for Erlang"
+HOMEPAGE="https://github.com/proper-testing/proper"
+SRC_URI="https://github.com/proper-testing/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}"
+
+# tests broken with current erlang 23.x
+RESTRICT="test"
+
+src_configure() {
+ ./configure
+}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-05-25 12:00 Florian Schmaus
0 siblings, 0 replies; 21+ messages in thread
From: Florian Schmaus @ 2024-05-25 12:00 UTC (permalink / raw
To: gentoo-commits
commit: fe85c0b7d36e78c33e6ab2587512b2fe1a4ed520
Author: Florian Schmaus <flow <AT> gentoo <DOT> org>
AuthorDate: Sat May 25 11:59:21 2024 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Sat May 25 11:59:41 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe85c0b7
dev-erlang/proper: drop src_configure
Signed-off-by: Florian Schmaus <flow <AT> gentoo.org>
dev-erlang/proper/proper-1.4.ebuild | 4 ----
1 file changed, 4 deletions(-)
diff --git a/dev-erlang/proper/proper-1.4.ebuild b/dev-erlang/proper/proper-1.4.ebuild
index 06e9a88b015e..60726fb9b096 100644
--- a/dev-erlang/proper/proper-1.4.ebuild
+++ b/dev-erlang/proper/proper-1.4.ebuild
@@ -19,7 +19,3 @@ RDEPEND="${DEPEND}"
# tests broken with current erlang 23.x
RESTRICT="test"
-
-src_configure() {
- ./configure
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-06-10 20:05 Arthur Zamarin
0 siblings, 0 replies; 21+ messages in thread
From: Arthur Zamarin @ 2024-06-10 20:05 UTC (permalink / raw
To: gentoo-commits
commit: dbb7f546070e8a48dfdc681660825d69d3a1318b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 10 20:00:49 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Jun 10 20:05:10 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dbb7f546
dev-erlang/proper: dekeyword ia64
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-erlang/proper/proper-1.3.ebuild | 2 +-
dev-erlang/proper/proper-1.4.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
index f6845468ccab..48f613c38490 100644
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ b/dev-erlang/proper/proper-1.3.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/manopapad/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="amd64 ~arm ~ia64 ~sparc x86"
+KEYWORDS="amd64 ~arm ~sparc x86"
DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
diff --git a/dev-erlang/proper/proper-1.4.ebuild b/dev-erlang/proper/proper-1.4.ebuild
index f85c8d46b891..5c50e49962c8 100644
--- a/dev-erlang/proper/proper-1.4.ebuild
+++ b/dev-erlang/proper/proper-1.4.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/proper-testing/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3+"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~ia64 ~sparc ~x86"
+KEYWORDS="~amd64 ~arm ~sparc ~x86"
DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-06-10 20:25 Arthur Zamarin
0 siblings, 0 replies; 21+ messages in thread
From: Arthur Zamarin @ 2024-06-10 20:25 UTC (permalink / raw
To: gentoo-commits
commit: 485919183d30d0f6112b7729b85b09c367f8f3b9
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 10 20:25:37 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Jun 10 20:25:37 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48591918
dev-erlang/proper: Stabilize 1.4 amd64, #934023
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-erlang/proper/proper-1.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.4.ebuild b/dev-erlang/proper/proper-1.4.ebuild
index 5c50e49962c8..7ad21a4c9b36 100644
--- a/dev-erlang/proper/proper-1.4.ebuild
+++ b/dev-erlang/proper/proper-1.4.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/proper-testing/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3+"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~sparc ~x86"
DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-06-11 5:26 Arthur Zamarin
0 siblings, 0 replies; 21+ messages in thread
From: Arthur Zamarin @ 2024-06-11 5:26 UTC (permalink / raw
To: gentoo-commits
commit: 4e18eeb06d5624e174d1d2c3524eb513c2a23b38
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 11 05:26:49 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue Jun 11 05:26:49 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4e18eeb0
dev-erlang/proper: Stabilize 1.4 x86, #934023
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-erlang/proper/proper-1.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-erlang/proper/proper-1.4.ebuild b/dev-erlang/proper/proper-1.4.ebuild
index 7ad21a4c9b36..620b0dfd9f8a 100644
--- a/dev-erlang/proper/proper-1.4.ebuild
+++ b/dev-erlang/proper/proper-1.4.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/proper-testing/proper/archive/v${PV}.tar.gz
LICENSE="GPL-3+"
SLOT="0"
-KEYWORDS="amd64 ~arm ~sparc ~x86"
+KEYWORDS="amd64 ~arm ~sparc x86"
DEPEND=">=dev-lang/erlang-17.1:="
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 21+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
@ 2024-06-11 6:01 Arthur Zamarin
0 siblings, 0 replies; 21+ messages in thread
From: Arthur Zamarin @ 2024-06-11 6:01 UTC (permalink / raw
To: gentoo-commits
commit: ddd7800f057efcb1bec7ef2d26b68137354127aa
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 11 05:59:54 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Tue Jun 11 06:01:01 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddd7800f
dev-erlang/proper: drop 1.3
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-erlang/proper/Manifest | 1 -
dev-erlang/proper/proper-1.3.ebuild | 27 ---------------------------
2 files changed, 28 deletions(-)
diff --git a/dev-erlang/proper/Manifest b/dev-erlang/proper/Manifest
index fde239c308a3..3bce8eae366d 100644
--- a/dev-erlang/proper/Manifest
+++ b/dev-erlang/proper/Manifest
@@ -1,2 +1 @@
-DIST proper-1.3.tar.gz 385139 BLAKE2B ff161c9ef694a039105a4ef863952b1a9377bcdfcecebe760de15bfe722291aaf2098a1e187357c6c30586024313f746abf52c89f6c337977deb6caeb448d404 SHA512 4d57ad4fb2a73aedbc9d839c953f0a844bc13acfbcc7e7ec2f0fcf3570a6b877589c1684a28e30dea93f469f6a7ab6db46bb95bb9b539721f6273eb6909dd2bf
DIST proper-1.4.tar.gz 222152 BLAKE2B 19b76ea1fab49a2cdfb5adec43bd4a04251ada2cf7321687bc06fa149ee72c476890d88a246fd3d4583f25a1c8f4f279d6648f82aa2527ffefb8458ede9dbd13 SHA512 88367b81d500319c1f2e196b8d267d466c5dbc4aee18afcd47c0e30caabef4544390a840cb851c8a5ac411774c8a9dd065c46c5b788b707db52a0f94e673ba48
diff --git a/dev-erlang/proper/proper-1.3.ebuild b/dev-erlang/proper/proper-1.3.ebuild
deleted file mode 100644
index 48f613c38490..000000000000
--- a/dev-erlang/proper/proper-1.3.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2024 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 ~sparc x86"
-
-DEPEND=">=dev-lang/erlang-17.1:="
-RDEPEND="${DEPEND}"
-
-DOCS=( README.md THANKS )
-
-# tests broken with current erlang 23.x
-RESTRICT="test"
-
-src_configure() {
- ./configure
-}
^ permalink raw reply related [flat|nested] 21+ messages in thread
end of thread, other threads:[~2024-06-11 6:01 UTC | newest]
Thread overview: 21+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-08-20 3:11 [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/ Matthias Maier
-- strict thread matches above, loose matches on Subject: below --
2024-06-11 6:01 Arthur Zamarin
2024-06-11 5:26 Arthur Zamarin
2024-06-10 20:25 Arthur Zamarin
2024-06-10 20:05 Arthur Zamarin
2024-05-25 12:00 Florian Schmaus
2024-05-25 12:00 Florian Schmaus
2024-05-25 12:00 Florian Schmaus
2023-09-02 11:42 Andreas Sturmlechner
2020-07-01 12:08 Hanno Böck
2019-12-16 11:33 Hanno Böck
2019-12-07 13:47 Sergei Trofimovich
2019-11-03 14:07 Hanno Boeck
2019-09-13 12:26 Agostino Sarubbo
2019-09-13 12:01 Agostino Sarubbo
2019-09-13 6:36 Agostino Sarubbo
2018-10-24 21:54 Amadeusz Piotr Żołnowski
2018-03-28 19:01 Pacho Ramos
2016-08-20 20:09 Anthony G. Basile
2016-07-09 14:29 Amadeusz Piotr Żołnowski
2016-06-07 22:24 Amadeusz Piotr Żołnowski
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox