../ prooftree_0.13-2+b2_amd64.deb 31-Jul-2024 12:13 1084116 prooftree_0.13-2+b2_arm64.deb 31-Jul-2024 12:16 1284660 prooftree_0.13-2+b2_i386.deb 31-Jul-2024 12:19 1026844 prooftree_0.13-2.debian.tar.xz 31-Jul-2024 12:25 2464 prooftree_0.13-2.dsc 31-Jul-2024 12:25 1976 prooftree_0.13.orig.tar.gz 31-Jul-2024 12:25 113178