../ prooftree_0.12-1build1.debian.tar.gz 23-Dec-2013 21:43 2206 prooftree_0.12-1build1.dsc 23-Dec-2013 21:43 1385 prooftree_0.12-1build1_amd64.deb 23-Dec-2013 22:03 596810 prooftree_0.12-1build1_i386.deb 23-Dec-2013 22:03 544352 prooftree_0.12-2build1.debian.tar.xz 04-Nov-2015 23:30 3048 prooftree_0.12-2build1.dsc 04-Nov-2015 23:30 1676 prooftree_0.12-2build1_amd64.deb 04-Nov-2015 23:30 606832 prooftree_0.12-2build1_i386.deb 04-Nov-2015 23:31 578072 prooftree_0.12.orig.tar.gz 17-Jul-2013 08:38 103680 prooftree_0.13-1build3.debian.tar.xz 28-Oct-2017 14:39 2588 prooftree_0.13-1build3.dsc 28-Oct-2017 14:39 2093 prooftree_0.13-1build3_amd64.deb 28-Oct-2017 14:40 831548 prooftree_0.13-1build3_i386.deb 28-Oct-2017 14:40 750080 prooftree_0.13-1build9.debian.tar.xz 12-Mar-2020 14:08 2692 prooftree_0.13-1build9.dsc 12-Mar-2020 14:08 2125 prooftree_0.13-1build9_amd64.deb 12-Mar-2020 14:08 1066252 prooftree_0.13-2build4.debian.tar.xz 25-Jan-2022 18:31 2616 prooftree_0.13-2build4.dsc 25-Jan-2022 18:31 2025 prooftree_0.13-2build4_amd64.deb 25-Jan-2022 18:31 1312732 prooftree_0.13.orig.tar.gz 14-Jan-2017 23:13 113178