../ prooftree_0.13-2+b2_amd64.deb 15-Aug-2021 18:43 1M prooftree_0.13-2+b2_arm64.deb 15-Aug-2021 15:57 1M prooftree_0.13-2+b2_armhf.deb 15-Aug-2021 15:41 1008K prooftree_0.13-2+b2_i386.deb 15-Aug-2021 15:36 1003K prooftree_0.13-2.debian.tar.xz 13-May-2020 13:33 2464 prooftree_0.13-2.dsc 13-May-2020 13:33 1976 prooftree_0.13.orig.tar.gz 14-Jan-2017 18:21 111K