From: "Andreas Sturmlechner" <asturm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/
Date: Sat, 2 Sep 2023 11:42:37 +0000 (UTC) [thread overview]
Message-ID: <1693654892.b5be657e5d062e21b0fb361679cfdbe01194f766.asturm@gentoo> (raw)
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
-}
next reply other threads:[~2023-09-02 11:42 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-02 11:42 Andreas Sturmlechner [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
2024-05-25 12:00 Florian Schmaus
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=1693654892.b5be657e5d062e21b0fb361679cfdbe01194f766.asturm@gentoo \
--to=asturm@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