Merge pull request #306 from LPCIC/x-maint

Update elpi.opam
LPCIC · Jan 13, 2025 · 78f64c5 · 78f64c5
2 parents 8f747f8 + ea531a8
commit 78f64c5
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"