../ prooftree-dbgsym_0.13-1_amd64.deb 14-Jan-2017 19:11 179604 prooftree-dbgsym_0.13-1_arm64.deb 14-Jan-2017 19:11 177248 prooftree-dbgsym_0.13-1_armhf.deb 14-Jan-2017 19:26 189964 prooftree-dbgsym_0.13-1_i386.deb 14-Jan-2017 19:11 172246 prooftree_0.13-1.debian.tar.xz 14-Jan-2017 18:21 2364 prooftree_0.13-1.dsc 14-Jan-2017 18:21 2022 prooftree_0.13.orig.tar.gz 14-Jan-2017 18:21 113178