From: "Aaron Bauman" <bman@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/
Date: Wed, 2 Dec 2020 17:46:03 +0000 (UTC) [thread overview]
Message-ID: <1606931156.45021a9587e84b5bdb5fb315709749c025a7357b.bman@gentoo> (raw)
commit: 45021a9587e84b5bdb5fb315709749c025a7357b
Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 2 17:42:52 2020 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Wed Dec 2 17:45:56 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45021a95
dev-ml/qcheck: drop old
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
dev-ml/qcheck/Manifest | 1 -
dev-ml/qcheck/qcheck-0.6.ebuild | 23 -----------------------
2 files changed, 24 deletions(-)
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index a24d2c9f5b8..9520346f07b 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,2 +1 @@
-DIST qcheck-0.6.tar.gz 255625 BLAKE2B 9b0e2f6c134a6c4eca37763f1ca41dcacdd8755f5ffe1b7afba2a5384edac4c9881c6849d6f6da005afe2aaaa46f956e50a5a3d00f6fc57fa1866ca486121c12 SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c
DIST qcheck-0.7.tar.gz 257935 BLAKE2B a885635e555a7442f0ad7687320e3d9f45897b9167ba4ac12baf632bc60e1eca207ae5ccf4b57ff36897e418f5ef4e781f9f2bf674ec16cdab140049debcb6c6 SHA512 3082029a09d5efe3af0cb8fcd0bd08f11dd1066d5bffc6beaac16c7244b07286b3ae93931e699f22c977ad4d6ba050dff69b133ce3492455d6932a9e0cc304f7
diff --git a/dev-ml/qcheck/qcheck-0.6.ebuild b/dev-ml/qcheck/qcheck-0.6.ebuild
deleted file mode 100644
index e74600712cf..00000000000
--- a/dev-ml/qcheck/qcheck-0.6.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_TESTS=1
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
next reply other threads:[~2020-12-02 17:46 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-02 17:46 Aaron Bauman [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-07-13 9:30 [gentoo-commits] repo/gentoo:master commit in: dev-ml/qcheck/ Alfredo Tupone
2023-01-28 13:26 Alfredo Tupone
2021-12-07 21:58 Maciej Barć
2017-08-22 7:02 Alexis Ballier
2017-08-22 7:02 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-01-28 20:13 Alexis Ballier
2017-01-25 10:37 Alexis Ballier
2017-01-24 11:50 Alexis Ballier
2017-01-13 7:56 Alexis Ballier
2017-01-13 7:56 Alexis Ballier
2017-01-09 11:08 Alexis Ballier
2016-12-19 12:15 Alexis Ballier
2016-10-07 11:18 Alexis Ballier
2016-02-13 6:29 Ian Delaney
2016-02-10 10:32 Ian Delaney
2015-10-16 17:51 Alexis Ballier
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=1606931156.45021a9587e84b5bdb5fb315709749c025a7357b.bman@gentoo \
--to=bman@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