Index of ftp://ftp.fedora.is/pub/ubuntu/pool/universe/d/dafny

[DIR] Parent Directory

[ ] dafny_1.9.7-1_all.deb  837.65Kb  August 22 2016
[ ] dafny_1.9.7-1.debian.tar.xz  10.27Kb  June 6 2016
[ ] dafny_1.9.7-1.dsc  1.53Kb  June 6 2016
[ GZ] dafny_1.9.7.orig.tar.gz  6.10Mb  June 6 2016
[ ] dafny_2.3.0+dfsg-0.1_all.deb  478.31Kb  January 20 2020 at 11:43
[ ] dafny_2.3.0+dfsg-0.1.debian.tar.xz  10.17Kb  January 20 2020 at 11:23
[ ] dafny_2.3.0+dfsg-0.1.dsc  1.88Kb  January 20 2020 at 11:23
[ ] dafny_2.3.0+dfsg.orig.tar.xz  2.07Mb  January 20 2020 at 11:23