../ prooftree_0.12-1build1.debian.tar.gz 24-Dec-2013 01:13 2206 prooftree_0.12-1build1.dsc 24-Dec-2013 01:13 1385 prooftree_0.12-1build1_amd64.deb 24-Dec-2013 01:33 583K prooftree_0.12-1build1_i386.deb 24-Dec-2013 01:33 532K prooftree_0.12-2build1.debian.tar.xz 05-Nov-2015 03:00 3048 prooftree_0.12-2build1.dsc 05-Nov-2015 03:00 1676 prooftree_0.12-2build1_amd64.deb 05-Nov-2015 03:00 593K prooftree_0.12-2build1_i386.deb 05-Nov-2015 03:01 565K prooftree_0.12.orig.tar.gz 17-Jul-2013 12:08 101K prooftree_0.13-1build3.debian.tar.xz 28-Oct-2017 18:09 2588 prooftree_0.13-1build3.dsc 28-Oct-2017 18:09 2093 prooftree_0.13-1build3_amd64.deb 28-Oct-2017 18:10 812K prooftree_0.13-1build3_i386.deb 28-Oct-2017 18:10 733K prooftree_0.13-1build9.debian.tar.xz 12-Mar-2020 17:38 2692 prooftree_0.13-1build9.dsc 12-Mar-2020 17:38 2125 prooftree_0.13-1build9_amd64.deb 12-Mar-2020 17:38 1M prooftree_0.13-2build4.debian.tar.xz 25-Jan-2022 22:01 2616 prooftree_0.13-2build4.dsc 25-Jan-2022 22:01 2025 prooftree_0.13-2build4_amd64.deb 25-Jan-2022 22:01 1M prooftree_0.13.orig.tar.gz 15-Jan-2017 02:43 111K