Package: libboost-contract1.83-dev (1.83.0-3.2)

[ Source: boost1.83  ]

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.

Other Packages Related to libboost-contract1.83-dev

• dep: libboost-contract1.83.0 (= 1.83.0-3.2)

  Contract library for C++

• dep: libboost1.83-dev (= 1.83.0-3.2)

  Boost C++ Libraries development files

Download libboost-contract1.83-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
mips64el	258.5 kB	2,476.0 kB	[list of files]