[ sid ]
Paket: psmt2-frontend-dbgsym (0.4.0-4 und andere) [debports]
Links für psmt2-frontend-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
- 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 Pakete mit Bezug zu psmt2-frontend-dbgsym
|
|
|
|
-
- 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) [nicht hppa, ia64, loong64, riscv64]
- dep: psmt2-frontend (= 0.4.0-4+b4) [hppa, loong64]
psmt2-frontend-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 0.4.0-4+b3 | 25,4 kB | 526,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 0.4.0-4+b4 | 26,0 kB | 449,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 0.4.0-3+b1 | 22,0 kB | 78,0 kB | [Liste der Dateien] |
| loong64 (inoffizielle Portierung) | 0.4.0-4+b4 | 25,0 kB | 511,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 0.4.0-4+b3 | 25,0 kB | 362,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 0.4.0-4+b3 | 25,8 kB | 656,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 0.4.0-2 | 122,8 kB | 462,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 0.4.0-4+b3 | 24,9 kB | 354,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 0.4.0-4+b3 | 25,3 kB | 458,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 0.4.0-4+b3 | 25,0 kB | 162,0 kB | [Liste der Dateien] |