[ ソース: boost1.83 ]
パッケージ: libboost-contract1.83-dev (1.83.0-5 など)
libboost-contract1.83-dev に関するリンク
Debian の資源:
boost1.83 ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [boost.org]
類似のパッケージ:
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.83-dev 関連パッケージ
|
|
|
|
-
- dep: libboost-contract1.83.0 (= 1.83.0-5+b2)
- Contract library for C++
-
- dep: libboost1.83-dev (= 1.83.0-5+b2)
- Boost C++ Libraries development files