Name	Size	Modified
	../	—	—
	dafny_2.3.0+dfsg-0.1_all.deb	478.3 KB	Jan 19, 2020
	dafny_2.3.0+dfsg-0.1.debian.tar.xz	10.2 KB	Jan 14, 2020
	dafny_2.3.0+dfsg-0.1.dsc	1.9 KB	Jan 14, 2020
	dafny_2.3.0+dfsg.orig.tar.xz	2.1 MB	Jan 14, 2020