Pakiet: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]

[ Pakiet źródłowy:  ]

debug symbols for boolector

Inne pakiety związane z boolector-dbgsym

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

  SMT solver dla wektorów bitowych i tablic

Pobieranie boolector-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
m68k (port nieoficjalny)	11,9 KiB	46,0 KiB	[lista plików]