../ prover9-mace4_0.5.dfsg-1_all.deb 29-Feb-2008 21:17 66K prover9-mace4_0.5.dfsg-2.1_all.deb 04-Dec-2011 05:04 68K prover9-mace4_0.5.dfsg-2.2_all.deb 30-Aug-2014 16:05 57K prover9-mace4_0.5.dfsg-2_all.deb 03-May-2009 19:18 66K prover9-mace4_0.5.dfsg-3_all.deb 14-Dec-2015 17:37 51K