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

coq_8_10: enable CoqIDE

Browse Source
This commit is contained in:
Vincent Laporte 2019-10-22 12:08:53 +00:00 committed by Vincent Laporte
parent a6d5d5c871
commit d56582eb2b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/default.nix
View File

@ -7,7 +7,7 @@
{ stdenv, fetchFromGitHub, writeText, pkgconfig { stdenv, fetchFromGitHub, writeText, pkgconfig
, ocamlPackages, ncurses , ocamlPackages, ncurses
, buildIde ? !stdenv.lib.versionAtLeast version "8.10" # lablgtk3 cannot be built with GTK3 at version 3.24.11 , buildIde ? true
, glib, gnome3, wrapGAppsHook , glib, gnome3, wrapGAppsHook
, darwin , darwin
, csdp ? null , csdp ? null