![[NLUUG]](/.ignore_logo.webp){kind=logo}
The large public mirror server for open source projects hosted by NLUUG and Surfnet
/debian/pool/main/d/dafny/| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| ../ | - | 2025-Oct-28 18:00 |
| ./ | - | 2020-Jan-23 14:28 |
| dafny_2.3.0+dfsg.orig.tar.xz | 2.1 MiB | 2020-Jan-15 02:55 |
| dafny_2.3.0+dfsg-0.1_all.deb | 478.3 KiB | 2020-Jan-20 03:32 |
| dafny_2.3.0+dfsg-0.1.dsc | 1.9 KiB | 2020-Jan-15 02:55 |
| dafny_2.3.0+dfsg-0.1.debian.tar.xz | 10.2 KiB | 2020-Jan-15 02:55 |
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!