[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