coqPackages.interval: guard version check

Avoids nasty error when trying to get non existing intervals.
2026-05-05 13:25:51 +02:00
parent 716f450177
commit ea3d37aec1
1 changed files with 3 additions and 1 deletions
@@ -65,7 +65,9 @@ mkCoqDerivation rec {
      mathcomp-boot
      mathcomp-fingroup
    ]
-    ++ lib.optionals (lib.versions.isGe "4.2.0" defaultVersion) [ gnuplot_qt ];
+    ++ lib.optionals (defaultVersion != null && lib.versions.isGe "4.2.0" defaultVersion) [
+      gnuplot_qt
+    ];
  useMelquiondRemake.logpath = "Interval";
  mlPlugin = true;