Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: a6d5d5c8710a
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: d56582eb2bfa
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Oct 25, 2019

  1. coq_8_10: enable CoqIDE

    @vbgl
    vbgl committed Oct 25, 2019
    Copy the full SHA
    d56582e View commit details
Showing with 1 addition and 1 deletion.
  1. +1 −1 pkgs/applications/science/logic/coq/default.nix
2 changes: 1 addition & 1 deletion pkgs/applications/science/logic/coq/default.nix
View file
Original file line number Diff line number Diff line change
@@ -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