libboost-contract-dev binary package in openKylin Yangtze V1.0 amd64

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

Source package