Index of /debian/pool/main/b/brial/

../
brial_1.2.4-2.debian.tar.xz                        20-Oct-2018 09:44                6552
brial_1.2.4-2.dsc                                  20-Oct-2018 09:44                2408
brial_1.2.4.orig.tar.gz                            01-Oct-2018 17:26             1721194
libbrial-dev_1.2.4-2_amd64.deb                     20-Oct-2018 10:34               90780
libbrial-groebner-dev_1.2.4-2_amd64.deb            20-Oct-2018 10:34               45660
libbrial-groebner3_1.2.4-2_amd64.deb               20-Oct-2018 10:34              446540
libbrial3_1.2.4-2_amd64.deb                        20-Oct-2018 10:34              174740
python-brial_1.2.4-2_amd64.deb                     20-Oct-2018 10:34               47964
python3-brial_1.2.4-2_amd64.deb                    20-Oct-2018 10:34               48004