"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> -- Marco Maggi _______________________________________________ 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