This package is 13.6 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/b/boogie/boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
.
View its full control file here:
debian/control.
verifiable programming language (compiler)
This package depends on:
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).
This package does not recommend any other package.
This package suggests:
libgtk2.0-0.
This package does not conflict with any other package.
boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 is in ubuntu - bionic / universe. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.