override more too

CohenCyril · CohenCyril · commit a5bc159839f6 · 2026-06-11T13:25:49.000+09:00
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -8,6 +8,7 @@ let
     mathcomp-analysis-stdlib.job = true;
     ssprove.override.version = "main";
     mathcomp-infotheo.override.version = "master";
+    interval.override.version = "master";
   };
 in {
   ## DO NOT CHANGE THIS
