Of course, it could be argued that portability to all these machines is not all that important, in which case we can configure the package accordingly.
I am just curious - isn't it a problem for Debian build servers, that the package builts for 12 hours or even more? Ondrej _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
