[opam-devel] opam/ocp-index integration guidelines

Daniel Bünzli daniel.buenzli at erratique.ch
Wed Dec 18 13:00:45 GMT 2013


Le mercredi, 18 décembre 2013 à 13:47, Thomas Gazagnaire a écrit :
> > Should I file a bug report with ocp-index ?
>  
>  
> Yes please.

https://github.com/OCamlPro/ocp-index/issues/26

Daniel   




More information about the opam-devel mailing list