Package: boogie Architecture: all Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 Priority: extra Section: universe/cli-mono Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Benjamin Barenblat Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 42 Depends: libboogie-cil (= 2.3.0.61016+dfsg+3.gbp1f2d6c1-1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 4.2.0), libmono-system-windows-forms4.0-cil (>= 1.0) Suggests: libgtk2.0-0 Filename: pool/universe/b/boogie/boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb Size: 13942 MD5sum: 3fc008d976513ee54a21d4356dd1478c SHA1: beec5cf1db9ba478460713fbdfc539fe8bdce944 SHA256: 082fcba748daec236b2185d320d16bdc991bd860fd324a9dd3ab0698f6d9a9e5 Homepage: http://research.microsoft.com/en-us/projects/boogie/ Description: verifiable programming language (compiler) Description-md5: ff05d0b0aea623bace962f4c12b777bd