Index of /distribution/ubuntu/ubuntu/pool/universe/p/prooftree/

../
prooftree_0.12-1build1.debian.tar.gz               23-Dec-2013 23:43                2206
prooftree_0.12-1build1.dsc                         23-Dec-2013 23:43                1385
prooftree_0.12-1build1_amd64.deb                   24-Dec-2013 00:03              596810
prooftree_0.12-1build1_i386.deb                    24-Dec-2013 00:03              544352
prooftree_0.12-2build1.debian.tar.xz               05-Nov-2015 01:30                3048
prooftree_0.12-2build1.dsc                         05-Nov-2015 01:30                1676
prooftree_0.12-2build1_amd64.deb                   05-Nov-2015 01:30              606832
prooftree_0.12-2build1_i386.deb                    05-Nov-2015 01:31              578072
prooftree_0.12.orig.tar.gz                         17-Jul-2013 10:38              103680
prooftree_0.13-1build3.debian.tar.xz               28-Oct-2017 16:39                2588
prooftree_0.13-1build3.dsc                         28-Oct-2017 16:39                2093
prooftree_0.13-1build3_amd64.deb                   28-Oct-2017 16:40              831548
prooftree_0.13-1build3_i386.deb                    28-Oct-2017 16:40              750080
prooftree_0.13-1build9.debian.tar.xz               12-Mar-2020 16:08                2692
prooftree_0.13-1build9.dsc                         12-Mar-2020 16:08                2125
prooftree_0.13-1build9_amd64.deb                   12-Mar-2020 16:08             1066252
prooftree_0.13-2build4.debian.tar.xz               25-Jan-2022 20:31                2616
prooftree_0.13-2build4.dsc                         25-Jan-2022 20:31                2025
prooftree_0.13-2build4_amd64.deb                   25-Jan-2022 20:31             1312732
prooftree_0.13-2build8.debian.tar.xz               16-Feb-2023 12:06                2664
prooftree_0.13-2build8.dsc                         16-Feb-2023 12:06                2000
prooftree_0.13-2build8_amd64.deb                   16-Feb-2023 14:57             1288214
prooftree_0.13.orig.tar.gz                         15-Jan-2017 01:13              113178