libboogie-cil 2.4.1+dfsg-0.1 (armhf binary) in ubuntu kinetic
Boogie is a compiler intermediate language with support for automatic invariant
checking using an SMT solver such as Z3. It supports program verification for
a variety of other, higher-level languages, including Spec\#, C, Dafny, and
Chalice.
.
This package contains the Boogie library.
Details
- Package version:
- 2.4.1+dfsg-0.1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of boogie 2.4.1+dfsg-0.1 in ubuntu focal PROPOSED produced
these files:
- libboogie-cil_2.4.1+dfsg-0.1_all.deb (573.2 KiB)
Package relationships
- Depends on:
- libmono-corlib4.5-cil (>= 5.18.0.240)
- libmono-system-core4.0-cil (>= 5.18.0.240)
- libmono-system-drawing4.0-cil (>= 5.12.0.309)
- libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)
- libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- libmono-system-xml4.0-cil (>= 4.6.1.3)
- libmono-system4.0-cil (>= 5.18.0.240)