[ nabia ]
[ aramo ]
[ Paquet source : boost-defaults ]
Paquet : libboost-contract-dev (1.71.0.0ubuntu2)
Liens pour libboost-contract-dev
Ressources Trisquel :
Télécharger le paquet source boost-defaults :
Responsable :
Original Maintainers:
- Debian Boost Team
- Steve M. Robbins
- Giovanni Mascellani
- Anton Gladky
Ressources externes :
- Page d'accueil [boost.org]
Paquets similaires :
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.71).
Autres paquets associés à libboost-contract-dev
|
|
|
-
- dep: libboost-contract1.71-dev
- Contract library for C++ - dev files
Télécharger libboost-contract-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 3,4 ko | 10 ko | [liste des fichiers] |
| armhf | 3,4 ko | 10 ko | [liste des fichiers] |