[ Source: boost1.83 ]
Package: libboost-contract1.83-dev (1.83.0-4.2)
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-4.2)
- Contract library for C++
-
- dep: libboost1.83-dev (= 1.83.0-4.2)
- Boost C++ Libraries development files
Download libboost-contract1.83-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 257.4 kB | 2,415.0 kB | [list of files] |
| arm64 | 258.3 kB | 2,450.0 kB | [list of files] |
| armel | 254.9 kB | 2,367.0 kB | [list of files] |
| armhf | 255.7 kB | 2,341.0 kB | [list of files] |
| i386 | 260.2 kB | 2,354.0 kB | [list of files] |
| ppc64el | 259.3 kB | 2,467.0 kB | [list of files] |
| riscv64 | 340.0 kB | 3,442.0 kB | [list of files] |
| s390x | 255.3 kB | 2,410.0 kB | [list of files] |