From c8946524f4d804745a20002bf7d7b393f7666328 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Tue, 10 Nov 2020 13:47:39 +0100
Subject: [PATCH] update nix

---
 config.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/config.nix b/config.nix
index 06b6cb7b82..f8ef2af9b4 100644
--- 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";
 }