dafny 1.9.5-1 source package in Debian
Changelog
dafny (1.9.5-1) unstable; urgency=medium * Initial release. -- Benjamin Barenblat <email address hidden> Wed, 06 Apr 2016 16:48:37 -0400
Upload details
- Uploaded by:
- Benjamin Barenblat
- Uploaded to:
- Sid
- Original maintainer:
- Benjamin Barenblat
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
dafny_1.9.5-1.dsc | 1.8 KiB | cb0fedc24d6e5dcb520890efda576bd0b712156271054e1dcea12a442b3b64fe |
dafny_1.9.5.orig.tar.gz | 3.3 MiB | ddfcee9c5e1312504616212a4d4b622c66f1fdf705ee3a372e47fbf5f53dda75 |
dafny_1.9.5-1.debian.tar.xz | 9.4 KiB | d4f317ad86c19b27d0994db2041319d152bcaca528d4df06d4606d4edb551e9a |
No changes file available.