Package: libboost-contract-dev (1.81.0.1~exp1) [debports]
Links for libboost-contract-dev
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [boost.org]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
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.81).
Other Packages Related to libboost-contract-dev
|
|
|
|
-
- dep: libboost-contract1.81-dev
- Contract library for C++ - dev files
Download libboost-contract-dev
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
riscv64 (unofficial port) | 3.1 kB | 10.0 kB | [list of files] |