From 621210beb8116e557bf5a23f030d31bb5da673de Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukaszcz@mimuw.edu.pl>
Date: Sat, 30 Jan 2021 11:59:41 +0100
Subject: [PATCH] opam

---
 coq-hammer-tactics.opam | 3 +--
 coq-hammer.opam         | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/coq-hammer-tactics.opam b/coq-hammer-tactics.opam
index 7214a42f..ab6875c7 100644
--- 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
index 9b4f8fc1..4946ea94 100644
--- 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}