套件：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

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
alpha （非官方移植版）	12。1 kB	56。0 kB	[檔案列表]
hppa （非官方移植版）	12。4 kB	49。0 kB	[檔案列表]
ia64 （非官方移植版）	11。9 kB	56。0 kB	[檔案列表]
m68k （非官方移植版）	11。9 kB	46。0 kB	[檔案列表]
ppc64 （非官方移植版）	11。8 kB	59。0 kB	[檔案列表]
riscv64 （非官方移植版）	11。9 kB	57。0 kB	[檔案列表]
sh4 （非官方移植版）	12。3 kB	111。0 kB	[檔案列表]
sparc64 （非官方移植版）	11。9 kB	56。0 kB	[檔案列表]
x32 （非官方移植版）	12。0 kB	46。0 kB	[檔案列表]