diff --git a/pkgs/development/coq-modules/autosubst/default.nix b/pkgs/development/coq-modules/autosubst/default.nix
index 6f1f89ee62438..de4aec6c13baf 100644
--- a/pkgs/development/coq-modules/autosubst/default.nix
+++ b/pkgs/development/coq-modules/autosubst/default.nix
@@ -3,9 +3,9 @@
 mkCoqDerivation {
   pname = "autosubst";
 
-  release."1.7".rev    = "v1.7";
+  releaseRev = v: "v${v}";
+
   release."1.7".sha256 = "sha256-qoyteQ5W2Noxf12uACOVeHhPLvgmTzrvEo6Ts+FKTGI=";
-  release."1.8".rev    = "v1.8";
   release."1.8".sha256 = "sha256-n0lD8D+tjqkDDjFiE4CggxczOPS5TkEnxpB3zEwWZ2I=";
 
   inherit version;