Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
prover9_2009-11A-0_x86_64.deb 2022-01-14 22:00 895K
prover9_2009-11A-0_i686.deb 2022-01-14 22:00 643K
prover9_2009-11A-0_arm.deb 2022-01-14 22:00 509K
prover9_2009-11A-0_aarch64.deb 2022-01-14 22:00 784K