From cc84f3906e1386fd4008e78130566c96776ba44e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 30 Jun 2021 09:41:10 +0200 Subject: [PATCH] coq: fix issue introduced in #128603 This triggerred coq-community/coq-nix-toolbox#42. --- pkgs/applications/science/logic/coq/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 69753fcef2d0..b5c66289c9d3 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 = ''