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