On 01-03-2010, Marco Maggi <marco.maggi-i...@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: > ><https://code.launchpad.net/~ubuntu-branches/ubuntu/lucid/mlgmp/lucid>
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. Regards, Sylvain Le Gall _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs