diff --git a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
rename to sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild
index a297c01f13ee8..b5ec8fafba16b 100644
--- a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
+++ b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild
@@ -30,7 +30,7 @@ DUNE_PACKAGES=(
 )
 
 RDEPEND="
-	>=sci-mathematics/coq-${PV}
+	>=sci-mathematics/coq-${PV}:=
 "
 DEPEND="
 	${RDEPEND}