deb_control_files:
- clilibs
- control
- md5sums
deb_fields:
Architecture: all
Depends: 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)
Description: |-
verifiable programming language (library)
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.
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Installed-Size: '1918'
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Package: libboogie-cil
Priority: optional
Section: cli-mono
Source: boogie
Version: 2.4.1+dfsg-0.1
srcpkg_name: boogie
srcpkg_version: 2.4.1+dfsg-0.1