This package is 546.3 KB.
It is available at http://ftp.debian.org/debian/pool/main/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-system-core4.0-cil (>= 4.6.1.3), libmono-system-drawing4.0-cil (>= 4.6.1.3), libmono-system-numerics4.0-cil (>= 4.6.1.3), libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1), libmono-system-windows-forms4.0-cil (>= 1.0), libmono-system-xml4.0-cil (>= 4.6.1.3), libmono-system4.0-cil (>= 4.6.1.3).
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 debian - stretch / main. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/boogie/
|
root:root | 0o755 | ||
/usr/lib/boogie/BoogieAbsInt.dll
|
application/x-dosexec | root:root | 0o644 | 38.5 KB |
/usr/lib/boogie/BoogieBasetypes.dll
|
application/x-dosexec | root:root | 0o644 | 26.5 KB |
/usr/lib/boogie/BoogieCodeContractsExtender.dll
|
application/x-dosexec | root:root | 0o644 | 7.0 KB |
/usr/lib/boogie/BoogieConcurrency.dll
|
application/x-dosexec | root:root | 0o644 | 102.5 KB |
/usr/lib/boogie/BoogieCore.dll
|
application/x-dosexec | root:root | 0o644 | 452.0 KB |
/usr/lib/boogie/BoogieDoomed.dll
|
application/x-dosexec | root:root | 0o644 | 43.0 KB |
/usr/lib/boogie/BoogieExecutionEngine.dll
|
application/x-dosexec | root:root | 0o644 | 63.0 KB |
/usr/lib/boogie/BoogieGraph.dll
|
application/x-dosexec | root:root | 0o644 | 30.0 KB |
/usr/lib/boogie/BoogieHoudini.dll
|
application/x-dosexec | root:root | 0o644 | 159.5 KB |
/usr/lib/boogie/BoogieModel.dll
|
application/x-dosexec | root:root | 0o644 | 26.0 KB |
/usr/lib/boogie/BoogieModelViewer.dll
|
application/x-dosexec | root:root | 0o644 | 347.0 KB |
/usr/lib/boogie/BoogieParserHelper.dll
|
application/x-dosexec | root:root | 0o644 | 7.0 KB |
/usr/lib/boogie/BoogiePredication.dll
|
application/x-dosexec | root:root | 0o644 | 30.0 KB |
/usr/lib/boogie/BoogieVCExpr.dll
|
application/x-dosexec | root:root | 0o644 | 157.0 KB |
/usr/lib/boogie/BoogieVCGeneration.dll
|
application/x-dosexec | root:root | 0o644 | 208.5 KB |
/usr/lib/boogie/Provers.SMTLib.dll
|
application/x-dosexec | root:root | 0o644 | 108.5 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libboogie-cil/
|
root:root | 0o755 | ||
/usr/share/doc/libboogie-cil/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 382 bytes |
/usr/share/doc/libboogie-cil/copyright
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/doc/libboogie-cil/README.md
|
text/plain | root:root | 0o644 | 3.7 KB |