Pakiet: python3-cvc5-dbgsym (1.1.2-2 i inne) [debports]

Odnośniki dla python3-cvc5-dbgsym

Nie znaleziono

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

automated theorem prover for SMT problems (Python bindings)

dep: python3-cvc5 (= 1.1.2-2) [nie riscv64]

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.1.2-2	2 445,8 KiB	2 735,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.1.2-2	2 397,2 KiB	2 672,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.1.2-2	2 247,9 KiB	2 506,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.1.2-2	2 458,4 KiB	2 786,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.1.2-2	2 398,0 KiB	2 688,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.1.2-2	2 470,7 KiB	2 752,0 KiB	[lista plików]