[ sid ]
Пакет: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
Ссылки для boolector-dbgsym
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Подобные пакеты:
debug symbols for boolector
Другие пакеты, относящиеся к boolector-dbgsym
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver for bit-vectors and arrays
Загрузка boolector-dbgsym
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| alpha (неофициальный перенос) | 12,1 Кб | 56,0 Кб | [список файлов] |
| hppa (неофициальный перенос) | 12,4 Кб | 49,0 Кб | [список файлов] |
| ia64 (неофициальный перенос) | 11,9 Кб | 56,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 11,9 Кб | 46,0 Кб | [список файлов] |
| ppc64 (неофициальный перенос) | 11,8 Кб | 59,0 Кб | [список файлов] |
| riscv64 (неофициальный перенос) | 11,9 Кб | 57,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 12,3 Кб | 111,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 11,9 Кб | 56,0 Кб | [список файлов] |
| x32 (неофициальный перенос) | 12,0 Кб | 46,0 Кб | [список файлов] |