Update packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

jim-portegies · samoht · web-flow · commit affbbbc85acb · 2023-08-29T07:52:12.000+02:00
Co-authored-by: Thomas Gazagnaire &lt;thomas@gazagnaire.org&gt;
diff --git a/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam b/packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam
@@ -23,6 +23,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.14.1"}
   "coq" {>= "8.17" & < "8.18"}
+  "dune" {>= "3.6."}
 ]
 
 build: [

Original file line number	Diff line number	Diff line change
`@@ -23,6 +23,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"`
`23`	`23`	`depends: [`
`24`	`24`	`"ocaml" {>= "4.14.1"}`
`25`	`25`	`"coq" {>= "8.17" & < "8.18"}`
	`26`	`+ "dune" {>= "3.6."}`
`26`	`27`	`]`
`27`	`28`
`28`	`29`	`build: [`