updating config.nix

math-comp · May 23, 2020 · eca06c7 · eca06c7
1 parent a20000d
commit eca06c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/config.nix b/config.nix
@@ -1,4 +1,5 @@
 {
   coq = "8.10";
   mathcomp = "1.11.0+beta1";
+  mathcomp-real-closed = "1.1.0";
 }