diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-06-30 09:41:10 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-06-30 16:38:39 +0200 |
| commit | cc84f3906e1386fd4008e78130566c96776ba44e (patch) | |
| tree | abde2a36a04dd3ba2475dabb4a881da7d175df90 /pkgs/applications/science | |
| parent | e2eb50e6d6bce16d7a09984fd6539efef6fa4c74 (diff) | |
coq: fix issue introduced in #128603
This triggerred coq-community/coq-nix-toolbox#42.
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 = '' |