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

Update packages/why3find/why3find.1.0/opam

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

btjorge 252e2c3d c50dd3e5

options
unified split
Changed files
+1 -1
packages
why3find
why3find.1.0
opam
+1 -1
packages/why3find/why3find.1.0/opam 
···

       
14

       
 

       
doc: "https://git.frama-c.com/pub/why3find"


     

       
15

       
 

       
bug-reports: "https://git.frama-c.com/pub/why3find/issues"


     

       
16

       
 

       
depends: [


     

       
17

       
-

       
  "dune" {>= "3.1" & >= "3.5"}


     

       
18

       
 

       
  "dune-site" {>= "3.5"}


     

       
19

       
 

       
  "why3" {>= "1.7.0" & < "1.8.0"}


     

       
20

       
 

       
  "ocaml" {>= "4.13.0"}


     
···

       
14

       
 

       
doc: "https://git.frama-c.com/pub/why3find"


     

       
15

       
 

       
bug-reports: "https://git.frama-c.com/pub/why3find/issues"


     

       
16

       
 

       
depends: [


     

       
17

       
+

       
  "dune" {>= "3.5"}


     

       
18

       
 

       
  "dune-site" {>= "3.5"}


     

       
19

       
 

       
  "why3" {>= "1.7.0" & < "1.8.0"}


     

       
20

       
 

       
  "ocaml" {>= "4.13.0"}