From 4a2039a8828b166ee664c47aa3c527a08c03a827 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Thu, 28 Nov 2024 11:09:58 +0100
Subject: [PATCH] nix

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

diff --git a/.nix/config.nix b/.nix/config.nix
index 868181094..847b0e0cd 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -32,7 +32,7 @@ let master = [
         coq.override.version = "8.20";
       };
       ocamlPackages = {
-        elpi.override.version = "v2.0.2";
+        elpi.override.version = "v2.0.3";
       };
     };
 
@@ -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 = "v2.0.2";
+        elpi.override.version = "v2.0.3";
       };
     };
       
@@ -54,7 +54,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 = "v2.0.2";
+        elpi.override.version = "v2.0.3";
       };
     };