[ sid ]
Pakiet: psmt2-frontend-dbgsym (0.4.0-3 i inne) [debports]
Odnośniki dla psmt2-frontend-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for psmt2-frontend
Inne pakiety związane z 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) [nie riscv64]
Pobieranie psmt2-frontend-dbgsym
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
alpha (port nieoficjalny) | 0.4.0-3+b1 | 22,3 KiB | 78,0 KiB | [lista plików] |
hppa (port nieoficjalny) | 0.4.0-3+b1 | 22,7 KiB | 68,0 KiB | [lista plików] |
ia64 (port nieoficjalny) | 0.4.0-3+b1 | 22,0 KiB | 78,0 KiB | [lista plików] |
m68k (port nieoficjalny) | 0.4.0-3+b1 | 22,1 KiB | 66,0 KiB | [lista plików] |
ppc64 (port nieoficjalny) | 0.4.0-3+b1 | 116,1 KiB | 465,0 KiB | [lista plików] |
riscv64 (port nieoficjalny) | 0.4.0-2 | 122,8 KiB | 462,0 KiB | [lista plików] |
sh4 (port nieoficjalny) | 0.4.0-3+b1 | 22,1 KiB | 697,0 KiB | [lista plików] |
sparc64 (port nieoficjalny) | 0.4.0-3+b1 | 22,3 KiB | 78,0 KiB | [lista plików] |
x32 (port nieoficjalny) | 0.4.0-3+b1 | 21,8 KiB | 66,0 KiB | [lista plików] |