套件：libboost-contract1.74-dev（1.74.0+ds1-23.1 以及其他的） [debports]
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.
其他與 libboost-contract1.74-dev 有關的套件
|
|
|
|
-
- dep: libboost-contract1.74.0 (= 1.74.0+ds1-23.1+b2)
- Contract library for C++
-
- dep: libboost1.74-dev (= 1.74.0+ds1-23.1+b2)
- Boost C++ Libraries development files