Please wait until we finish indexing this package to access /control.

About

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.

Description

verifiable programming language (compiler)

Relations

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.

Package Contents

This package is currently being indexed.

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.