simplify opam files since minimum OCaml version of Coq is 4.09.0

lukaszcz · Nov 13, 2023 · 4131a8c · 4131a8c
1 parent 075ac9b
commit 4131a8c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/coq-hammer-tactics.opam b/coq-hammer-tactics.opam
@@ -15,13 +15,13 @@ has been successfully applied to a project, only this package needs
 to be installed; the hammer plugin is not required.
 """
 
-build: [make "-j%{jobs}%" {ocaml:version >= "4.08"} "tactics"]
+build: [make "-j%{jobs}%" "tactics"]
 install: [
   [make "install-tactics"]
   [make "test-tactics"] {with-test}
 ]
 depends: [
-  "ocaml" {>= "4.08"}
+  "ocaml" {>= "4.09.0"}
   "coq" {= "dev"}
 ]
 

diff --git a/coq-hammer.opam b/coq-hammer.opam
@@ -14,13 +14,13 @@ learning from previous proofs with the translation of problems to the
 logics of automated systems and the reconstruction of successfully found proofs.
 """
 
-build: [make "-j%{jobs}%" {ocaml:version >= "4.08"} "plugin"]
+build: [make "-j%{jobs}%" "plugin"]
 install: [
   [make "install-plugin"]
   [make "test-plugin"] {with-test}
 ]
 depends: [
-  "ocaml" {>= "4.08"}
+  "ocaml" {>= "4.09.0"}
   "coq" {= "dev"}
   ("conf-g++" {build} | "conf-clang" {build})
   "coq-hammer-tactics" {= version}