Paket: cadical-dbgsym (1.7.4-1 und andere) [debports]

Links für cadical-dbgsym

Nicht gefunden

dep: cadical (= 1.5.3-2) [riscv64]

Simplified Satisfiability Solver

dep: cadical (= 1.7.4-1) [nicht riscv64]

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.7.4-1	10.034,9 kB	10.248,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.7.4-1	6.870,5 kB	7.066,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.7.4-1	7.877,3 kB	8.099,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.7.4-1	6.669,1 kB	6.859,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.7.4-1	7.094,4 kB	7.321,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	1.5.3-2	6.374,3 kB	6.591,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.7.4-1	5.582,8 kB	5.902,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.7.4-1	9.863,4 kB	10.072,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.7.4-1	9.959,6 kB	10.153,0 kB	[Liste der Dateien]