Update elpi.opam

LPCIC · Jan 7, 2025 · ea531a8 · ea531a8
1 parent 8f747f8
commit ea531a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"