diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
similarity index 100%
rename from sci-mathematics/cvc4/cvc4-1.8.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r1.ebuild