Index of /deb.debian.org/debian/pool/main/b/brial/

../
brial_1.2.10-1.debian.tar.xz                       12-Oct-2020 15:20                7344
brial_1.2.10-1.dsc                                 12-Oct-2020 15:20                2425
brial_1.2.10.orig.tar.gz                           12-Oct-2020 15:20             1723552
libbrial-dev_1.2.10-1+b1_amd64.deb                 14-Oct-2020 00:10               91600
libbrial-groebner-dev_1.2.10-1+b1_amd64.deb        14-Oct-2020 00:10               46316
libbrial-groebner3_1.2.10-1+b1_amd64.deb           14-Oct-2020 00:10              460528
libbrial3_1.2.10-1+b1_amd64.deb                    14-Oct-2020 00:10              157224
python3-brial_1.2.10-1+b1_amd64.deb                14-Oct-2020 00:10               48908