Index of /by-release/changes-files/debian/d/dafny

	Name	Last modified	Size	Description
	Parent Directory		-
	dafny_1.9.5-1_source.changes.bz2	2016-04-07 22:05	720
	dafny_1.9.7-1_source.changes.bz2	2016-06-06 06:05	738
	dafny_2.3.0+dfsg-0.1_source.changes.bz2	2020-01-20 09:35	1.0K