[ trixie ]
[ sid ]
[ Source: boost1.83 ]
Package: libboost-contract1.83.0 (1.83.0-3.2 and others)
Links for libboost-contract1.83.0
Debian Resources:
Download Source Package boost1.83:
Maintainers:
External Resources:
- Homepage [boost.org]
Similar packages:
Contract library for C++
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.
Other Packages Related to libboost-contract1.83.0
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.3.4) [hppa]
- dep: libc6 (>= 2.39) [sh4]
- dep: libc6 (>= 2.4) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.37) [ia64]
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k]
- Biblioteca de ayuda de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- Biblioteca de ayuda de GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- Biblioteca de ayuda de GCC
-
- dep: libstdc++6 (>= 13.1) [ia64, m68k]
- biblioteca estándar de C++ de GNU v3
- dep: libstdc++6 (>= 14) [not ia64, m68k]
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
Download libboost-contract1.83.0
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 1.83.0-3.2 | 248.5 kB | 2,276.0 kB | [list of files] |
amd64 | 1.83.0-3.2 | 251.0 kB | 2,251.0 kB | [list of files] |
arm64 | 1.83.0-3.2 | 248.2 kB | 2,275.0 kB | [list of files] |
armel | 1.83.0-3.2 | 246.6 kB | 2,242.0 kB | [list of files] |
armhf | 1.83.0-3.2 | 246.2 kB | 2,214.0 kB | [list of files] |
hppa (unofficial port) | 1.83.0-3.2 | 253.4 kB | 2,274.0 kB | [list of files] |
i386 | 1.83.0-3.2 | 253.1 kB | 2,250.0 kB | [list of files] |
ia64 (unofficial port) | 1.83.0-2.1+b1 | 254.4 kB | 2,332.0 kB | [list of files] |
m68k (unofficial port) | 1.83.0-3.2 | 249.2 kB | 2,250.0 kB | [list of files] |
mips64el | 1.83.0-3.2 | 248.0 kB | 2,282.0 kB | [list of files] |
ppc64 (unofficial port) | 1.83.0-3.2 | 250.1 kB | 2,339.0 kB | [list of files] |
ppc64el | 1.83.0-3.2 | 250.3 kB | 2,275.0 kB | [list of files] |
riscv64 | 1.83.0-3.2 | 249.5 kB | 2,231.0 kB | [list of files] |
s390x | 1.83.0-3.2 | 249.2 kB | 2,251.0 kB | [list of files] |
sh4 (unofficial port) | 1.83.0-3.2 | 252.1 kB | 2,274.0 kB | [list of files] |
sparc64 (unofficial port) | 1.83.0-3.2 | 245.5 kB | 3,174.0 kB | [list of files] |
x32 (unofficial port) | 1.83.0-3.2 | 251.4 kB | 2,242.0 kB | [list of files] |