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

coqPackages.category-theory: Update to Git version as of 20180709

Browse Source
This commit is contained in:
John Wiegley 2018-07-27 16:09:56 -07:00
parent 72f3a5cf5c
commit 368cca9f19
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/coq-modules/category-theory/default.nix
View File

@ -3,15 +3,15 @@
let param = let param =
{ {
"8.6" = { "8.6" = {
version = "20171214"; version = "20180709";
rev = "babf9c013506da1dbd67171e4a3ae87fdb7e9d00"; rev = "3b9ba7b26a64d49a55e8b6ccea570a7f32c11ead";
sha256 = "16fsf4cggx9s9fkijnpi4g614nmdb2yx7inzqqn070f8p959qcrd"; sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs";
}; };
"8.7" = { "8.7" = {
version = "20171214"; version = "20180709";
rev = "babf9c013506da1dbd67171e4a3ae87fdb7e9d00"; rev = "3b9ba7b26a64d49a55e8b6ccea570a7f32c11ead";
sha256 = "16fsf4cggx9s9fkijnpi4g614nmdb2yx7inzqqn070f8p959qcrd"; sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs";
}; };
}."${coq.coq-version}" }."${coq.coq-version}"