Index of /debian-ports/pool-hppa/main/b/brial/


../
brial_1.2.7-1+b2_hppa.buildinfo                    12-Feb-2020 00:03               10649
libbrial-dev_1.2.7-1+b2_hppa.deb                   12-Feb-2020 00:03               91260
libbrial-groebner-dev_1.2.7-1+b2_hppa.deb          12-Feb-2020 00:03               46076
libbrial-groebner3-dbgsym_1.2.7-1+b2_hppa.deb      12-Feb-2020 00:03             3973976
libbrial-groebner3_1.2.7-1+b2_hppa.deb             12-Feb-2020 00:03              471172
libbrial3-dbgsym_1.2.7-1+b2_hppa.deb               12-Feb-2020 00:03             2570340
libbrial3_1.2.7-1+b2_hppa.deb                      12-Feb-2020 00:03              179632
python3-brial_1.2.7-1+b2_hppa.deb                  12-Feb-2020 00:03               48652