Merge pull request #49635 from vbgl/coq-contribs-zfc-8.8

coqPackages.contribs.zfc: enable for Coq 8.8
This commit is contained in:
Jörg Thalheim 2018-11-04 18:00:38 +00:00 committed by GitHub
commit 22472dbe77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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";