[ sid ]
Пакет: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Ссылки для drat-trim-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for drat-trim
Другие пакеты, относящиеся к drat-trim-dbgsym
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
Загрузка drat-trim-dbgsym
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| alpha (неофициальный перенос) | 63,5 Кб | 89,0 Кб | [список файлов] |
| hppa (неофициальный перенос) | 61,9 Кб | 85,0 Кб | [список файлов] |
| loong64 (неофициальный перенос) | 65,6 Кб | 92,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 58,8 Кб | 80,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 65,2 Кб | 93,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 61,1 Кб | 210,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 61,7 Кб | 88,0 Кб | [список файлов] |
| x32 (неофициальный перенос) | 63,4 Кб | 84,0 Кб | [список файлов] |