[ trixie ]
[ sid ]
[ Source: boost1.83 ]
Package: libboost-contract1.83-dev (1.83.0-3.2 and others)
Links for libboost-contract1.83-dev
Debian Resources:
Download Source Package boost1.83:
Maintainers:
External Resources:
- Homepage [boost.org]
Similar packages:
Contract library for C++ - dev files
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-dev
|
|
|
|
-
- dep: libboost-contract1.83.0 (= 1.83.0-2.1+b1) [ia64]
- Contract library for C++
- dep: libboost-contract1.83.0 (= 1.83.0-3.2) [not ia64]
-
- dep: libboost1.83-dev (= 1.83.0-2.1+b1) [ia64]
- file di sviluppo per le librerie Boost C++
- dep: libboost1.83-dev (= 1.83.0-3.2) [not ia64]
Download libboost-contract1.83-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 1.83.0-3.2 | 259.8 kB | 2,522.0 kB | [list of files] |
amd64 | 1.83.0-3.2 | 256.8 kB | 2,416.0 kB | [list of files] |
arm64 | 1.83.0-3.2 | 256.2 kB | 2,451.0 kB | [list of files] |
armel | 1.83.0-3.2 | 254.6 kB | 2,367.0 kB | [list of files] |
armhf | 1.83.0-3.2 | 255.4 kB | 2,341.0 kB | [list of files] |
hppa (unofficial port) | 1.83.0-3.2 | 258.7 kB | 2,378.0 kB | [list of files] |
i386 | 1.83.0-3.2 | 259.9 kB | 2,355.0 kB | [list of files] |
ia64 (unofficial port) | 1.83.0-2.1+b1 | 263.5 kB | 2,536.0 kB | [list of files] |
m68k (unofficial port) | 1.83.0-3.2 | 254.8 kB | 2,361.0 kB | [list of files] |
mips64el | 1.83.0-3.2 | 258.5 kB | 2,476.0 kB | [list of files] |
ppc64 (unofficial port) | 1.83.0-3.2 | 258.0 kB | 2,469.0 kB | [list of files] |
ppc64el | 1.83.0-3.2 | 258.9 kB | 2,467.0 kB | [list of files] |
riscv64 | 1.83.0-3.2 | 342.9 kB | 3,442.0 kB | [list of files] |
s390x | 1.83.0-3.2 | 254.8 kB | 2,410.0 kB | [list of files] |
sh4 (unofficial port) | 1.83.0-3.2 | 259.2 kB | 2,353.0 kB | [list of files] |
sparc64 (unofficial port) | 1.83.0-3.2 | 254.6 kB | 2,462.0 kB | [list of files] |
x32 (unofficial port) | 1.83.0-3.2 | 257.5 kB | 2,357.0 kB | [list of files] |