Index of /debian-ports/pool-x32/main/d/deal.ii

	Name	Last modified	Size	Description
	Parent Directory		-
	libdeal.ii-8.4.2-dbgsym_8.4.2-1_x32.deb	2016-09-06 00:03	366M
	libdeal.ii-8.4.2_8.4.2-1_x32.deb	2016-09-06 00:03	30M
	libdeal.ii-dev_8.4.2-1_x32.deb	2016-09-06 00:03	1.1M