Пакунок: python3-cvc5-dbgsym (1.3.2-1 and others) [debports]

[ Source:  ]

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 (unofficial port)	1.3.2-1	1,306.8 kB	1,616.0 kB	[список файлів]
hppa (unofficial port)	1.1.2-2+b3	2,465.2 kB	2,736.0 kB	[список файлів]
loong64 (unofficial port)	1.1.2-3	2,562.1 kB	2,861.0 kB	[список файлів]
m68k (unofficial port)	1.3.2-1	1,277.1 kB	1,547.0 kB	[список файлів]
ppc64 (unofficial port)	1.3.2-1	1,287.5 kB	1,628.0 kB	[список файлів]
riscv64 (unofficial port)	1.0.5-3	1,688.4 kB	1,937.0 kB	[список файлів]
sparc64 (unofficial port)	1.3.2-1	1,261.0 kB	1,567.0 kB	[список файлів]
x32 (unofficial port)	1.1.2-3	2,562.0 kB	2,847.0 kB	[список файлів]