coq.autosubst: refactor

Rather than explicitely naming each revision, since they all use the same naming scheme, we encode that scheme directly using `releaseRev`.
tjni · Sep 20, 2024 · 56501da · 56501da
1 parent 3a32617
commit 56501da
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;