libboost-contract1.74-dev 1.74.0+ds1-21.1ubuntu1 (amd64 binary) in ubuntu mantic

 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-21.1ubuntu1
Source:
boost1.74 1.74.0+ds1-21.1ubuntu1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional