Binary package “libboost-contract1.74-dev” in openkylin nile
Contract library for C++ - dev files
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.
Source package
Published versions
- libboost-contract1.74-dev 1.74.0-ok1 in amd64 (Release)
- libboost-contract1.74-dev 1.74.0-ok1 in amd64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in amd64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in amd64 (Release)
- libboost-contract1.74-dev 1.74.0-ok1 in arm64 (Release)
- libboost-contract1.74-dev 1.74.0-ok1 in arm64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in arm64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in arm64 (Release)
- libboost-contract1.74-dev 1.74.0-ok1 in riscv64 (Release)
- libboost-contract1.74-dev 1.74.0-ok1 in riscv64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in riscv64 (Proposed)
- libboost-contract1.74-dev 1.74.0+ds1-ok1 in riscv64 (Release)