fixing build

inQWIRE · Jul 12, 2024 · bb94d13 · bb94d13
1 parent 4186223
commit bb94d13
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-sqir.opam b/coq-sqir.opam
@@ -14,7 +14,7 @@ bug-reports: "https://github.com/inQWIRE/SQIR/issues"
 depends: [
   "dune" {>= "3.8"}
   "coq-interval" {>= "4.9.0"}
-  "coq-quantumlib" {>= "1.3.0"}
+  "coq-quantumlib" {= "1.3.0"}
   "coq" {>= "8.16"}
   "odoc" {with-doc}
 ]

diff --git a/dune-project b/dune-project
@@ -17,7 +17,7 @@
  )
  (depends
    (coq-interval (>= 4.9.0))
-   (coq-quantumlib (>= 1.3.0))
+   (coq-quantumlib (= 1.3.0))
    (coq (>= 8.16))))
 
 (package