From 5988d2033988503effbf06dcf9470b12d83b76e2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 24 Sep 2021 15:04:52 +0200
Subject: [PATCH] Update config.nix

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

diff --git a/.nix/config.nix b/.nix/config.nix
index 01136b124..3a2811e7b 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -6,7 +6,7 @@
       mathcomp.override.version = "hierarchy-builder";
       mathcomp.job = false;
       mathcomp-single.job = true;
-      coq-elpi.override.version = "master";
+      coq-elpi.override.version = "v1.11.1";
   }; in {
     "coq-8.13".coqPackages = {
       coq.override.version = "8.13";