Debian Patches
Status for dafny/2.3.0+dfsg-0.1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| use_system_z3.diff | Use system Z3 Dafny by default looks for its vendored Z3. Modify it to look for the system Z3 installation instead. |
Benjamin Barenblat <bbaren@mit.edu> | not-needed |
All known versions for source package 'dafny'
- 2.3.0+dfsg-0.1 (bookworm)