summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-libs/ppl/ChangeLog12
-rw-r--r--dev-libs/ppl/Manifest4
-rw-r--r--dev-libs/ppl/metadata.xml8
-rw-r--r--dev-libs/ppl/ppl-0.10.ebuild18
4 files changed, 0 insertions, 42 deletions
diff --git a/dev-libs/ppl/ChangeLog b/dev-libs/ppl/ChangeLog
deleted file mode 100644
index 391284e..0000000
--- a/dev-libs/ppl/ChangeLog
+++ /dev/null
@@ -1,12 +0,0 @@
-# ChangeLog for dev-libs/ppl
-# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ChangeLog,v 1.2 2008/09/21 09:56:20 robbat2 Exp $
-
- 21 Sep 2008; Robin H. Johnson <robbat2@gentoo.org> +metadata.xml:
- Mike is a slacker and did not include metadata.xml for his new package.
-
-*ppl-0.10_pre27 (21 Sep 2008)
-
- 21 Sep 2008; Mike Frysinger <vapier@gentoo.org> +ppl-0.10_pre27.ebuild:
- Initial ebuild based on work from Zhang Le for gcc-4.4+.
-
diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest
deleted file mode 100644
index 488bad0..0000000
--- a/dev-libs/ppl/Manifest
+++ /dev/null
@@ -1,4 +0,0 @@
-DIST ppl-0.10.tar.bz2 11165603 RMD160 7ca4944d257742a08c770b01bf2572fd87e3ba00 SHA1 25b7507f440dbde44f36b9e9db9034ce910509f8 SHA256 cc96b02be56bed1c39bdb47bcb1b20d3b16cd7123af110dbe6937d4c4506c4e1
-EBUILD ppl-0.10.ebuild 715 RMD160 9345325f49dbdec84de1a79032c7a8ddeb7e87e7 SHA1 bc2b97f3c63874e37085a5c95372f3ac930fd643 SHA256 329d28e556bca2f4c4dcc11cc8c7839a9bf6f7d689b82d1c830e2cb121bddadf
-MISC ChangeLog 506 RMD160 27fae6e53f405195e041791a5874c69ed9299718 SHA1 1be4207bc323b882d9e7b8ea2205b0fdf301f3cd SHA256 2aa5e1811246ad06095c375b14163c1fd124c03b6bda859c3fee46df91c15f2d
-MISC metadata.xml 222 RMD160 2174b87535494a4d4910d006d926f9d8fd3dbd29 SHA1 3c4fa15e113b927d00499597ce8b0ec2f05cd2e0 SHA256 aaa8819581dffbde9e3d1b60c363083b92f07e3ad3f60f164e9bed73f2e788e7
diff --git a/dev-libs/ppl/metadata.xml b/dev-libs/ppl/metadata.xml
deleted file mode 100644
index 21481b2..0000000
--- a/dev-libs/ppl/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>
-<herd>no-herd</herd>
-<maintainer>
- <email>vapier@gentoo.org</email>
-</maintainer>
-</pkgmetadata>
diff --git a/dev-libs/ppl/ppl-0.10.ebuild b/dev-libs/ppl/ppl-0.10.ebuild
deleted file mode 100644
index 020b907..0000000
--- a/dev-libs/ppl/ppl-0.10.ebuild
+++ /dev/null
@@ -1,18 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-libs/ppl/ppl-0.10_pre27.ebuild,v 1.1 2008/09/21 09:26:44 vapier Exp $
-
-
-DESCRIPTION="The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems"
-HOMEPAGE="http://www.cs.unipr.it/ppl/"
-SRC_URI="ftp://ftp.cs.unipr.it/pub/ppl/releases/${PV}/${P}.tar.bz2"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="~amd64 ~mips ~x86"
-IUSE=""
-
-src_install() {
- emake DESTDIR="${D}" install || die
- dodoc BUGS ChangeLog NEWS README STANDARDS TODO
-}