libboost-contract1.71-dev binary package in openKylin Yangtze V1.0 rv64g
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.
Publishing history
| Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
|---|---|---|---|---|---|---|---|---|---|
| 2024-03-15 02:07:50 UTC | Published | openKylin Yangtze V1.0 rv64g | release | main | libdevel | Optional | 1.71.0-ok3 | ||
|
|||||||||
| 2024-02-29 11:45:23 UTC | Published | openKylin Yangtze V1.0 rv64g | proposed | main | libdevel | Optional | 1.71.0-ok3 | ||
|
|||||||||
