Index of /dev-deb-debian/pool/main/n/normaliz

	Name	Last modified	Size	Description
	Parent Directory		-
	libnormaliz-dev-common_3.6.3+ds-1_all.deb	2018-08-21 17:43	30K
	libnormaliz-dev-common_3.8.9+ds-0.1_all.deb	2020-10-12 11:23	47K
	libnormaliz-dev-common_3.9.4+ds-2_all.deb	2022-11-20 16:51	59K
	libnormaliz-dev_3.6.3+ds-1_amd64.deb	2018-08-21 17:33	692K
	libnormaliz-dev_3.8.9+ds-0.1_amd64.deb	2020-10-12 11:13	1.3M
	libnormaliz-dev_3.9.4+ds-2_amd64.deb	2022-11-20 16:56	1.5M
	libnormaliz3_3.6.3+ds-1_amd64.deb	2018-08-21 17:33	693K
	libnormaliz3_3.8.9+ds-0.1_amd64.deb	2020-10-12 11:13	1.2M
	libnormaliz3_3.9.4+ds-2_amd64.deb	2022-11-20 16:56	1.4M
	normaliz-bin_3.6.3+ds-1_amd64.deb	2018-08-21 17:33	82K
	normaliz-bin_3.8.9+ds-0.1_amd64.deb	2020-10-12 11:13	39K
	normaliz-bin_3.9.4+ds-2_amd64.deb	2022-11-20 16:56	39K
	normaliz-doc_3.6.3+ds-1_all.deb	2018-08-21 17:43	731K
	normaliz-doc_3.8.9+ds-0.1_all.deb	2020-10-12 11:23	816K
	normaliz-doc_3.9.4+ds-2_all.deb	2022-11-20 16:51	931K
	normaliz_3.6.3+ds-1_amd64.deb	2018-08-21 17:33	6.4K
	normaliz_3.8.9+ds-0.1_all.deb	2020-10-12 11:23	7.9K
	normaliz_3.9.4+ds-2_all.deb	2022-11-20 16:51	7.3K