[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/lean-mathlib/

[Alessandro Barbieri]

commit:     749e26c7ecb86356f3404da0b76efb2f7b801a73
Author:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Fri Mar 25 23:41:16 2022 +0000
Commit:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Sat Mar 26 00:09:36 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=749e26c7

sci-mathematics/lean-mathlib: drop 0.1_p20211021, 0.1_p20220318

Closes: https://bugs.gentoo.org/835922
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>

 sci-mathematics/lean-mathlib/Manifest              |  2 -
 .../lean-mathlib/lean-mathlib-0.1_p20211021.ebuild | 43 ----------------------
 .../lean-mathlib/lean-mathlib-0.1_p20220318.ebuild | 43 ----------------------
 3 files changed, 88 deletions(-)

diff --git a/sci-mathematics/lean-mathlib/Manifest b/sci-mathematics/lean-mathlib/Manifest
index cff053911..b7e1f6439 100644
--- a/sci-mathematics/lean-mathlib/Manifest
+++ b/sci-mathematics/lean-mathlib/Manifest
@@ -1,3 +1 @@
-DIST lean-mathlib-0.1_p20211021.tar.gz 6665360 BLAKE2B 92d7627a095fd8cbc2bbdeccd9321c86badbd36152a034a15d005eadd0507c21aeeb73ecbef8199a267104b5b881ba5b100355e48003c68785205650c4a23876 SHA512 792e8074cba39d1baab87f47af64c49f2a95043c8e9d592f41fe87d8697405c2595933954e1fbf30cb657551e2350fa274e405996d030e47db166cd078a232e4
-DIST lean-mathlib-0.1_p20220318.tar.gz 8076743 BLAKE2B d8c76b93309f5b778654ccd7f8ecd68f9fed72b9bd5e40c5909c193bce96e2af0edf530232d71893a802f5292d7b34a83783826dbda619f8e4450431e0eda153 SHA512 a3708be6c1792de80015ff7ac242ed85ac2eb2e283774721e6f778fb98dd42380556f1238a4cd880f3f22377966cc06e7b92ca62cae078c01302c44c6377d608
 DIST lean-mathlib-0.1_p20220324.tar.gz 8117563 BLAKE2B f183565927e9b957059995d301a20af45d9995ae159c7e3aa54114b91e8421908b6494ab8abfe38215c8cbf0d4e714d08b0a43f24ba85deaec58577d2ac47a5b SHA512 39effb1dbb659f0dbaeb008bc3a3181aafd4c1ad6429d6ff70aca13481ccaefb12f97335e870c9737620d08dffdcb1a94970158637dc37b9ad00faff6a700f01

diff --git a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild
deleted file mode 100644
index 0f991487e..000000000
--- a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COMMIT="3c11bd771ef17197a9e9fcd4a3fabfa2804d950c"
-
-DESCRIPTION="Lean mathematical components library"
-HOMEPAGE="https://github.com/leanprover-community/mathlib"
-SRC_URI="https://github.com/leanprover-community/mathlib/archive/${COMMIT}.tar.gz -> ${PF}.tar.gz"
-S="${WORKDIR}/mathlib-${COMMIT}"
-
-KEYWORDS="~amd64"
-LICENSE="Apache-2.0"
-SLOT="0"
-IUSE="test"
-
-RDEPEND=">=sci-mathematics/lean-3.34.0"
-DEPEND="
-	${RDEPEND}
-	sci-mathematics/mathlib-tools
-"
-
-RESTRICT="!test? ( test )"
-
-src_configure() {
-	leanpkg configure || die
-}
-
-src_compile() {
-	leanpkg build || die
-}
-
-src_install() {
-	dodoc -r docs/*
-	rm -r docs || die
-	insinto /usr/lib/lean/mathlib
-	doins -r .
-}
-
-src_test() {
-	leanpkg test || die
-}

diff --git a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild
deleted file mode 100644
index a1e9902e3..000000000
--- a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COMMIT="d04fff95f686d5c372f7895551c40e7fa683ed6b"
-
-DESCRIPTION="Lean mathematical components library"
-HOMEPAGE="https://github.com/leanprover-community/mathlib"
-SRC_URI="https://github.com/leanprover-community/mathlib/archive/${COMMIT}.tar.gz -> ${PF}.tar.gz"
-S="${WORKDIR}/mathlib-${COMMIT}"
-
-KEYWORDS="~amd64"
-LICENSE="Apache-2.0"
-SLOT="0"
-IUSE="test"
-
-RDEPEND=">=sci-mathematics/lean-3.41.0"
-DEPEND="
-	${RDEPEND}
-	sci-mathematics/mathlib-tools
-"
-
-RESTRICT="!test? ( test )"
-
-src_configure() {
-	leanpkg configure || die
-}
-
-src_compile() {
-	leanpkg build || die
-}
-
-src_install() {
-	dodoc -r docs/*
-	rm -r docs || die
-	insinto /usr/lib/lean/mathlib
-	doins -r .
-}
-
-src_test() {
-	leanpkg test || die
-}