[ Paquet source : buddy ]
Paquet : libbdd0c2 (2.4+dfsg-2)
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.27) [riscv64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.29) [non alpha, ia64, riscv64, sh4]
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.29) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, ia64, m68k]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- bibliothèque de prise en charge de GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- bibliothèque de prise en charge de GCC
-
- dep: libstdc++6 (>= 13.1)
- bibliothèque standard C++ de GNU v3
-
- dep: libunwind8 [ia64]
- bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
Télécharger libbdd0c2
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| alpha (portage non officiel) | 54,5 ko | 216,0 ko | [liste des fichiers] |
| amd64 | 54,8 ko | 144,0 ko | [liste des fichiers] |
| arm64 | 51,3 ko | 152,0 ko | [liste des fichiers] |
| armel | 46,6 ko | 123,0 ko | [liste des fichiers] |
| armhf | 46,6 ko | 99,0 ko | [liste des fichiers] |
| hppa (portage non officiel) | 51,2 ko | 149,0 ko | [liste des fichiers] |
| i386 | 56,8 ko | 150,0 ko | [liste des fichiers] |
| ia64 (portage non officiel) | 66,7 ko | 267,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 44,6 ko | 119,0 ko | [liste des fichiers] |
| mips64el | 47,4 ko | 161,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 62,0 ko | 218,0 ko | [liste des fichiers] |
| ppc64el | 60,6 ko | 216,0 ko | [liste des fichiers] |
| riscv64 | 56,4 ko | 128,0 ko | [liste des fichiers] |
| s390x | 57,7 ko | 164,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 55,1 ko | 151,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 46,7 ko | 1 052,0 ko | [liste des fichiers] |
| x32 (portage non officiel) | 53,7 ko | 139,0 ko | [liste des fichiers] |