dafny 2.3.0+dfsg-0.1 source package in Debian
Changelog
dafny (2.3.0+dfsg-0.1) unstable; urgency=medium
* Non-maintainer upload.
* New upstream release.
* Update watch file.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.1.
* Change Priority from extra to optional in debian/control.
* Make the package build again (Closes: #852645, #934950).
* Enable autopkgtest package testing and add ackermann-{pos,neg} tests.
* Update debian/copyright.
* Update patch use_system_z3.diff.
* Add Vcs-Git and Vcs-Browser fields in debian/control.
-- Fabian Wolff <email address hidden> Tue, 14 Jan 2020 21:27:14 +0100
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 | |
|---|---|---|---|---|
| Bookworm | release | main | misc | |
| Bullseye | release | main | misc | |
| Sid | release | main | misc |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| dafny_2.3.0+dfsg-0.1.dsc | 1.9 KiB | 28566acdf347e815f57295eb2f08c2fd3db001aeac8cf1f6eef7e3a44a890880 |
| dafny_2.3.0+dfsg.orig.tar.xz | 2.1 MiB | 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d |
| dafny_2.3.0+dfsg-0.1.debian.tar.xz | 10.2 KiB | 3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839 |
Available diffs
- diff from 1.9.7-1 to 2.3.0+dfsg-0.1 (2.4 MiB)
No changes file available.
