From: "Florian Schmaus" <flow@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
Date: Sat, 25 May 2024 12:00:06 +0000 (UTC) [thread overview]
Message-ID: <1716638380.79b0fa647de9b32fd6aae74c6176d63fe0aeb6ae.flow@gentoo> (raw)
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
+}
next reply other threads:[~2024-05-25 12:00 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-05-25 12:00 Florian Schmaus [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-06-11 6:01 [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/ 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
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-08-20 3:11 Matthias Maier
2016-07-09 14:29 Amadeusz Piotr Żołnowski
2016-06-07 22:24 Amadeusz Piotr Żołnowski
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1716638380.79b0fa647de9b32fd6aae74c6176d63fe0aeb6ae.flow@gentoo \
--to=flow@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox