public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
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
-}


             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