PACKAGE NAME: libm4rie-20130416
INSTALL DATE: mercredi 25 décembre 2013, 23:25:12 (UTC+0100)
UNAME: Linux infres2 3.10-3-sparc64-smp #1 SMP Debian 3.10.11-1 (2013-09-10) sparc64 GNU/Linux
Sage version 5.13, released 2013-12-15
