[ sid ]
Pakket: libcoq-gappa-dbgsym (1.5.5-2 en anderen) [debports]
Verwijzigingen voor libcoq-gappa-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
debug symbols for libcoq-gappa
Andere aan libcoq-gappa-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-gappa (= 1.5.3-1+b1) [riscv64]
- Coq tactic to use Gappa for floating-point goals
- dep: libcoq-gappa (= 1.5.5-2) [niet riscv64]
libcoq-gappa-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| loong64 (unofficial port) | 1.5.5-2 | 6,2 kB | 41,0 kB | [overzicht] |
| ppc64 (unofficial port) | 1.5.5-2 | 6,4 kB | 45,0 kB | [overzicht] |
| riscv64 (unofficial port) | 1.5.3-1+b1 | 5,8 kB | 39,0 kB | [overzicht] |