/control.
This package is 545.8 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/b/boogie/libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
.
View its full control file here:
debian/control.
verifiable programming language (library)
This package depends on:
libmono-corlib4.5-cil (>= 4.2.0), libmono-system-core4.0-cil (>= 4.2.0), libmono-system-drawing4.0-cil (>= 3.0.6), libmono-system-numerics4.0-cil (>= 1.0), libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1), libmono-system-windows-forms4.0-cil (>= 1.0), libmono-system-xml4.0-cil (>= 4.2.0), libmono-system4.0-cil (>= 4.2.0).
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libboogie-cil 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.