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

coqPackages.contribs.zfc: enable for Coq 8.8

Browse Source
This commit is contained in:
Vincent Laporte 2018-11-02 08:51:24 +00:00
parent bfd838a695
commit 6a449c0742
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
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

@ -1018,7 +1018,7 @@ let mkContrib = repo: revs: param:
sha256 = "0fp3vdl79c8d759qjhk42rjfpkd0ba4pcw572f5gxn28kfwz3rrj";
};
zfc = mkContrib "zfc" [ "8.5" "8.6" "8.7" ] {
zfc = mkContrib "zfc" [ "8.5" "8.6" "8.7" "8.8" ] {
version = "v8.5.0-5-gbba3259";
rev = "bba325933370fea64780b1afa2fad54c1b567819";
sha256 = "0iwkpmc22nwasrk4g7ki4s5y05zjs7kmqk3j98giwp2wiavhgapn";