diff --git a/coq-vyzx.opam b/coq-vyzx.opam
index 3f1cf83..29ea585 100644
--- a/coq-vyzx.opam
+++ b/coq-vyzx.opam
@@ -13,7 +13,7 @@ homepage: "https://github.com/inQWIRE/VyZX"
 bug-reports: "https://github.com/inQWIRE/VyZX/issues"
 depends: [
   "dune" {>= "2.8"}
-  "coq-quantumlib" {>= "1.3.0"}
+  "coq-quantumlib" {>= "1.5.0"}
   "coq-sqir" {>= "1.3.0"}
   "coq-voqc" {>= "1.3.0"}
   "coq" {>= "8.16"}
diff --git a/dune-project b/dune-project
index 4415ddb..06c27b3 100644
--- a/dune-project
+++ b/dune-project
@@ -18,7 +18,7 @@
  )
 
  (depends
-   (coq-quantumlib (>= 1.3.0))
+   (coq-quantumlib (>= 1.5.0))
    (coq-sqir (>= 1.3.0))
    (coq-voqc (>= 1.3.0))
    (coq (>= 8.16))))