From 5d9ee83aeaa8b07e29edec8ad1b151f20d2fd301 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 11 Dec 2024 15:56:29 +0100
Subject: [PATCH] Update .nix/config.nix

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

diff --git a/.nix/config.nix b/.nix/config.nix
index 1cefde31..67403a3f 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -22,7 +22,7 @@
     };
   in {
     "coq-master".coqPackages = mcHBcommon // {
-      coq.override.version = "proux01:ssrmatching_primitive_proj";
+      coq.override.version = "master";
       coq-elpi.override.version = "coq-master";
       bignums.override.version = "master";
       paramcoq.override.version = "master";