b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coq: fix issue introduced in #128603

Browse source 
This triggerred coq-community/coq-nix-toolbox#42.
This commit is contained in:
Théo Zimmermann 2021-06-30 09:41:10 +02:00 committed by Vincent Laporte
parent e2eb50e6d6
commit cc84f3906e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/default.nix
View file

@ -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 = ''