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

coq_8_6: 8.6rc1 -> 8.6

Browse Source
This commit is contained in:
John Wiegley 2016-12-14 13:27:03 -08:00
parent fbc8a43355
commit 838a3b4294
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/logic/coq/8.6.nix
View File

@ -12,10 +12,9 @@
}: }:
let let
version = "8.6rc${pl}"; # version = "8.6pl${pl}";
sha256 = { version = "8.6";
"1" = "0wral36h39q7g2sa2z8jvjc8ggqmqsjrbs0k299n0nykmmrq1pr8"; sha256 = "1pw1xvy1657l1k69wrb911iqqflzhhp8wwsjvihbgc72r3skqg3f";
}."${pl}";
coq-version = "8.6"; coq-version = "8.6";
buildIde = lablgtk != null; buildIde = lablgtk != null;
ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else "";