[ nabia ]
[ aramo ]
[ Source: boost-defaults ]
Package: libboost-contract-dev (1.74.0.3ubuntu7)
Links for libboost-contract-dev
Trisquel Resources:
Download Source Package boost-defaults:
Maintainer:
Original Maintainers:
- Debian Boost Team
- Steve M. Robbins
- Giovanni Mascellani
- Anton Gladky
External Resources:
- Homepage [boost.org]
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.74).
Other Packages Related to libboost-contract-dev
|
|
|
-
- dep: libboost-contract1.74-dev
- Contract library for C++ - dev files
Download libboost-contract-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 3.2 kB | 11 kB | [list of files] |
| arm64 | 3.2 kB | 11 kB | [list of files] |
| armhf | 3.2 kB | 11 kB | [list of files] |
| ppc64el | 3.2 kB | 11 kB | [list of files] |