dafny 1.9.7-1 source package in Debian
Changelog
dafny (1.9.7-1) unstable; urgency=medium * New upstream release. -- Benjamin Barenblat <email address hidden> Sun, 05 Jun 2016 17:10: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.7-1.dsc | 1.5 KiB | 05bf1920242b5381747cb867ad038327e8d43e9fa4130b79836f20b7408d1da8 |
dafny_1.9.7.orig.tar.gz | 6.1 MiB | bee7bac4aa5328b771193df1272e644b7c7afdad56ade15cd6a80c2a55d232d9 |
dafny_1.9.7-1.debian.tar.xz | 10.3 KiB | f9b3f3d70fe00d39f3761a6b14c94f6eb3a11ace14adc894b095d01d30de0803 |
Available diffs
- diff from 1.9.5-1 to 1.9.7-1 (817.4 KiB)
No changes file available.