From ea531a813ecf2339e17c213925636910c12b85ed Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 7 Jan 2025 20:47:33 +0100
Subject: [PATCH] Update elpi.opam

---
 elpi.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/elpi.opam b/elpi.opam
index 779b6aebb..cbc260515 100644
--- a/elpi.opam
+++ b/elpi.opam
@@ -12,7 +12,7 @@ build: [
   ["dune" "build" "-p" name "-j" jobs]
   [make "tests" "DUNE_OPTS=-p %{name}%" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}
 ]
-
+x-maintenance-intent: ["(latest)"]
 depends: [
   "ocaml" {>= "4.13.0" }
   "stdlib-shims"