../ prooftree_0.12-1+b1_armhf.deb 13-Dec-2013 11:13 876626 prooftree_0.12-1.debian.tar.gz 28-May-2013 18:28 2120 prooftree_0.12-1.dsc 28-May-2013 18:28 2001 prooftree_0.12-2+b5_armhf.deb 04-Nov-2015 23:12 612408 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.orig.tar.gz 28-May-2013 18:28 103680