../ prooftree_0.13-1.debian.tar.xz 26-Apr-2023 16:29 2364 prooftree_0.13-1.dsc 26-Apr-2023 16:29 2022 prooftree_0.13-1_i386.deb 26-Apr-2023 16:29 632K prooftree_0.13.orig.tar.gz 26-Apr-2023 16:29 111K