Index of /changelogs/main/d/dafny

	Name	Last modified	Size
	Parent Directory		-
	dafny_2.3.0+dfsg-0.1_changelog	2020-01-14 20:27	882
	dafny_2.3.0+dfsg-0.1_copyright	2020-01-14 20:27	2.3K
	oldstable_changelog	2020-01-14 20:27	882
	oldstable_copyright	2020-01-14 20:27	2.3K
	stable_changelog	2020-01-14 20:27	882
	stable_copyright	2020-01-14 20:27	2.3K
	testing_changelog	2020-01-14 20:27	882
	testing_copyright	2020-01-14 20:27	2.3K
	unstable_changelog	2020-01-14 20:27	882
	unstable_copyright	2020-01-14 20:27	2.3K