all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ] [  experimental  ]
[ Source: boost-defaults  ]

Package: libboost-contract-dev (1.83.0.2 and others)

Links for libboost-contract-dev

Screenshot

Debian Resources:

Download Source Package boost-defaults:

Maintainers:

External Resources:

Similar packages:

Contract library for C++ - dev files (default version)

This package forms part of the Boost C++ Libraries collection.

All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.

This package is a dependency package, which depends on Debian's default Boost version (currently 1.83).

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libboost-contract-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libboost-contract-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
amd64 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
arm64 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
armel 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
armhf 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
hppa (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
i386 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
ia64 (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
m68k (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
mips64el 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
ppc64 (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
ppc64el 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
riscv64 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
s390x 1.83.0.2+b2 3.6 kB11.0 kB [list of files]
sh4 (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
sparc64 (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]
x32 (unofficial port) 1.83.0.2 3.3 kB10.0 kB [list of files]