libboost-contract-dev - 1.67.0.1 main

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.67).