Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - accerciser-3.42.0.sha256sum 2023-10-08 12:22 180 accerciser-3.42.0.news 2023-10-08 12:22 918 LATEST-IS-3.42.0 2023-10-08 12:22 1.9M accerciser-3.42.0.tar.xz 2023-10-08 12:22 1.9M