Pakiet: depqbf-dbgsym (5.01-3 i inne) [debports]

Odnośniki dla depqbf-dbgsym

Nie znaleziono

dep: depqbf (= 5.01-3) [nie riscv64]

solver for quantified boolean formulae

dep: depqbf (= 5.01-3+b1) [riscv64]

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5.01-3	391,3 KiB	433,0 KiB	[lista plików]
hppa (port nieoficjalny)	5.01-3	398,2 KiB	433,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.01-3	436,7 KiB	483,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.01-3	404,5 KiB	438,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.01-3	439,0 KiB	483,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	5.01-3+b1	502,2 KiB	545,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.01-3	417,7 KiB	480,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.01-3	395,8 KiB	437,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.01-3	379,9 KiB	413,0 KiB	[lista plików]