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

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

Co-authored-by: Thomas Gazagnaire <thomas@gazagnaire.org>

jim-portegies affbbbc8 6a8cc51a

options
unified split
Changed files
+1
packages
coq-waterproof
coq-waterproof.2.0.1+8.17
opam
+1
packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam 
···

       
23

       
 

       
depends: [


     

       
24

       
 

       
  "ocaml" {>= "4.14.1"}


     

       
25

       
 

       
  "coq" {>= "8.17" & < "8.18"}


     

       

       

       
     

       
26

       
 

       
]


     

       
27

       
 

       



     

       
28

       
 

       
build: [


     
···

       
23

       
 

       
depends: [


     

       
24

       
 

       
  "ocaml" {>= "4.14.1"}


     

       
25

       
 

       
  "coq" {>= "8.17" & < "8.18"}


     

       
26

       
+

       
  "dune" {>= "3.6."}


     

       
27

       
 

       
]


     

       
28

       
 

       



     

       
29

       
 

       
build: [