../ prooftree_0.12-1_amd64.deb 28-May-2013 18:28 800038 prooftree_0.12-1_i386.deb 16-Jul-2013 04:56 624678 prooftree_0.13-1_amd64.deb 14-Jan-2017 19:11 695736 prooftree_0.13-1_i386.deb 14-Jan-2017 19:11 646736 prooftree_0.13-2+b1_amd64.deb 14-Oct-2020 05:26 1086312 prooftree_0.13-2+b1_i386.deb 14-Oct-2020 05:16 1026064