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

coqPackages.equations: -> 1.0

Browse Source
This commit is contained in:
John Wiegley 2017-12-20 10:54:08 -08:00
parent 3168fcd07b
commit 60a6b81e2d
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/equations/default.nix
View File

@ -3,15 +3,15 @@
let param =
{
"8.6" = {
version = "1.0-beta";
rev = "v1.0-beta";
sha256 = "00pzlh5ij7s2hmpvimq1hjq3fjf0nrk997l3dl51kigx5r5dnvxd";
version = "1.0";
rev = "v1.0";
sha256 = "19ylw9v9g35607w4hm86j7mmkghh07hmkc1ls5bqlz3dizh5q4pj";
};
"8.7" = {
version = "cdf8c53";
rev = "cdf8c53f1f2274b29506f53bff476409ce717dc5";
sha256 = "0ipjzmviwnp0ippbkn03ld4j4j0dkzmyidmj4dvpdvymrkv31ai1";
version = "1.0";
rev = "v1.0-8.7";
sha256 = "1bavg4zl1xn0jqrdq8iw7xqzdvdf39ligj9saz5m9c507zri952h";
};
}."${coq.coq-version}"