BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages_8_7.contribs.additions: remove

Browse source
This commit is contained in:
Vincent Laporte 2019-10-05 07:27:06 +00:00 committed by Vincent Laporte
parent 67223bc752
commit 1f365f9d26
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/contribs/default.nix
View file

@ -42,7 +42,7 @@ let mkContrib = repo: revs: param:
sha256 = "18f5vbq6nx9gz2gcj5p7v2gmjczpspc5dmlj6by4jqv07iirzsz2";
};
additions = mkContrib "additions" [ "8.6" "8.7" ] {
additions = mkContrib "additions" [ "8.6" ] {
version = "v8.5.0-9-gbec504e";
rev = "bec504e7822747376159aaa2156cf7453dbbd2b4";
sha256 = "1vvkqjnqrf6m726krhlm2viza64ha2081xgc5wb9y5sygd0baaz7";