THE OPEN SOURCE NETWORK

dafny

/ubuntu/pool/universe/d/dafny/

Name ↑	Modified (UTC)	Size
Parent directory	—	—
dafny_1.9.7-1.debian.tar.xz	06 Jun 2016, 11:14	10.3 KiB
dafny_1.9.7-1.dsc	06 Jun 2016, 11:14	1.5 KiB
dafny_1.9.7-1_all.deb	22 Aug 2016, 07:36	837.6 KiB
dafny_1.9.7.orig.tar.gz	06 Jun 2016, 11:14	6.1 MiB
dafny_2.3.0+dfsg-0.1.debian.tar.xz	20 Jan 2020, 11:23	10.2 KiB
dafny_2.3.0+dfsg-0.1.dsc	20 Jan 2020, 11:23	1.9 KiB
dafny_2.3.0+dfsg-0.1_all.deb	20 Jan 2020, 11:43	478.3 KiB
dafny_2.3.0+dfsg.orig.tar.xz	20 Jan 2020, 11:23	2.1 MiB