libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb


Advertisement

Description

libboogie-cil - verifiable programming language (library)

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name libboogie-cil
Package version 2.3.0.61016+dfsg+3.gbp1f2d6c1
Package release 1
Package architecture all
Package type deb
Installed size 1.78 KB
Download size 546.27 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb 2.3.0.61016+dfsg+3.gbp1f2d6c1 all Debian Main
libboogie-cil - - -

Requires

Name Value
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

Download

Type URL
Binary Package libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb
Source Package boogie

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libboogie-cil deb package:
    # sudo apt-get install libboogie-cil

Files

Path
/usr/lib/boogie/BoogieAbsInt.dll
/usr/lib/boogie/BoogieBasetypes.dll
/usr/lib/boogie/BoogieCodeContractsExtender.dll
/usr/lib/boogie/BoogieConcurrency.dll
/usr/lib/boogie/BoogieCore.dll
/usr/lib/boogie/BoogieDoomed.dll
/usr/lib/boogie/BoogieExecutionEngine.dll
/usr/lib/boogie/BoogieGraph.dll
/usr/lib/boogie/BoogieHoudini.dll
/usr/lib/boogie/BoogieModel.dll
/usr/lib/boogie/BoogieModelViewer.dll
/usr/lib/boogie/BoogieParserHelper.dll
/usr/lib/boogie/BoogiePredication.dll
/usr/lib/boogie/BoogieVCExpr.dll
/usr/lib/boogie/BoogieVCGeneration.dll
/usr/lib/boogie/Provers.SMTLib.dll
/usr/share/doc/libboogie-cil/README.md
/usr/share/doc/libboogie-cil/changelog.Debian.gz
/usr/share/doc/libboogie-cil/copyright

Changelog

See boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb changelog.

See Also

Package Description
libbookkeeper-java_4.4.0-1_all.deb Replicated log service
libboolean-perl_0.46-1_all.deb module providing transparent support for booleans
libboolstuff-0.1-0_0.1.16-1_amd64.deb library for operating on boolean expression binary trees
libboost-all-dev_1.62.0.1_amd64.deb Boost C++ Libraries development files (ALL) (default version)
libboost-atomic-dev_1.62.0.1_amd64.deb atomic data types, operations, and memory ordering constraints (default version)
libboost-atomic1.62-dev_1.62.0+dfsg-10_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-atomic1.62.0_1.62.0+dfsg-10_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-atomic1.63-dev_1.63.0+dfsg-1.1+b2_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-atomic1.63.0_1.63.0+dfsg-1.1+b2_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-atomic1.67-dev_1.67.0-7_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-atomic1.67.0_1.67.0-7_amd64.deb atomic data types, operations, and memory ordering constraints
libboost-chrono-dev_1.62.0.1_amd64.deb C++ representation of time duration, time point, and clocks (default version)
libboost-chrono1.62-dev_1.62.0+dfsg-10_amd64.deb C++ representation of time duration, time point, and clocks
libboost-chrono1.62.0_1.62.0+dfsg-10_amd64.deb C++ representation of time duration, time point, and clocks
libboost-chrono1.63-dev_1.63.0+dfsg-1.1+b2_amd64.deb C++ representation of time duration, time point, and clocks
Advertisement
Advertisement