../ prooftree_0.13-1.debian.tar.xz 24-Apr-2019 17:40 2364 prooftree_0.13-1.dsc 24-Apr-2019 17:40 2022 prooftree_0.13-1_mips64el.deb 24-Apr-2019 17:40 870K prooftree_0.13.orig.tar.gz 24-Apr-2019 17:40 111K