[ sid ]
Paket: cvc4-dbgsym (1.8-4 und andere) [debports]
Links für cvc4-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for cvc4
Andere Pakete mit Bezug zu cvc4-dbgsym
|
|
|
|
cvc4-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 1.8-4 | 977,5 kB | 1.156,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 1.5-1 | 3.100,0 kB | 3.236,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 1.8-3+b2 | 1.016,0 kB | 1.056,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 1.8-4 | 977,4 kB | 1.139,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 1.8-4 | 935,0 kB | 1.101,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 1.8-4 | 987,6 kB | 1.034,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 1.8-3 | 863,3 kB | 905,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 1.8-4 | 962,3 kB | 1.120,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 1.8-4 | 983,6 kB | 1.017,0 kB | [Liste der Dateien] |