../ prooftree_0.12-1.debian.tar.gz 28-May-2013 15:28 2120 prooftree_0.12-1.dsc 28-May-2013 15:28 2001 prooftree_0.12-1_amd64.deb 28-May-2013 15:28 800038 prooftree_0.12.orig.tar.gz 28-May-2013 15:28 103680 prooftree_0.13-1.debian.tar.xz 14-Jan-2017 15:21 2364 prooftree_0.13-1.dsc 14-Jan-2017 15:21 2022 prooftree_0.13-1_amd64.deb 14-Jan-2017 16:11 695736 prooftree_0.13.orig.tar.gz 14-Jan-2017 15:21 113178