diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2022-12-20 17:17:48 +0100 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2022-12-20 17:30:16 +0100 |
| commit | c007bbd07d214d97062547206cacdb5082f8eeab (patch) | |
| tree | 65a0efee410c7d8c08c78b13adbc448b1c0e4ce2 | |
| parent | dev-php/PEAR-PEAR_PackageFileManager2: treeclean (diff) | |
| download | gentoo-c007bbd07d214d97062547206cacdb5082f8eeab.tar.gz gentoo-c007bbd07d214d97062547206cacdb5082f8eeab.tar.bz2 gentoo-c007bbd07d214d97062547206cacdb5082f8eeab.zip | |
dev-php/PEAR-PEAR_PackageFileManager: treeclean
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
| -rw-r--r-- | dev-php/PEAR-PEAR_PackageFileManager/Manifest | 1 | ||||
| -rw-r--r-- | dev-php/PEAR-PEAR_PackageFileManager/PEAR-PEAR_PackageFileManager-1.7.2-r2.ebuild | 17 | ||||
| -rw-r--r-- | dev-php/PEAR-PEAR_PackageFileManager/metadata.xml | 11 | ||||
| -rw-r--r-- | profiles/package.mask | 1 |
4 files changed, 0 insertions, 30 deletions
diff --git a/dev-php/PEAR-PEAR_PackageFileManager/Manifest b/dev-php/PEAR-PEAR_PackageFileManager/Manifest deleted file mode 100644 index 59c8d7242045..000000000000 --- a/dev-php/PEAR-PEAR_PackageFileManager/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST PEAR_PackageFileManager-1.7.2.tgz 38104 BLAKE2B 126578a570db3e92b8c3b3d04588a77e81b14ed6b6c40e9a6c90739d2ae86bfaad8cac2b5ece4deaea9ea1e356d2645997402200236e394f68c0dc5fa9eaafe5 SHA512 4a0a201fea221a8e2d21199f99d4f145e39f42344a0057f32bfefd96aa2635e12ea75ee6b6ac64c52a8d35be5e2a65fa5399b3195592dea9ba10191c45fc0056 diff --git a/dev-php/PEAR-PEAR_PackageFileManager/PEAR-PEAR_PackageFileManager-1.7.2-r2.ebuild b/dev-php/PEAR-PEAR_PackageFileManager/PEAR-PEAR_PackageFileManager-1.7.2-r2.ebuild deleted file mode 100644 index b0973dc62119..000000000000 --- a/dev-php/PEAR-PEAR_PackageFileManager/PEAR-PEAR_PackageFileManager-1.7.2-r2.ebuild +++ /dev/null @@ -1,17 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit php-pear-r2 - -DESCRIPTION="Updates an existing package.xml file with a new filelist and changelog" -LICENSE="PHP-3.01" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND=">=dev-lang/php-5.3:* - >=dev-php/PEAR-PEAR-1.10.1 - dev-php/PEAR-PEAR_PackageFileManager2 - dev-php/PEAR-PEAR_PackageFileManager_Plugins" diff --git a/dev-php/PEAR-PEAR_PackageFileManager/metadata.xml b/dev-php/PEAR-PEAR_PackageFileManager/metadata.xml deleted file mode 100644 index 98e5afa08817..000000000000 --- a/dev-php/PEAR-PEAR_PackageFileManager/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>php-bugs@gentoo.org</email> - <name>PHP</name> - </maintainer> - <upstream> - <remote-id type="pear">PEAR_PackageFileManager</remote-id> - </upstream> -</pkgmetadata> diff --git a/profiles/package.mask b/profiles/package.mask index 61b77985c5d9..1065b281d037 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -585,7 +585,6 @@ media-sound/umix # Removal on 2022-12-19. Bug #737854. dev-php/agavi dev-php/phing -dev-php/PEAR-PEAR_PackageFileManager # Jonas Stein <jstein@gentoo.org> (2022-11-13) # Dead upstream |