../ prover9_2009-11A-0_aarch64.deb 14-Jan-2022 20:51 802316 prover9_2009-11A-0_arm.deb 14-Jan-2022 20:51 521536 prover9_2009-11A-0_i686.deb 14-Jan-2022 20:51 658640 prover9_2009-11A-0_x86_64.deb 14-Jan-2022 20:51 916080