../ prooftree_0.12-1_amd64.deb 28-May-2013 18:28 781K prooftree_0.12-1_i386.deb 16-Jul-2013 04:56 610K prooftree_0.12-2.debian.tar.xz 14-Oct-2015 08:18 2964 prooftree_0.12-2.dsc 14-Oct-2015 08:18 2000 prooftree_0.12-2_amd64.deb 14-Oct-2015 08:18 596K prooftree_0.12-2_i386.deb 14-Oct-2015 10:31 567K