diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild
index 45b99385ac679..495f48055a827 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 fb5c53f57eed9..f634026e1cda6 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
-}