coq: fix issue introduced in #128603
This triggerred coq-community/coq-nix-toolbox#42.
commitcc84f3906e1386fd4008e78130566c96776ba44e
authorThéo Zimmermann <theo.zimmermann@inria.fr>
dateWed 30 Jun 2021, 09:41 (5 years ago)
parente2eb50e
pkgs/applications/science/logic/coq/default.nix+1−1
@@ -130,7 +130,7 @@ self = stdenv.mkDerivation {
130130 (if versionAtLeast "8.10"
131131 then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme wrapGAppsHook ]
132132 else [ ocamlPackages.lablgtk ])
133− ++ optional (versionAtLeast "8.14") [ ocamlPackages.dune_2 ]
133+ ++ optional (versionAtLeast "8.14") ocamlPackages.dune_2
134134 ;
135135
136136 postPatch = ''