[ sid ]
Pakket: libcoq-bignums-dbgsym (9.0.0+coq8.20-1 en anderen) [debports]
Verwijzigingen voor libcoq-bignums-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for libcoq-bignums
Andere aan libcoq-bignums-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-bignums (= 8.17.0-3+b2) [riscv64]
- Coq library for big numbers
- dep: libcoq-bignums (= 9.0.0+coq8.20-1+b1) [niet riscv64]
libcoq-bignums-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| loong64 (unofficial port) | 9.0.0+coq8.20-1+b1 | 3,7 kB | 24,0 kB | [overzicht] |
| ppc64 (unofficial port) | 9.0.0+coq8.20-1+b1 | 3,9 kB | 26,0 kB | [overzicht] |
| riscv64 (unofficial port) | 8.17.0-3+b2 | 3,5 kB | 24,0 kB | [overzicht] |