[ Source: boost1.74 ]
Package: libboost-contract1.74-dev (1.74.0+ds1-23.1 and others)
Links for libboost-contract1.74-dev
Debian Resources:
Download Source Package boost1.74:
- [boost1.74_1.74.0+ds1-23.1.dsc]
- [boost1.74_1.74.0+ds1.orig.tar.xz]
- [boost1.74_1.74.0+ds1-23.1.debian.tar.xz]
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.74-dev
|
|
|
|
-
- dep: libboost-contract1.74.0 (= 1.74.0+ds1-23.1+b3)
- Contract library for C++
-
- dep: libboost1.74-dev (= 1.74.0+ds1-23.1+b3)
- file di sviluppo per le librerie Boost C++
Download libboost-contract1.74-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| i386 | 1.74.0+ds1-23.1+b3 | 247.5 kB | 2,246.0 kB | [list of files] |