From eca06c790dcc5ca7b1aef78c1239da627a7b9624 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Sat, 23 May 2020 03:34:20 +0200
Subject: [PATCH] updating config.nix

---
 config.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config.nix b/config.nix
index afc2ea79a..7b5a3aeb5 100644
--- a/config.nix
+++ b/config.nix
@@ -1,4 +1,5 @@
 {
   coq = "8.10";
   mathcomp = "1.11.0+beta1";
+  mathcomp-real-closed = "1.1.0";
 }