Index of /pub/GNU/gnu/gnu/aris
Name Last modified Size
Parent Directory -
aris-1.0.tar.bz2 2012-05-10 13:59 316K
aris-1.0.tar.bz2.sig 2012-05-10 13:59 287
aris-1.0.tar.gz 2012-05-10 13:42 421K
aris-1.0.tar.gz.sig 2012-05-10 13:45 287
aris-1.7.tar.bz2 2012-05-24 17:22 374K
aris-1.7.tar.bz2.sig 2012-05-24 17:22 287
aris-1.7.tar.gz 2012-05-24 17:21 493K
aris-1.7.tar.gz.sig 2012-05-24 17:21 287
aris-1.8.tar.bz2 2012-07-15 22:36 371K
aris-1.8.tar.bz2.sig 2012-07-15 22:36 287
aris-1.8.tar.gz 2012-07-15 22:35 489K
aris-1.8.tar.gz.sig 2012-07-15 22:35 287
aris-2.0.tar.bz2 2012-09-25 13:26 353K
aris-2.0.tar.bz2.sig 2012-09-25 13:26 287
aris-2.0.tar.gz 2012-09-25 13:26 474K
aris-2.0.tar.gz.sig 2012-09-25 13:26 287
aris-2.1.1.tar.bz2 2013-09-14 18:58 250K
aris-2.1.1.tar.bz2.sig 2013-09-14 18:58 287
aris-2.1.1.tar.gz 2013-09-14 18:58 333K
aris-2.1.1.tar.gz.sig 2013-09-14 18:58 287
aris-2.1.tar.bz2 2013-08-30 15:08 293K
aris-2.1.tar.bz2.sig 2013-08-30 15:08 287
aris-2.1.tar.gz 2013-08-30 15:06 365K
aris-2.1.tar.gz.sig 2013-08-30 15:07 287
aris-2.2.tar.bz2 2014-03-06 23:45 264K
aris-2.2.tar.bz2.sig 2014-03-06 23:45 287
aris-2.2.tar.gz 2014-03-06 23:45 349K
aris-2.2.tar.gz.sig 2014-03-06 23:45 287
aris-w32-1.7.zip 2012-05-24 17:25 6.5M
aris-w32-1.7.zip.sig 2012-05-24 17:25 287
aris-w32-2.0.zip 2012-09-25 13:27 6.4M
aris-w32-2.0.zip.sig 2012-09-25 13:27 287
aris-w32-2.1.1.zip 2013-09-14 18:58 7.6M
aris-w32-2.1.1.zip.sig 2013-09-14 18:58 287
aris-w32-2.1.zip 2013-08-30 15:09 6.9M
aris-w32-2.1.zip.sig 2013-08-30 15:09 287
aris-w32-2.2.zip 2014-03-06 23:45 12M
aris-w32-2.2.zip.sig 2014-03-06 23:45 287
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80