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

Merge pull request #19628 from bobot/why3-coq-1.4.0-coq-8.13

[Why3] why3-coq 1.4.0 supports coq 8.13*

Kate b7eb40e7 e3ebaaf6

options
unified split
Changed files
+1 -1
packages
why3-coq
why3-coq.1.4.0
opam
+1 -1
packages/why3-coq/why3-coq.1.4.0/opam 
···

       
37

       
 

       



     

       
38

       
 

       
depends: [


     

       
39

       
 

       
  "conf-autoconf" {build & dev}


     

       
40

       
-

       
  "coq" {>= "8.6" & < "8.13~"}


     

       
41

       
 

       
  "ocaml" {>= "4.05.0"}


     

       
42

       
 

       
  "ocamlfind" {build}


     

       
43

       
 

       
  "why3" {= version}


     
···

       
37

       
 

       



     

       
38

       
 

       
depends: [


     

       
39

       
 

       
  "conf-autoconf" {build & dev}


     

       
40

       
+

       
  "coq" {>= "8.6" & < "8.14~"}


     

       
41

       
 

       
  "ocaml" {>= "4.05.0"}


     

       
42

       
 

       
  "ocamlfind" {build}


     

       
43

       
 

       
  "why3" {= version}