Package: boogie Architecture: all Version: 2.4.1+dfsg-0.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: 41 Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220) Suggests: libgtk2.0-0 Filename: pool/universe/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb Size: 14000 MD5sum: d982adfbe351b70b92d911e68765c6d0 SHA1: 4580c7e3947fd327fe8c2b26bcd4736635a2030a SHA256: b7326f6fa285fc5b10f698147b7dc6b0126719b85337dd6f9f81b47d8c087d5b SHA512: 89152ad5e2e75ece4389c62cbae69987858bec9726e178702ace5838eeea34606badfcb580cd88f40eeac0cd37d4720b971eee17418ee5a2e03e4c330f34ab99 Homepage: http://research.microsoft.com/en-us/projects/boogie/ Description: verifiable programming language (compiler) Description-md5: ff05d0b0aea623bace962f4c12b777bd