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

Odnośniki dla libcvc5parser1-dbgsym

Nie znaleziono

dep: libcvc5parser1 (= 1.0.5-3) [riscv64]

automated theorem prover for SMT problems (parser runtime)

dep: libcvc5parser1 (= 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	3 921,4 KiB	4 091,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.1.2-2	3 819,3 KiB	3 978,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.1.2-2	3 394,9 KiB	3 540,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.1.2-2	3 918,8 KiB	4 116,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	1.0.5-3	4 881,4 KiB	5 226,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.1.2-2	3 797,6 KiB	3 972,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.1.2-2	3 893,1 KiB	4 069,0 KiB	[lista plików]