../ brial_0.8.5-4.debian.tar.xz 26-Apr-2023 13:51 12K brial_0.8.5-4.dsc 26-Apr-2023 13:51 2573 brial_0.8.5.orig.tar.gz 26-Apr-2023 13:51 2M libbrial-dev_0.8.5-4_i386.deb 26-Apr-2023 13:51 96K libbrial-groebner-dev_0.8.5-4_i386.deb 26-Apr-2023 13:51 52K libbrial-groebner0-dbg_0.8.5-4_i386.deb 26-Apr-2023 13:51 3M libbrial-groebner0_0.8.5-4_i386.deb 26-Apr-2023 13:51 467K libbrial0-dbg_0.8.5-4_i386.deb 26-Apr-2023 13:51 2M libbrial0_0.8.5-4_i386.deb 26-Apr-2023 13:51 186K python-brial_0.8.5-4_i386.deb 26-Apr-2023 13:51 39K python-polybori_0.8.5-4_all.deb 26-Apr-2023 13:51 13K