[ bianca ]
[ Paquet source : boost1.83 ]
Paquet : libboost-contract1.83-dev (1.83.0-4.2)
Liens pour libboost-contract1.83-dev
Télécharger le paquet source boost1.83 :
Responsables :
Ressources externes :
- Page d'accueil [boost.org]
Paquets similaires :
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.
Autres paquets associés à libboost-contract1.83-dev
|
|
|
|
-
- dep: libboost-contract1.83.0 (= 1.83.0-4.2)
- Contract library for C++
-
- dep: libboost1.83-dev (= 1.83.0-4.2)
- Boost C++ Libraries development files
Télécharger libboost-contract1.83-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 257,4 ko | 2 415,0 ko | [liste des fichiers] |
| arm64 | 258,3 ko | 2 450,0 ko | [liste des fichiers] |