[ sid ]
Pakket: psmt2-frontend-dbgsym (0.4.0-4 en anderen) [debports]
Verwijzigingen voor psmt2-frontend-dbgsym
Debian bronnen:
Het bronpakket downloaden:
Niet gevondenBeheerders:
Vergelijkbare pakketten:
- fcitx-frontend-gtk2-dbgsym
- fcitx-frontend-gtk3-dbgsym
- fcitx-frontend-qt5-dbgsym
- fcitx-frontend-qt6-dbgsym
- fcitx5-frontend-fbterm-dbgsym
- fcitx5-frontend-gtk2-dbgsym
- fcitx5-frontend-gtk3-dbgsym
- fcitx5-frontend-gtk4-dbgsym
- fcitx5-frontend-qt5-dbgsym
- fcitx5-frontend-qt6-dbgsym
- fcitx5-frontend-tmux-dbgsym
debug symbols for psmt2-frontend
Andere aan psmt2-frontend-dbgsym gerelateerde pakketten
|
|
|
|
-
- dep: psmt2-frontend (= 0.4.0-2) [riscv64]
- Parse and type-check SMT-LIB 2 (tool)
- dep: psmt2-frontend (= 0.4.0-3+b1) [ia64]
- dep: psmt2-frontend (= 0.4.0-4+b3) [niet hppa, ia64, loong64, riscv64]
- dep: psmt2-frontend (= 0.4.0-4+b4) [hppa, loong64]
psmt2-frontend-dbgsym downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 0.4.0-4+b3 | 25,4 kB | 526,0 kB | [overzicht] |
| hppa (unofficial port) | 0.4.0-4+b4 | 26,0 kB | 449,0 kB | [overzicht] |
| ia64 (unofficial port) | 0.4.0-3+b1 | 22,0 kB | 78,0 kB | [overzicht] |
| loong64 (unofficial port) | 0.4.0-4+b4 | 25,0 kB | 511,0 kB | [overzicht] |
| m68k (unofficial port) | 0.4.0-4+b3 | 25,0 kB | 362,0 kB | [overzicht] |
| ppc64 (unofficial port) | 0.4.0-4+b3 | 25,8 kB | 656,0 kB | [overzicht] |
| riscv64 (unofficial port) | 0.4.0-2 | 122,8 kB | 462,0 kB | [overzicht] |
| sh4 (unofficial port) | 0.4.0-4+b3 | 24,9 kB | 354,0 kB | [overzicht] |
| sparc64 (unofficial port) | 0.4.0-4+b3 | 25,3 kB | 458,0 kB | [overzicht] |
| x32 (unofficial port) | 0.4.0-4+b3 | 25,0 kB | 162,0 kB | [overzicht] |