boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 source package in Debian
Changelog
boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium ** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 ** * New snapshot for Dafny 1.9.8. * Build-Depend on tzdata (Closes: #839497). -- Benjamin Barenblat <email address hidden> Sat, 29 Oct 2016 21:52:24 -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 | |
---|---|---|---|---|
Stretch | release | main | misc |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1.8 KiB | 558271107960de778a6c6be297bbf881f348c407d892d12ef8228edc1c165b4a |
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1.8 MiB | 79a7bdf5a3ecb6dde8c0341a1d16537f2b5cc09771e573c84e19c5cfeecbcb85 |
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8.5 KiB | 0fa578e7b5d5c375c3c35e020d0ebed69d0d96cf9d52214d7d23c070c1cac63f |
Available diffs
No changes file available.