anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25128 from avsm/why3-upper

why3-coq: upper bound on coq

authored by

Anil Madhavapeddy and committed by
GitHub b2b4213e 309559a8

+2 -2
+1 -1
packages/why3-coq/why3-coq.1.7.0/opam
··· 38 38 39 39 depends: [ 40 40 "conf-autoconf" {build & dev} 41 - "coq" {>= "8.11"} 41 + "coq" {>= "8.11" & <"8.19"} 42 42 "ocaml" {>= "4.08.0"} 43 43 "ocamlfind" {build} 44 44 "why3" {= version}
+1 -1
packages/why3-coq/why3-coq.1.7.1/opam
··· 39 39 40 40 depends: [ 41 41 "conf-autoconf" {build & dev} 42 - "coq" {>= "8.11"} 42 + "coq" {>= "8.11" & <"8.19"} 43 43 "ocaml" {>= "4.08.0"} 44 44 "ocamlfind" {build} 45 45 "why3" {= version}