libboost-contract1.74-dev 1.74.0+ds1-ok1 (amd64 binary) in openkylin nile
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.
Details
- Package version:
- 1.74.0+ds1-ok1
- Status:
- Published
- Component:
- main
- Priority:
- Optional
Downloadable files
amd64 build of boost1.74 1.74.0+ds1-ok1 in openkylin nile PROPOSED produced
these files:
Package relationships
- Conflicts:
- libboost-contract1.67-dev
- libboost-contract1.70-dev
- libboost-contract1.71-dev