Add coinst tool suite.

Done in
https://github.com/rdicosmo/opam-repository/commit/a7cd528df6e45df9e35304b1fe5e017fb45ed8be

:-)



2014-06-19 11:53 GMT+02:00 Thomas Gazagnaire <notifications@github.com>:

> In packages/coinst/coinst.1.9.1/opam:
>
> > @@ -0,0 +1,15 @@
> > +opam-version: "1"
> > +maintainer: "roberto@dicosmo.org"
> > +build: [
> > + ["make" "depend"]
>
> @rdicosmo <https://github.com/rdicosmo> feel free to fix the other ones
> as well :)
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/ocaml/opam-repository/pull/2263/files#r13960393>.
>



-- 
Roberto Di Cosmo

------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:

Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3