Merge pull request #47 from inQWIRE/feature-prop-constant

Enhance proportionality
inQWIRE · Feb 1, 2025 · 7073431 · 7073431
2 parents 7937031 + faf97c6
commit 7073431
Show file tree

Hide file tree

Showing 23 changed files with 2,727 additions and 1,627 deletions.
diff --git a/coq-vyzx.opam b/coq-vyzx.opam
@@ -13,9 +13,9 @@ homepage: "https://github.com/inQWIRE/VyZX"
 bug-reports: "https://github.com/inQWIRE/VyZX/issues"
 depends: [
   "dune" {>= "2.8"}
-  "coq-quantumlib" {>= "1.3.0"}
-  "coq-sqir" {>= "1.3.0"}
-  "coq-voqc" {>= "1.3.0"}
+  "coq-quantumlib" {>= "1.6.0"}
+  "coq-sqir" {>= "1.3.2"}
+  "coq-voqc" {>= "1.3.2"}
   "coq" {>= "8.16"}
   "odoc" {with-doc}
 ]