Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
accerciser-3.40.0.news 2022-07-29 00:32 507
LATEST-IS-3.40.0 2022-07-29 00:32 1.9M
accerciser-3.40.0.tar.xz 2022-07-29 00:32 1.9M
accerciser-3.40.0.sha256sum 2022-07-29 00:32 180