../ brial_1.2.0-2.debian.tar.xz 30-Dec-2017 17:33 6376 brial_1.2.0-2.dsc 30-Dec-2017 17:33 2387 brial_1.2.0.orig.tar.gz 30-Dec-2017 17:33 1720996 libbrial-dev_1.2.0-2_i386.deb 31-Dec-2017 09:44 87328 libbrial-groebner-dev_1.2.0-2_i386.deb 31-Dec-2017 09:44 42328 libbrial-groebner3_1.2.0-2_i386.deb 31-Dec-2017 09:44 463268 libbrial3_1.2.0-2_i386.deb 31-Dec-2017 09:44 177092 python-brial_1.2.0-2_i386.deb 31-Dec-2017 09:44 44620