Pakiet: python3-cvc5-dbgsym (1.3.2-1 i inne) [debports]

[ Pakiet źródłowy:  ]

debug symbols for python3-cvc5

Inne pakiety związane z 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]

Pobieranie python3-cvc5-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.3.2-1	1 306,8 KiB	1 616,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.1.2-2+b3	2 465,2 KiB	2 736,0 KiB	[lista plików]
loong64 (port nieoficjalny)	1.1.2-3	2 562,1 KiB	2 861,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.3.2-1	1 277,1 KiB	1 547,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.3.2-1	1 287,5 KiB	1 628,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	1.0.5-3	1 688,4 KiB	1 937,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.3.2-1	1 261,0 KiB	1 567,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.1.2-3	2 562,0 KiB	2 847,0 KiB	[lista plików]