[ sid ]
Package: minisat+-dbgsym (1.0-5 and others) [debports]
Links for minisat+-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for minisat+
Other Packages Related to minisat+-dbgsym
|
|
|
|
Download minisat+-dbgsym
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 1.0-5 | 851.1 kB | 881.0 kB | [list of files] |
| hppa (unofficial port) | 1.0-5 | 778.0 kB | 803.0 kB | [list of files] |
| ia64 (unofficial port) | 1.0-4 | 690.6 kB | 740.0 kB | [list of files] |
| loong64 (unofficial port) | 1.0-5 | 891.8 kB | 921.0 kB | [list of files] |
| m68k (unofficial port) | 1.0-5 | 765.9 kB | 790.0 kB | [list of files] |
| ppc64 (unofficial port) | 1.0-5 | 873.9 kB | 907.0 kB | [list of files] |
| riscv64 (unofficial port) | 1.0-4+b1 | 894.2 kB | 927.0 kB | [list of files] |
| sh4 (unofficial port) | 1.0-5 | 669.6 kB | 757.0 kB | [list of files] |
| sparc64 (unofficial port) | 1.0-5 | 834.9 kB | 864.0 kB | [list of files] |
| x32 (unofficial port) | 1.0-5 | 816.1 kB | 842.0 kB | [list of files] |