opam

lukaszcz · Jan 30, 2021 · 621210b · 621210b
1 parent 458a7ee
commit 621210b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/coq-hammer-tactics.opam b/coq-hammer-tactics.opam
@@ -15,14 +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.06"} "tactics"]
+build: [make "-j%{jobs}%" {ocaml:version >= "4.08"} "tactics"]
 install: [
   [make "install-tactics"]
   [make "test-tactics"] {with-test}
 ]
 depends: [
   "ocaml"
-  "stdlib-shims"
   "coq" {>= "8.10" & < "8.11~"}
 ]
 

diff --git a/coq-hammer.opam b/coq-hammer.opam
@@ -14,14 +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.06"} "plugin"]
+build: [make "-j%{jobs}%" {ocaml:version >= "4.08"} "plugin"]
 install: [
   [make "install-plugin"]
   [make "test-plugin"] {with-test}
 ]
 depends: [
   "ocaml"
-  "stdlib-shims"
   "coq" {>= "8.10" & < "8.11~"}
   ("conf-g++" {build} | "conf-clang" {build})
   "coq-hammer-tactics" {= version}