PACKAGE NAME: eclib-20120830
INSTALL DATE: jeudi 26 décembre 2013, 00:50:49 (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
