deb_control_files:
- clilibs
- control
- md5sums
deb_fields:
Architecture: all
Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil
(>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil
(>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220),
libmono-system4.0-cil (>= 5.18.0.240)
Description: |-
programming language with program correctness verifier
Dafny is a programming language with a program verifier. The verifier
processes function preconditions, postconditions, and assertions, and sends
them to an SMT solver for checking. In this way, assertion failures become
compiler errors, rather than runtime ones.
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Installed-Size: '1852'
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Package: dafny
Priority: optional
Section: devel
Version: 2.3.0+dfsg-0.1
srcpkg_name: dafny
srcpkg_version: 2.3.0+dfsg-0.1