English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[newbie] miscellaneous on installation and web site
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-01 (21:32)
From: Sylvain Le Gall <sylvain@l...>
Subject: Re: [newbie] miscellaneous on installation and web site
On 01-03-2010, Marco Maggi <marco.maggi-ipsu@poste.it> wrote:
> "Marco Maggi" wrote:
>> So am  I correct in saying  that MLGMP is  orphaned and no
>> maintained GMP/MPFR/... package exists?
> Wait!  Found something here:

This is just Debian/Ubuntu people working on the packaging (not the
library). But even if there has been no release for a while, it doesn't
mean that it is orphaned or unmaintained...

Try it to see if it is working.

Sylvain Le Gall