Index of /d/deal.ii

	Name	Last modified	Size	Description
	Parent Directory		-
	REPORT	19-May-2022 13:09	1.7K
	deal.ii_9.3.2-1.debian.tar.xz	23-Mar-2022 15:05	10K
	deal.ii_9.3.2-1.dsc	23-Mar-2022 15:05	2.7K
	deal.ii_9.3.2-1.patch	01-Apr-2022 03:40	597
	deal.ii_9.3.2-1ubuntu1.src.tar.gz	19-May-2022 13:09	200M
	deal.ii_9.3.2-1~exp1.debian.tar.xz	05-Dec-2021 22:05	10K
	deal.ii_9.3.2-1~exp1.dsc	05-Dec-2021 22:05	2.7K
	deal.ii_9.3.2-1~exp1ubuntu2.debian.tar.xz	19-May-2022 12:35	11K
	deal.ii_9.3.2-1~exp1ubuntu2.dsc	19-May-2022 12:35	2.8K
	deal.ii_9.3.2-1~exp1ubuntu2.patch	19-May-2022 12:55	1.8K
	deal.ii_9.3.2.orig.tar.xz	05-Dec-2021 22:05	191M