dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

coqPackages.coqhammer: fix src URL

Browse Source
This commit is contained in:
Vincent Laporte 2023-02-02 09:27:29 +01:00 committed by Vincent Laporte
parent 71210f0410
commit a18a7e5ff8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/coqhammer/default.nix
View File

@ -42,7 +42,7 @@ mkCoqDerivation {
release."1.3-coq8.10".version = "1.3";
release."1.1.1-coq8.9".version = "1.1.1";
release."1.1-coq8.9".version = "1.1";
releaseRev = v: "v${v}";
releaseRev = v: "refs/tags/v${v}";
postPatch = ''
substituteInPlace Makefile.coq.local --replace \