[ 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-3+b1)
- Parse and type-check SMT-LIB 2 (tool)
Загрузка psmt2-frontend-dbgsym
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| hppa (неофициальный перенос) | 0.4.0-3+b1 | 22,7 Кб | 68,0 Кб | [список файлов] |