Пакет: cvc4-dbgsym (1.8-3 и другие) [debports]

[ Источник:  ]

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) [не hppa, riscv64]

Загрузка cvc4-dbgsym

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	1.8-3+b2	964,6 Кб	1 005,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.5-1	3 100,0 Кб	3 236,0 Кб	[список файлов]
ia64 (неофициальный перенос)	1.8-3+b2	1 016,0 Кб	1 056,0 Кб	[список файлов]
m68k (неофициальный перенос)	1.8-3+b2	932,2 Кб	967,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	1.8-3+b2	975,0 Кб	1 023,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	1.8-3	863,3 Кб	905,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	1.8-3+b2	954,3 Кб	994,0 Кб	[список файлов]
x32 (неофициальный перенос)	1.8-3+b2	969,9 Кб	1 005,0 Кб	[список файлов]