[ocaml-platform] the most complete package description ever ?

Claude Marche Claude.Marche at inria.fr
Wed Apr 3 09:31:32 BST 2013

Hi all,

Le 02/04/2013 22:03, Thomas Gazagnaire a écrit :
> Seems that we have a good candidate for the "most complete" package description in OPAM :-)
> http://opam.ocamlpro.com/pkg/why3.0.81.html
> (although the "description" field does not contain a short first-line, but this gives a good idea of what metadata are available)

You're right, there should be an empty line after the first sentence

I take this opportunity to say that we (the Why3 developers) are very 
happy that OPAM exists, and we count on this support of OCamlPro to 
provide users with a robust installation procedure, that works on many 
different architectures.

So keep up the good work with OPAM !

- Claude

Claude Marché                          | tel: +33 1 72 92 59 69
INRIA Saclay - Île-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |

More information about the Platform mailing list