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"