all options
[  sid  ]
[ Source:  ]

Пакунок: minisat+-dbgsym (1.0-5 and others) [debports]

Links for minisat+-dbgsym

Screenshot

Debian Resources:

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

debug symbols for minisat+

Інші пакунки пов'язані з minisat+-dbgsym

  • depends
  • recommends
  • suggests
  • enhances

Завантажити minisat+-dbgsym

Завантаження для всіх доступних архітектур
Архітектура Версія Розмір пакунка Розмір після встановлення Файли
alpha (unofficial port) 1.0-5 851.1 kB881.0 kB [список файлів]
hppa (unofficial port) 1.0-5 778.0 kB803.0 kB [список файлів]
ia64 (unofficial port) 1.0-4 690.6 kB740.0 kB [список файлів]
loong64 (unofficial port) 1.0-5 891.8 kB921.0 kB [список файлів]
m68k (unofficial port) 1.0-5 765.9 kB790.0 kB [список файлів]
ppc64 (unofficial port) 1.0-5 873.9 kB907.0 kB [список файлів]
riscv64 (unofficial port) 1.0-4+b1 894.2 kB927.0 kB [список файлів]
sh4 (unofficial port) 1.0-5 669.6 kB757.0 kB [список файлів]
sparc64 (unofficial port) 1.0-5 834.9 kB864.0 kB [список файлів]
x32 (unofficial port) 1.0-5 816.1 kB842.0 kB [список файлів]