../ 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_amd64.deb 04-Nov-2015 23:30 606832 prooftree_0.12-2build1_i386.deb 04-Nov-2015 23:31 578072 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_amd64.deb 12-Mar-2020 14:08 1066252