Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
accerciser-3.13.92.tar.xz 2014-09-16 00:20 3.1M
LATEST-IS-3.13.92 2014-09-16 00:20 3.1M
accerciser-3.13.92.news 2014-09-16 00:20 580
accerciser-3.13.92.sha256sum 2014-09-16 00:20 182