public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: profiles/, dev-ml/comparelib/
@ 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:     de36366e5dadd142104344801c570c6ec1121419
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 24 11:27:09 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=de36366e

dev-ml/comparelib: Remove last-rited pkg, #586904

 dev-ml/comparelib/Manifest                    |  2 --
 dev-ml/comparelib/comparelib-109.60.00.ebuild | 23 -----------------------
 dev-ml/comparelib/comparelib-113.00.00.ebuild | 22 ----------------------
 dev-ml/comparelib/metadata.xml                |  8 --------
 profiles/package.mask                         |  2 --
 5 files changed, 57 deletions(-)

diff --git a/dev-ml/comparelib/Manifest b/dev-ml/comparelib/Manifest
deleted file mode 100644
index ed6078c..0000000
--- a/dev-ml/comparelib/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST comparelib-109.60.00.tar.gz 56707 SHA256 1075fb05e0d1e290f71ad0f6163f32b2cb4cebdc77568491c7eb38ba91f5db7e SHA512 0a20267b06ddb840f31b3aec7b4cc0a77aa5a5e7f454c1d163944e4b233233b5cc1d266aae52eaffbc0721e8d83f2ec345444032af1dc2e0b75bb78ae06e33cb WHIRLPOOL 092abc147a3531d543a9fb68526c4a9839b4ca4f12674962b15a6da01caa69d5ae4e111b29ad9b06b1a2f703a017b04b71016b421ad2334447ed0f47d47d0332
-DIST comparelib-113.00.00.tar.gz 58423 SHA256 8e7e05373da38905904d5362dd2297ea0733dbb7e374471d0082c497db20830a SHA512 4c5c073100c1adb2d5ee65dec016ce88c26df440caeb1e7f5a92830d672e0bf241ab335089ff741595eb7cbfd556b89da20c87c39e88130bd20ecf60c50f4ee3 WHIRLPOOL 2d7536426d79f8523e5c3c2da9753c68f0dcbecafce4345402b86d47994be47e488bf49c75902d708d42b10d7ce21a8aa7782279e869ef64a6d85df5d25d46f3

diff --git a/dev-ml/comparelib/comparelib-109.60.00.ebuild b/dev-ml/comparelib/comparelib-109.60.00.ebuild
deleted file mode 100644
index eb2cac4..0000000
--- a/dev-ml/comparelib/comparelib-109.60.00.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-DESCRIPTION="Camlp4 syntax extension that derives comparison functions from type representations"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${P}.tar.gz
-	https://dev.gentoo.org/~aballier/distfiles/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-109.20.00:=
-	dev-ml/camlp4:="
-RDEPEND="${DEPEND}"
-
-DOCS=( "README.txt" )

diff --git a/dev-ml/comparelib/comparelib-113.00.00.ebuild b/dev-ml/comparelib/comparelib-113.00.00.ebuild
deleted file mode 100644
index 6f76d02..0000000
--- a/dev-ml/comparelib/comparelib-113.00.00.ebuild
+++ /dev/null
@@ -1,22 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-DESCRIPTION="Camlp4 syntax extension that derives comparison functions from type representations"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-109.20.00:=
-	dev-ml/camlp4:="
-RDEPEND="${DEPEND}"
-
-DOCS=( "README.txt" )

diff --git a/dev-ml/comparelib/metadata.xml b/dev-ml/comparelib/metadata.xml
deleted file mode 100644
index ffac4d7..0000000
--- a/dev-ml/comparelib/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 3499882..2119f23 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -238,11 +238,9 @@ media-video/motion
 
 # Michał Górny <mgorny@gentoo.org> (25 Jun 2016)
 # Obsolete packages for removal in 30 days. Replacements and bugs:
-# dev-ml/comparelib -> dev-ml/ppx_compare, #586904
 # dev-ml/deriving-ocsigen -> dev-ml/deriving, #586906
 # dev-ml/faillib -> dev-ml/ppx_fail, #586912
 # dev-ml/typehashlib -- not used anymore, #586928
-dev-ml/comparelib
 dev-ml/deriving-ocsigen
 dev-ml/faillib
 dev-ml/typehashlib


^ 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: profiles/, dev-ml/comparelib/ 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