Index of /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-2.debian.tar.xz                     14-May-2020 01:13                2464
prooftree_0.13-2.dsc                               14-May-2020 01:13                1976
prooftree_0.13-2_amd64.deb                         14-May-2020 01:28             1058068
prooftree_0.13-2build3.debian.tar.xz               18-Jan-2021 15:23                2592
prooftree_0.13-2build3.dsc                         18-Jan-2021 15:23                2025
prooftree_0.13-2build3_amd64.deb                   18-Jan-2021 15:43             1084792
prooftree_0.13.orig.tar.gz                         15-Jan-2017 01:13              113178