override more too

Author: CohenCyril

.nix/config.nix

@@ -8,6 +8,8 @@ let
     mathcomp-analysis-stdlib.job = true;
     ssprove.override.version = "main";
     mathcomp-infotheo.override.version = "master";
+    interval.override.version = "master";
+    coquelicot.override.version = "master";
   };
 in {
   ## DO NOT CHANGE THIS