Пакунок: cvc4-dbgsym (1.8-3 and others) [debports]

[ Source:  ]

debug symbols for cvc4

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

• dep: cvc4 (= 1.5-1) [hppa]

  automated theorem prover for SMT problems

  dep: cvc4 (= 1.8-3) [riscv64]

  dep: cvc4 (= 1.8-3+b2) [not hppa, riscv64]

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

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

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	1.8-3+b2	964.6 kB	1,005.0 kB	[список файлів]
hppa (unofficial port)	1.5-1	3,100.0 kB	3,236.0 kB	[список файлів]
ia64 (unofficial port)	1.8-3+b2	1,016.0 kB	1,056.0 kB	[список файлів]
m68k (unofficial port)	1.8-3+b2	932.2 kB	967.0 kB	[список файлів]
ppc64 (unofficial port)	1.8-3+b2	975.0 kB	1,023.0 kB	[список файлів]
riscv64 (unofficial port)	1.8-3	863.3 kB	905.0 kB	[список файлів]
sparc64 (unofficial port)	1.8-3+b2	954.3 kB	994.0 kB	[список файлів]
x32 (unofficial port)	1.8-3+b2	969.9 kB	1,005.0 kB	[список файлів]