Pakket: cadical-dbgsym (1.7.4-1 en anderen) [debports]

[ Bron:  ]

debug symbols for cadical

Andere aan cadical-dbgsym gerelateerde pakketten

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

  Simplified Satisfiability Solver

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

cadical-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	1.7.4-1	10.034,9 kB	10.248,0 kB	[overzicht]
hppa (unofficial port)	1.7.4-1	6.870,5 kB	7.066,0 kB	[overzicht]
ia64 (unofficial port)	1.7.4-1	7.877,3 kB	8.099,0 kB	[overzicht]
m68k (unofficial port)	1.7.4-1	6.669,1 kB	6.859,0 kB	[overzicht]
ppc64 (unofficial port)	1.7.4-1	7.094,4 kB	7.321,0 kB	[overzicht]
riscv64 (unofficial port)	1.5.3-2	6.374,3 kB	6.591,0 kB	[overzicht]
sh4 (unofficial port)	1.7.4-1	5.582,8 kB	5.902,0 kB	[overzicht]
sparc64 (unofficial port)	1.7.4-1	9.863,4 kB	10.072,0 kB	[overzicht]
x32 (unofficial port)	1.7.4-1	9.959,6 kB	10.153,0 kB	[overzicht]