commit: 04f0d93484ddb0af9554d43b1600c3844b08d500 Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Tue Jan 19 08:36:01 2021 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Tue Jan 19 08:39:07 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04f0d934
sci-mathematics/agda-lib-ffi: Remove last-rited pkg Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> profiles/package.mask | 5 ---- sci-mathematics/agda-lib-ffi/Manifest | 2 -- .../agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 35 ---------------------- .../agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild | 33 -------------------- sci-mathematics/agda-lib-ffi/metadata.xml | 11 ------- 5 files changed, 86 deletions(-) diff --git a/profiles/package.mask b/profiles/package.mask index edb8393e90f..08f8db56b54 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -308,11 +308,6 @@ app-text/peg-markdown # Removal in 30 days. Bug #652192. dev-libs/ustr -# Jack Todaro <[email protected]> (2020-12-17) -# Old and redundant package. Has not been kept -# up to date and no longer works. Masked for removal. -sci-mathematics/agda-lib-ffi - # Lars Wendler <[email protected]> (2020-12-09) # Masked until most broken packages have been fixed (bug #732648) >=sys-devel/autoconf-2.70 diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest deleted file mode 100644 index 16b65e15da9..00000000000 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -DIST agda-stdlib-2.4.2.3.tar.gz 252558 BLAKE2B 2373b9d395a64fe7f23bbb583d8cfc5b2572f5aa3ea98b687e8f122ae1accae835e4ed1ebfe7252a5bc5e519898b9ca39e1f19e16bb9f4195246f9904cc2c9af SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 -DIST lib-0.7.tar.gz 226400 BLAKE2B 4203486fa35d6dbfdcdfa227da43c771e8e2c78d906c06dae8cc3eb473c6ac0029554b98a0a665de80f1d1b5806a82ef68491050b0f90e80065a08ab91dba7c1 SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild deleted file mode 100644 index 9f4b8f627c6..00000000000 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild +++ /dev/null @@ -1,35 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -# ebuild generated by hackport 0.3.5 - -CABAL_FEATURES="lib" -inherit haskell-cabal - -AGDA_PN="agda-stdlib" -AGDA_PV="2.4.2.3" -AGDA_P="${AGDA_PN}-${AGDA_PV}" - -DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" -HOMEPAGE="https://wiki.portal.chalmers.se/agda/"; -SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${AGDA_P}.tar.gz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND=">=dev-lang/ghc-6.10.4:= -" -DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.8 -" - -S="${WORKDIR}/${AGDA_P}/ffi" - -src_prepare() { - cabal_chdeps \ - 'base >= 4.5.0.0 && < 4.9' 'base >= 4.5.0.0' -} diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild deleted file mode 100644 index a547e511ba1..00000000000 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -# ebuild generated by hackport 0.3.5 - -CABAL_FEATURES="lib" -inherit haskell-cabal - -AGDA_P="lib-0.7" - -DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" -HOMEPAGE="https://wiki.portal.chalmers.se/agda/"; -SRC_URI="https://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz"; - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND=">=dev-lang/ghc-6.10.4:= -" -DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.8 -" - -S="${WORKDIR}/${AGDA_P}/ffi" - -src_prepare() { - cabal_chdeps \ - 'base >= 3.0.3.1 && < 4.7' 'base >= 3.0.3.1' -} diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml deleted file mode 100644 index bf554338893..00000000000 --- a/sci-mathematics/agda-lib-ffi/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <maintainer type="project"> - <email>[email protected]</email> - <name>Gentoo Haskell</name> - </maintainer> - <upstream> - <remote-id type="github">agda/agda-stdlib</remote-id> - </upstream> -</pkgmetadata>
