Name						Size	Modified
----						----	--------
brial_1.2.12-1.1.debian.tar.xz			7.9 KiB	September 9, 2024 at 16:39:35
brial_1.2.12-1.1.dsc				2.4 KiB	September 9, 2024 at 16:39:35
brial_1.2.12.orig.tar.gz			1.6 MiB	September 9, 2024 at 16:39:35
libbrial-dev_1.2.12-1.1_amd64.deb		87 KiB	September 9, 2024 at 16:39:46
libbrial-groebner-dev_1.2.12-1.1_amd64.deb	42 KiB	September 9, 2024 at 16:39:46
libbrial-groebner3t64_1.2.12-1.1_amd64.deb	447 KiB	September 9, 2024 at 16:39:46
libbrial3t64_1.2.12-1.1_amd64.deb		158 KiB	September 9, 2024 at 16:39:46
python3-brial_1.2.12-1.1_amd64.deb		45 KiB	September 9, 2024 at 16:40:27