../ prooftree_0.12-1build1_amd64.deb 24-Dec-2013 00:03 583K prooftree_0.12-1build1_i386.deb 24-Dec-2013 00:03 532K prooftree_0.12-2build1_amd64.deb 05-Nov-2015 01:30 593K prooftree_0.12-2build1_i386.deb 05-Nov-2015 01:31 565K prooftree_0.13-1build3_amd64.deb 28-Oct-2017 16:40 812K prooftree_0.13-1build3_i386.deb 28-Oct-2017 16:40 733K prooftree_0.13-1build9_amd64.deb 12-Mar-2020 16:08 1M prooftree_0.13-2build4_amd64.deb 25-Jan-2022 20:31 1M