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'

Links