Пакет: python3-cvc5-dbgsym (1.3.2-1 и другие) [debports]

[ Источник:  ]

debug symbols for python3-cvc5

Другие пакеты, относящиеся к python3-cvc5-dbgsym

• dep: python3-cvc5 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (Python bindings)

  dep: python3-cvc5 (= 1.1.2-2+b3) [hppa]

  dep: python3-cvc5 (= 1.1.2-3) [loong64, x32]

  dep: python3-cvc5 (= 1.3.2-1) [alpha, m68k, ppc64, sparc64]

Загрузка python3-cvc5-dbgsym

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	1.3.2-1	1 306,8 Кб	1 616,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.1.2-2+b3	2 465,2 Кб	2 736,0 Кб	[список файлов]
loong64 (неофициальный перенос)	1.1.2-3	2 562,1 Кб	2 861,0 Кб	[список файлов]
m68k (неофициальный перенос)	1.3.2-1	1 277,1 Кб	1 547,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	1.3.2-1	1 287,5 Кб	1 628,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	1.0.5-3	1 688,4 Кб	1 937,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	1.3.2-1	1 261,0 Кб	1 567,0 Кб	[список файлов]
x32 (неофициальный перенос)	1.1.2-3	2 562,0 Кб	2 847,0 Кб	[список файлов]