Add coinst tool suite.

I also sent mails to the maintainers to let them know.


2014-06-19 12:01 GMT+02:00 Roberto Di Cosmo <roberto@dicosmo.org>:

> 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
>



-- 
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