Pakket: cryptominisat-dbgsym (5.11.15+dfsg1-1.1 en anderen) [debports]

[ Bron:  ]

debug symbols for cryptominisat

Andere aan cryptominisat-dbgsym gerelateerde pakketten

• dep: cryptominisat (= 5.11.15+dfsg1-1.1) [niet riscv64]

  SAT solver command line interface

  dep: cryptominisat (= 5.11.4+dfsg1-3) [riscv64]

cryptominisat-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	5.11.15+dfsg1-1.1	1.005,5 kB	1.107,0 kB	[overzicht]
hppa (unofficial port)	5.11.15+dfsg1-1.1	950,4 kB	1.043,0 kB	[overzicht]
ia64 (unofficial port)	5.11.15+dfsg1-1.1	1.054,3 kB	1.156,0 kB	[overzicht]
m68k (unofficial port)	5.11.15+dfsg1-1.1	931,7 kB	1.023,0 kB	[overzicht]
ppc64 (unofficial port)	5.11.15+dfsg1-1.1	990,1 kB	1.109,0 kB	[overzicht]
riscv64 (unofficial port)	5.11.4+dfsg1-3	825,8 kB	923,0 kB	[overzicht]
sh4 (unofficial port)	5.11.15+dfsg1-1.1	807,6 kB	1.020,0 kB	[overzicht]
sparc64 (unofficial port)	5.11.15+dfsg1-1.1	978,9 kB	1.087,0 kB	[overzicht]
x32 (unofficial port)	5.11.15+dfsg1-1.1	994,1 kB	1.079,0 kB	[overzicht]