try to pin to qlib 1.3.0

inQWIRE · Jul 12, 2024 · ca2383d · ca2383d
1 parent b66eaff
commit ca2383d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-vyzx.opam b/coq-vyzx.opam
@@ -10,7 +10,7 @@ authors: ["Anonymous"]
 license: "MIT"
 depends: [
   "dune" {>= "2.8"}
-  "coq-quantumlib" {>= "1.3.0" < "1.4.0"}
+  "coq-quantumlib" {= "1.3.0"}
   "coq-sqir" {>= "1.3.0"}
   "coq-voqc" {>= "1.3.0"}
   "coq" {>= "8.16"}

diff --git a/dune-project b/dune-project
@@ -16,7 +16,7 @@
  )
 
  (depends
-   (coq-quantumlib (>= 1.3.0))
+   (coq-quantumlib (= 1.3.0))
    (coq-sqir (>= 1.3.0))
    (coq-voqc (>= 1.3.0))
    (coq (>= 8.16))))