Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
accerciser-3.12.0.tar.xz 2014-03-25 00:12 3.1M
LATEST-IS-3.12.0 2014-03-25 00:12 3.1M
accerciser-3.12.0.news 2014-03-25 00:12 256
accerciser-3.12.0.sha256sum 2014-03-25 00:12 180