From c77fdb8ebd175c93c16c74641b9705c9126c5382 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Tue, 21 May 2024 13:38:30 +0200
Subject: [PATCH] new opam

---
 CoqOfPython/coq-of-python.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CoqOfPython/coq-of-python.opam b/CoqOfPython/coq-of-python.opam
index 5204e4d..c06db5c 100644
--- a/CoqOfPython/coq-of-python.opam
+++ b/CoqOfPython/coq-of-python.opam
@@ -15,8 +15,8 @@ bug-reports: "https://github.com/formal-land/coq-of-python/issues"
 dev-repo: "git+https://github.com/formal-land/coq-of-python.git"
 depends: [
   "ocaml" {>= "4.08"}
-  "coq" {>= "8.17.1" & < "8.18"}
-  "coq-hammer" {>= "1.3.2+8.17" & < "1.3.2+8.18"}
+  "coq" {>= "8.17.1" }
+  "coq-hammer"
 ]
 build: [
   [make]