../ dafny_1.9.7-1.debian.tar.xz 06-Jun-2016 11:14 10520 dafny_1.9.7-1.dsc 06-Jun-2016 11:14 1571 dafny_1.9.7-1_all.deb 22-Aug-2016 07:36 857752 dafny_1.9.7.orig.tar.gz 06-Jun-2016 11:14 6397056 dafny_2.3.0+dfsg-0.1.debian.tar.xz 20-Jan-2020 11:23 10412 dafny_2.3.0+dfsg-0.1.dsc 20-Jan-2020 11:23 1924 dafny_2.3.0+dfsg-0.1_all.deb 20-Jan-2020 11:43 489788 dafny_2.3.0+dfsg.orig.tar.xz 20-Jan-2020 11:23 2167124
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.