From dd8e5e8d7180744b1cdf99601b85e0e5c746de03 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 13 Jan 2025 14:07:35 +0100
Subject: [PATCH] HACK nix

---
 .nix/config.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/config.nix b/.nix/config.nix
index 56ac8b7db..c6e2ae10a 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -42,7 +42,7 @@ let master = [
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
       ocamlPackages = {
-        elpi.override.version = "2.0.6";
+        elpi.override.version = "#308";
       };
     };
       
@@ -55,7 +55,7 @@ let master = [
       ocamlPackages = {
         # when updating this, don't forget to update dune-project
         # then use it to regenerate coq-elpi.opam
-        elpi.override.version = "2.0.6";
+        elpi.override.version = "#308";
       };
     };