Index of /pool/main/b/brial/

../
brial_1.2.11-2.1.debian.tar.xz                     08-May-2024 13:13                7904
brial_1.2.11-2.1.dsc                               08-May-2024 13:13                2444
brial_1.2.11-2.1_riscv64.buildinfo                 05-Jul-2026 00:00               10170
brial_1.2.11.orig.tar.gz                           08-May-2024 13:13             1723672
libbrial-dev_1.2.11-2.1_riscv64.deb                05-Jul-2026 00:00               88596
libbrial-groebner-dev_1.2.11-2.1_riscv64.deb       05-Jul-2026 00:00               43380
libbrial-groebner3-dbgsym_1.2.11-2.1_riscv64.deb   05-Jul-2026 00:00             3330200
libbrial-groebner3_1.2.11-2.1_riscv64.deb          05-Jul-2026 00:00              453544
libbrial3-dbgsym_1.2.11-2.1_riscv64.deb            05-Jul-2026 00:00             1718040
libbrial3_1.2.11-2.1_riscv64.deb                   05-Jul-2026 00:00              150800
python3-brial_1.2.11-2.1_riscv64.deb               05-Jul-2026 00:00               45924