Package: libboost-contract1.90-dev (1.90.0-5)

[ Source: boost1.90  ]

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.90-dev

• dep: libboost-atomic1.90-dev (= 1.90.0-5)

  atomic data types, operations, and memory ordering constraints

• dep: libboost-chrono1.90-dev (= 1.90.0-5)

  rappresentazione C++ di intervalli temporali, punti temporali e orologi

• dep: libboost-container1.90-dev (= 1.90.0-5)

  C++ library that implements several well-known containers - dev files

• dep: libboost-contract1.90.0 (= 1.90.0-5)

  Contract library for C++

• dep: libboost-date-time1.90-dev (= 1.90.0-5)

  insieme di librerie data-ora basate su programmazione generica

• dep: libboost-exception1.90-dev (= 1.90.0-5)

  libreria di aiuto nella scrittura di eccezioni e gestori

• dep: libboost-thread1.90-dev (= 1.90.0-5)

  multi-thread C++ portabile

• dep: libboost1.90-dev (= 1.90.0-5)

  file di sviluppo per le librerie Boost C++

Download libboost-contract1.90-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	256.1 kB	2,466.0 kB	[list of files]
amd64	253.6 kB	2,372.0 kB	[list of files]
arm64	255.1 kB	2,399.0 kB	[list of files]
armhf	251.1 kB	2,278.0 kB	[list of files]
hppa (unofficial port)	253.4 kB	2,305.0 kB	[list of files]
i386	256.5 kB	2,302.0 kB	[list of files]
loong64	382.8 kB	4,099.0 kB	[list of files]
m68k (unofficial port)	252.4 kB	2,306.0 kB	[list of files]
ppc64 (unofficial port)	254.5 kB	2,422.0 kB	[list of files]
ppc64el	255.6 kB	2,416.0 kB	[list of files]
riscv64	396.1 kB	4,226.0 kB	[list of files]
s390x	250.3 kB	2,355.0 kB	[list of files]
sh4 (unofficial port)	251.4 kB	2,273.0 kB	[list of files]
sparc64 (unofficial port)	250.0 kB	2,399.0 kB	[list of files]