Merge pull request #57 from inQWIRE/fix/qlib-1.4.0

Emergency patch: Disallow building voqc with qlib 1.4.0 as it causes build to get stuck in loop
inQWIRE · Mar 26, 2024 · 4186223 · 4186223
2 parents af3aae9 + a406cd7
commit 4186223
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-voqc.opam b/coq-voqc.opam
@@ -14,8 +14,8 @@ bug-reports: "https://github.com/inQWIRE/SQIR/issues"
 depends: [
   "dune" {>= "2.8"}
   "coq-interval" {>= "4.6.1"}
-  "coq-quantumlib" {>= "1.1.0"}
-  "coq-sqir" {>= "1.1.0"}
+  "coq-quantumlib" {>= "1.1.0" < "1.4.0"}
+  "coq-sqir" {>= "1.3.0"}
   "coq" {>= "8.12"}
   "odoc" {with-doc}
 ]