[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/

[Maciej Barć]

commit:     b6905ea19c7f35d1d6d34950e9224eaeee2002c7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 17 11:29:57 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jul 17 12:33:35 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6905ea1

sci-mathematics/coq: remove dead code

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/coq/coq-8.17.0.ebuild | 9 ---------
 sci-mathematics/coq/coq-8.17.1.ebuild | 9 ---------
 2 files changed, 18 deletions(-)

diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild 
b/sci-mathematics/coq/coq-8.17.0.ebuild
index 45b99385ac67..495f48055a82 100644
--- a/sci-mathematics/coq/coq-8.17.0.ebuild
+++ b/sci-mathematics/coq/coq-8.17.0.ebuild
@@ -110,12 +110,3 @@ src_install() {
 
        einstalldocs
 }
-
-pkg_preinst() {
-       # bug https://bugs.gentoo.org/910236
-       if has_version "sci-mathematics/coq:0/8.12.0" && [[ ! -L /usr/lib64/coq 
]]
-       then
-               einfo "Removing colliding directory from version 8.12: 
/usr/lib64/coq"
-               rm -rf /usr/lib64/coq
-       fi
-}

diff --git a/sci-mathematics/coq/coq-8.17.1.ebuild 
b/sci-mathematics/coq/coq-8.17.1.ebuild
index fb5c53f57eed..f634026e1cda 100644
--- a/sci-mathematics/coq/coq-8.17.1.ebuild
+++ b/sci-mathematics/coq/coq-8.17.1.ebuild
@@ -110,12 +110,3 @@ src_install() {
 
        einstalldocs
 }
-
-pkg_preinst() {
-       # bug https://bugs.gentoo.org/910236
-       if has_version "sci-mathematics/coq:0/8.12.0" && [[ ! -L /usr/lib64/coq 
]]
-       then
-               einfo "Removing colliding directory from version 8.12: 
/usr/lib64/coq"
-               rm -rf /usr/lib64/coq
-       fi
-}