Index of /debian/pool/main/b/brial

	Name	Last modified	Size	Description
	Parent Directory		-
	brial_1.2.4-2.dsc	2018-10-20 17:44	2.4K
	brial_0.8.5-4.dsc	2017-01-08 16:48	2.5K
	brial_1.2.4-2.debian.tar.xz	2018-10-20 17:44	6.4K
	brial_0.8.5-4.debian.tar.xz	2017-01-08 16:48	12K
	python-polybori_0.8.5-4_all.deb	2017-01-08 16:48	13K
	python-brial_0.8.5-4_amd64.deb	2017-01-08 16:48	39K
	libbrial-groebner-dev_1.2.4-2_amd64.deb	2018-10-20 18:34	45K
	python-brial_1.2.4-2_amd64.deb	2018-10-20 18:34	47K
	python3-brial_1.2.4-2_amd64.deb	2018-10-20 18:34	47K
	libbrial-groebner-dev_0.8.5-4_amd64.deb	2017-01-08 16:48	52K
	libbrial-dev_1.2.4-2_amd64.deb	2018-10-20 18:34	89K
	libbrial-dev_0.8.5-4_amd64.deb	2017-01-08 16:48	96K
	libbrial3_1.2.4-2_amd64.deb	2018-10-20 18:34	171K
	libbrial0_0.8.5-4_amd64.deb	2017-01-08 16:48	176K
	libbrial-groebner3_1.2.4-2_amd64.deb	2018-10-20 18:34	436K
	libbrial-groebner0_0.8.5-4_amd64.deb	2017-01-08 16:48	447K
	brial_1.2.4.orig.tar.gz	2018-10-02 01:26	1.6M
	libbrial0-dbg_0.8.5-4_amd64.deb	2017-01-08 16:48	1.9M
	brial_0.8.5.orig.tar.gz	2016-10-09 20:34	2.3M
	libbrial-groebner0-dbg_0.8.5-4_amd64.deb	2017-01-08 16:48	3.4M