diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-06-30 18:04:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-30 18:04:09 +0000 |
| commit | 1a1f2ce95d050f0a27674119d1d3346a57af06fb (patch) | |
| tree | 913d0ad5e19d314acfa257baee557ee451f932d1 /pkgs/applications/science | |
| parent | 629cea2cd0c3e429c333c1ab239caa18058128bf (diff) | |
| parent | 4afb7c8e2c631f5c191aaf586673430b72e4b15e (diff) | |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science')
| -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 69753fcef2d0b..b5c66289c9d34 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -130,7 +130,7 @@ self = stdenv.mkDerivation { (if versionAtLeast "8.10" then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme wrapGAppsHook ] else [ ocamlPackages.lablgtk ]) - ++ optional (versionAtLeast "8.14") [ ocamlPackages.dune_2 ] + ++ optional (versionAtLeast "8.14") ocamlPackages.dune_2 ; postPatch = '' |