[ sid ]
Пакет: psmt2-frontend-dbgsym (0.4.0-3 и другие) [debports]
Ссылки для psmt2-frontend-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for psmt2-frontend
Другие пакеты, относящиеся к 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) [не riscv64]
Загрузка psmt2-frontend-dbgsym
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
alpha (неофициальный перенос) | 0.4.0-3+b1 | 22,3 Кб | 78,0 Кб | [список файлов] |
hppa (неофициальный перенос) | 0.4.0-3+b1 | 22,7 Кб | 68,0 Кб | [список файлов] |
ia64 (неофициальный перенос) | 0.4.0-3+b1 | 22,0 Кб | 78,0 Кб | [список файлов] |
m68k (неофициальный перенос) | 0.4.0-3+b1 | 22,1 Кб | 66,0 Кб | [список файлов] |
ppc64 (неофициальный перенос) | 0.4.0-3+b1 | 116,1 Кб | 465,0 Кб | [список файлов] |
riscv64 (неофициальный перенос) | 0.4.0-2 | 122,8 Кб | 462,0 Кб | [список файлов] |
sh4 (неофициальный перенос) | 0.4.0-3+b1 | 22,1 Кб | 697,0 Кб | [список файлов] |
sparc64 (неофициальный перенос) | 0.4.0-3+b1 | 22,3 Кб | 78,0 Кб | [список файлов] |
x32 (неофициальный перенос) | 0.4.0-3+b1 | 21,8 Кб | 66,0 Кб | [список файлов] |