PACKAGE NAME: libm4ri-20130416
INSTALL DATE: mardi 24 décembre 2013, 16:54:00 (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
