09 Mar 2001 15:50:42 +0900, Jens-Ulrik Petersen <jens-ulrik.petersen@nokia.com> pisze:
> > (BTW are there plans to upgrade to gmp3, which seems to be standard
> > now in the Linux world?)
>
> Any comments on this?
The CVS version of ghc uses gmp3 for a long time.
--
__("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK