dafny 1.9.7-1 (amd64 binary) in ubuntu focal
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.
Details
- Package version:
- 1.9.7-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of dafny 1.9.7-1 in ubuntu yakkety PROPOSED produced
these files:
- dafny_1.9.7-1_all.deb (837.6 KiB)
Package relationships
- Depends on:
- libmono-corlib4.5-cil (>= 4.2.0)
- libmono-system-core4.0-cil (>= 4.2.0)
- libmono-system-drawing4.0-cil (>= 3.0.6)
- libmono-system-numerics4.0-cil (>= 1.0)
- libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1)
- libmono-system-windows-forms4.0-cil (>= 1.0)
- libmono-system-xml4.0-cil (>= 4.2.0)
- libmono-system4.0-cil (>= 4.2.0)
- mono-mcs
- mono-runtime (>= 3.0~)
- z3