From 126f815aba429d4f31b9c7f9109bc16efca0c31d Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Tue, 2 Jan 2024 14:22:37 +0100
Subject: [PATCH] use elpi version 1.18.1 (#69)

---
 .nix/config.nix | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.nix/config.nix b/.nix/config.nix
index 8c108b9..da01800 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -79,11 +79,14 @@
     ## Run on push on following branches (default [ "master" ])
     # push-branches = [ "master" "branch2" ];
 
-    "master".coqPackages = {
-      coq.override.version = "master";
-      coq-elpi.override.version = "coq-master";
-      hierarchy-builder.override.version = "master";
-      mathcomp.override.version = "master";
+    "master" = {
+      coqPackages = {
+        coq.override.version = "master";
+        coq-elpi.override.version = "coq-master";
+        hierarchy-builder.override.version = "master";
+        mathcomp.override.version = "master";
+      };
+      ocamlPackages.elpi.override.version = "v1.18.1";
     };
     "8.17".coqPackages = {
       coq.override.version = "8.17";