Merge pull request #58 from inQWIRE/fix-dune

adrianleh · web-flow · commit 18300ad6add0 · 2024-07-11T21:39:37.000-05:00
fixing build
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

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ bug-reports: "https://github.com/inQWIRE/SQIR/issues"`
`14`	`14`	`depends: [`
`15`	`15`	`"dune" {>= "3.8"}`
`16`	`16`	`"coq-interval" {>= "4.9.0"}`
`17`		`- "coq-quantumlib" {>= "1.3.0"}`
	`17`	`+ "coq-quantumlib" {= "1.3.0"}`
`18`	`18`	`"coq" {>= "8.16"}`
`19`	`19`	`"odoc" {with-doc}`
`20`	`20`	`]`