public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/faillib/, profiles/
@ 2016-07-24 11:31 Michał Górny
  0 siblings, 0 replies; only message in thread
From: Michał Górny @ 2016-07-24 11:31 UTC (permalink / raw
  To: gentoo-commits

commit:     ec9de68630eb05b5647833902d3287e6af012fb9
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 24 11:28:06 2016 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Sun Jul 24 11:30:57 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec9de686

dev-ml/faillib: Remove last-rited pkg, #586912

 dev-ml/faillib/Manifest                 |  2 --
 dev-ml/faillib/faillib-109.60.00.ebuild | 24 ------------------------
 dev-ml/faillib/faillib-111.17.00.ebuild | 25 -------------------------
 dev-ml/faillib/metadata.xml             |  8 --------
 profiles/package.mask                   |  2 --
 5 files changed, 61 deletions(-)

diff --git a/dev-ml/faillib/Manifest b/dev-ml/faillib/Manifest
deleted file mode 100644
index 9a03409..0000000
--- a/dev-ml/faillib/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST faillib-109.60.00.tar.gz 47376 SHA256 f90e56a2fd47aa6e644c9e87da101a2f644e65c012889c6d566211b4e7d43370 SHA512 950ef8550d97576870ced3afbf28efcaa043f234dc160c40c7d6ddd80d31518cf2fce9cb8f741d71fb39c852415b9975f4b7e7eec8bbdaf5eaba79581d02abc9 WHIRLPOOL 92a5449cb6eb1282d7f6e32ff1168ffde230c4262b46f40b97f2b32b29e71154ca9e5c31a8f1faece2ef93b6df60c5341476466aea7c12f4c9f32c83e17709e6
-DIST faillib-111.17.00.tar.gz 48691 SHA256 3bd1e32555d706d18e4163648cae818fd2136c989e35b5f6fffeb8576757bb89 SHA512 318f0123835f46354d3b798f3480847942b8201b6edc578fcd2b504b3f8cd473a9d5b83f02a7255f4e3031c45ff3b65a43f4ccf1f63c9fe0ecf70bb02036d2e6 WHIRLPOOL 8863f597eac5be72c37926c600ba15eff05c02ed74a31a6235bb24ba22a98a1cfd7f336974395d33fd4b1101be07de26bd939b37bc11fe75174d7d51a69b82cd

diff --git a/dev-ml/faillib/faillib-109.60.00.ebuild b/dev-ml/faillib/faillib-109.60.00.ebuild
deleted file mode 100644
index e9db312..0000000
--- a/dev-ml/faillib/faillib-109.60.00.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Syntax extension for inserting the current location"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
-	dev-ml/herelib:=
-	"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"

diff --git a/dev-ml/faillib/faillib-111.17.00.ebuild b/dev-ml/faillib/faillib-111.17.00.ebuild
deleted file mode 100644
index f400008..0000000
--- a/dev-ml/faillib/faillib-111.17.00.ebuild
+++ /dev/null
@@ -1,25 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Syntax extension for inserting the current location"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
-	dev-ml/herelib:=
-	dev-ml/camlp4:=
-	"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"

diff --git a/dev-ml/faillib/metadata.xml b/dev-ml/faillib/metadata.xml
deleted file mode 100644
index ffac4d7..0000000
--- a/dev-ml/faillib/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<maintainer type="project">
-	<email>ml@gentoo.org</email>
-	<name>Gentoo ML Project</name>
-</maintainer>
-</pkgmetadata>

diff --git a/profiles/package.mask b/profiles/package.mask
index e3f2f1f..a04818d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -238,9 +238,7 @@ media-video/motion
 
 # Michał Górny <mgorny@gentoo.org> (25 Jun 2016)
 # Obsolete packages for removal in 30 days. Replacements and bugs:
-# dev-ml/faillib -> dev-ml/ppx_fail, #586912
 # dev-ml/typehashlib -- not used anymore, #586928
-dev-ml/faillib
 dev-ml/typehashlib
 
 # Pawel Hajdan jr <phajdan.jr@gentoo.org> (13 Jun 2016)


^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2016-07-24 11:31 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-07-24 11:31 [gentoo-commits] repo/gentoo:master commit in: dev-ml/faillib/, profiles/ Michał Górny

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox