Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> libdevel >> libboost-contract-dev
nabia  ] [  aramo  ]
[ 源代码: boost-defaults  ]

软件包: libboost-contract-dev (1.74.0.3ubuntu7)

Contract library for C++ - dev files (default version)

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.

This package is a dependency package, which depends on Debian's default Boost version (currently 1.74).

其他与 libboost-contract-dev 有关的软件包

  • 依赖
  • 推荐
  • 建议

下载 libboost-contract-dev

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 3.2 kB11 kB [文件列表]