Пакунок: cvc4-dbgsym (1.5-1) [debports]

[ Source:  ]

debug symbols for cvc4

Інші пакунки пов'язані з cvc4-dbgsym

• dep: cvc4 (= 1.5-1)

  automated theorem prover for SMT problems

Завантажити cvc4-dbgsym

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
hppa (unofficial port)	3,100.0 kB	3,236.0 kB	[список файлів]