../ prooftree_0.12-1.debian.tar.gz 28-May-2013 18:28 2120 prooftree_0.12-1.dsc 28-May-2013 18:28 2001 prooftree_0.12-1_armhf.deb 26-Jul-2013 11:11 854912 prooftree_0.12.orig.tar.gz 28-May-2013 18:28 103680