[ sid ]
Paket: libcoq-bignums-dbgsym (9.0.0+coq8.20-1 und andere) [debports]
Links für libcoq-bignums-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for libcoq-bignums
Andere Pakete mit Bezug zu libcoq-bignums-dbgsym
|
|
|
|
-
- dep: libcoq-bignums (= 8.17.0-3+b2) [riscv64]
- Coq library for big numbers
- dep: libcoq-bignums (= 9.0.0+coq8.20-1+b1) [nicht riscv64]
libcoq-bignums-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| loong64 (inoffizielle Portierung) | 9.0.0+coq8.20-1+b1 | 3,7 kB | 24,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 9.0.0+coq8.20-1+b1 | 3,9 kB | 26,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 8.17.0-3+b2 | 3,5 kB | 24,0 kB | [Liste der Dateien] |