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

Add dev-repo field

jim-portegies fb018745 affbbbc8

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 
···

       
18

       
18

       
 

       



     

       
19

       
19

       
 

       
license: "LGPL-3.0-or-later"


     

       
20

       
20

       
 

       
homepage: "https://github.com/impermeable/coq-waterproof"


     

       

       
21

       
+

       
dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"


     

       
21

       
22

       
 

       
bug-reports: "https://github.com/impermeable/coq-waterproof/issues"


     

       
22

       
23

       
 

       



     

       
23

       
24

       
 

       
depends: [