Commit 56501da6 authored by jthulhu's avatar jthulhu Committed by Vincent Laporte
Browse files

coq.autosubst: refactor 

Rather than explicitely naming each revision, since they all use the same naming scheme, we
encode that scheme directly using `releaseRev`.
parent 3a326179

pkgs/development/coq-modules/autosubst/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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;