diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-10-22 12:08:53 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-10-25 07:58:02 +0000 |
| commit | d56582eb2bfa846864689ba304731924dd810e61 (patch) | |
| tree | 4636c6be862d4a36fa8e320325099b6af5872d0c /pkgs/applications | |
| parent | a6d5d5c8710af228283f081dd2e12e5d5d1dd2d6 (diff) | |
| download | nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar.gz nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar.bz2 nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar.lz nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar.xz nixlib-d56582eb2bfa846864689ba304731924dd810e61.tar.zst nixlib-d56582eb2bfa846864689ba304731924dd810e61.zip | |
coq_8_10: enable CoqIDE
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 81102338870d..faaf79bad80c 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -7,7 +7,7 @@ { stdenv, fetchFromGitHub, writeText, pkgconfig , 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 , darwin , csdp ? null |