[ Paquet source : buddy ]
Paquet : libbdd0c2 (2.4-11 et autres)
Liens pour libbdd0c2
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source buddy :
Responsable :
Ressources externes :
- Page d'accueil [buddy.sourceforge.net]
Paquets similaires :
bibliothèque de diagramme de décision binaire –⋅exécutable
Les diagrammes de décision binaire sont des encodages compacts d'expressions booléennes ou de tables de vérité dynamiques utilisés, par exemple, pour la vérification de modèles. Il s'agit du paquet d'exécution pour les programmes qui utilisent la bibliothèque BuDDy.
Autres paquets associés à libbdd0c2
|
|
|
|
-
- dep: libc6 (>= 2.17)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Paquet indisponible
-
- dep: libstdc++6 (>= 4.9)
- bibliothèque standard C++ de GNU v3
Télécharger libbdd0c2
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| arm64 | 2.4-11+b3 | 50,7 ko | 138,0 ko | [liste des fichiers] |