Пакет: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]

[ Источник:  ]

debug symbols for boolector

Другие пакеты, относящиеся к boolector-dbgsym

• dep: boolector (= 1.5.118.6b56be4.121013-1.3)

  SMT solver for bit-vectors and arrays

Загрузка boolector-dbgsym

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64 (неофициальный перенос)	11,8 Кб	59,0 Кб	[список файлов]