Index of /d/deal.ii

	Name	Last modified	Size	Description
	Parent Directory		-
	REPORT	18-Sep-2019 15:48	1.7K
	deal.ii_9.1.1-4.debian.tar.xz	24-Aug-2019 10:35	8.4K
	deal.ii_9.1.1-4.dsc	24-Aug-2019 10:35	2.7K
	deal.ii_9.1.1-4ubuntu1.debian.tar.xz	28-Aug-2019 07:05	8.7K
	deal.ii_9.1.1-4ubuntu1.dsc	28-Aug-2019 07:05	2.8K
	deal.ii_9.1.1-4ubuntu1.patch	28-Aug-2019 07:08	2.5K
	deal.ii_9.1.1-6.debian.tar.xz	18-Sep-2019 15:36	8.4K
	deal.ii_9.1.1-6.dsc	18-Sep-2019 15:36	2.7K
	deal.ii_9.1.1-6.patch	18-Sep-2019 15:41	696
	deal.ii_9.1.1-6ubuntu1.src.tar.gz	18-Sep-2019 15:48	163M
	deal.ii_9.1.1.orig.tar.xz	23-Jul-2019 15:35	155M