Index of /pios/debian/pool/main/d/deal.ii

	Name	Last modified	Size	Description
	Parent Directory		-
	libdeal.ii-doc_9.2.0-3_all.deb	2020-12-03 11:10	189M
	libdeal.ii-dev_9.2.0-3+b2_arm64.deb	2020-12-28 03:27	1.7M
	libdeal.ii-9.2.0_9.2.0-3+b2_arm64.deb	2020-12-28 03:27	57M