../ brial_1.2.11-2.1.debian.tar.xz 08-Jun-2023 19:25 7904 brial_1.2.11-2.1.dsc 08-Jun-2023 19:25 2444 brial_1.2.11.orig.tar.gz 21-Dec-2022 18:14 1723672 libbrial-dev_1.2.11-2.1_amd64.deb 08-Jun-2023 19:28 88596 libbrial-groebner-dev_1.2.11-2.1_amd64.deb 08-Jun-2023 20:09 43380 libbrial-groebner3_1.2.11-2.1_amd64.deb 08-Jun-2023 20:07 456948 libbrial3_1.2.11-2.1_amd64.deb 08-Jun-2023 20:27 157312 python3-brial_1.2.11-2.1_amd64.deb 08-Jun-2023 20:00 45920