all options
[  sid  ]
[ Source:  ]

Package: minisat-dbgsym (1:2.2.1-8 and others) [debports]

Links for minisat-dbgsym

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for minisat

Other Packages Related to minisat-dbgsym

  • depends
  • recommends
  • suggests
  • enhances

Download minisat-dbgsym

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1:2.2.1-8 202.5 kB236.0 kB [list of files]
hppa (unofficial port) 1:2.2.1-8 195.1 kB223.0 kB [list of files]
ia64 (unofficial port) 1:2.2.1-8 237.3 kB271.0 kB [list of files]
m68k (unofficial port) 1:2.2.1-8 183.1 kB211.0 kB [list of files]
ppc64 (unofficial port) 1:2.2.1-8 205.5 kB245.0 kB [list of files]
riscv64 (unofficial port) 1:2.2.1-5+b1 187.8 kB220.0 kB [list of files]
sh4 (unofficial port) 1:2.2.1-8 161.4 kB253.0 kB [list of files]
sparc64 (unofficial port) 1:2.2.1-8 197.5 kB231.0 kB [list of files]
x32 (unofficial port) 1:2.2.1-8 197.4 kB225.0 kB [list of files]