../ p9m4_0.5.dfsg-3.debian.tar.xz 14-Dec-2015 15:51 8792 prover9-mace4_0.5.dfsg-2.1_all.deb 04-Dec-2011 05:04 69194 prover9-mace4_0.5.dfsg-2.2_all.deb 30-Aug-2014 16:05 58508 prover9-mace4_0.5.dfsg-3_all.deb 14-Dec-2015 17:37 52670