From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id CFF5415801B for ; Sat, 2 Sep 2023 11:42:40 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 158E82BC01C; Sat, 2 Sep 2023 11:42:40 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id ECDB02BC01C for ; Sat, 2 Sep 2023 11:42:39 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id F2013340D1F for ; Sat, 2 Sep 2023 11:42:38 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 6076C1103 for ; Sat, 2 Sep 2023 11:42:37 +0000 (UTC) From: "Andreas Sturmlechner" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andreas Sturmlechner" Message-ID: <1693654892.b5be657e5d062e21b0fb361679cfdbe01194f766.asturm@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-erlang/proper/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-erlang/proper/Manifest dev-erlang/proper/proper-1.2.ebuild X-VCS-Directories: dev-erlang/proper/ X-VCS-Committer: asturm X-VCS-Committer-Name: Andreas Sturmlechner X-VCS-Revision: b5be657e5d062e21b0fb361679cfdbe01194f766 X-VCS-Branch: master Date: Sat, 2 Sep 2023 11:42:37 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: dd55dc4c-ac0a-466a-9f45-64840cda873f X-Archives-Hash: 403a4db4aeb3f87cd5b537cbdc0f9460 commit: b5be657e5d062e21b0fb361679cfdbe01194f766 Author: Andreas Sturmlechner gentoo org> AuthorDate: Sat Aug 26 15:18:18 2023 +0000 Commit: Andreas Sturmlechner gentoo 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 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 -}