update nix

math-comp · Nov 10, 2020 · c894652 · c894652
1 parent 2aa3798
commit c894652
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/config.nix b/config.nix
@@ -1,5 +1,5 @@
 {
-  coq = "8.10";
-  mathcomp = "mathcomp-1.11.0";
-  mathcomp-real-closed = "1.1.1";
+  coq = "8.11";
+  mathcomp = "master";
+  mathcomp-real-closed = "pi8027/overlay-mathcomp-458";
 }