[ trixie ]
[ sid ]
软件包:libboost-contract1.83.0(1.83.0-3.2) [debports]
Contract library for C++
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.83.0 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.39)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC 支持库
-
- dep: libstdc++6 (>= 14)
- GNU 标准 C++ 库,第3版