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

coqPackages.equations: Add support for Coq 8.8

Browse Source
This commit is contained in:
John Wiegley 2018-07-05 15:16:42 -07:00
parent 56afc551f2
commit 1459b2dffa
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/coq-modules/equations/default.nix
View File

@ -14,6 +14,12 @@ let param =
sha256 = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h"; sha256 = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h";
}; };
"8.8" = {
version = "1.0";
rev = "v1.0-8.8";
sha256 = "129rxsdsf88vjcw0xhm74yax1hmnk6f8n9ksg0hcyyjq1ijddiwa";
};
}."${coq.coq-version}" }."${coq.coq-version}"
; in ; in