
9 Mar
2001
9 Mar
'01
2:57 a.m.
09 Mar 2001 15:50:42 +0900, Jens-Ulrik Petersen
(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