Apache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
LATEST-IS-1.9.3 2009-11-29 22:59 1.6M
accerciser-1.9.3.tar.gz 2009-11-29 22:59 1.6M
accerciser-1.9.3.sha256sum 2009-11-29 22:59 181
accerciser-1.9.3.tar.bz2 2009-11-29 22:59 1.4M