Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - prover9_2009-11A-1_aarch64.deb 2024-07-29 16:21 891K prover9_2009-11A-1_arm.deb 2024-07-29 16:21 522K prover9_2009-11A-1_i686.deb 2024-07-29 16:21 914K prover9_2009-11A-1_x86_64.deb 2024-07-29 16:21 906K