all options
[  sid  ]
[ Source:  ]

Пакунок: why3-dbgsym (1.7.2-2 and others) [debports]

Links for why3-dbgsym

Screenshot

Debian Resources:

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

debug symbols for why3

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

  • depends
  • recommends
  • suggests
  • enhances

Завантажити why3-dbgsym

Завантаження для всіх доступних архітектур
Архітектура Версія Розмір пакунка Розмір після встановлення Файли
alpha (unofficial port) 1.7.2-2+b1 36.8 kB64.0 kB [список файлів]
hppa (unofficial port) 1.7.2-2+b1 37.0 kB61.0 kB [список файлів]
ia64 (unofficial port) 1.6.0-1+b5 42.3 kB70.0 kB [список файлів]
m68k (unofficial port) 1.6.0-1+b4 34.3 kB57.0 kB [список файлів]
ppc64 (unofficial port) 1.7.2-2+b1 38.8 kB72.0 kB [список файлів]
riscv64 (unofficial port) 1.5.1-1+b3 2,202.1 kB9,899.0 kB [список файлів]
sh4 (unofficial port) 1.7.2-2 37.7 kB187.0 kB [список файлів]
sparc64 (unofficial port) 1.7.2-2+b1 36.5 kB66.0 kB [список файлів]
x32 (unofficial port) 1.3.3-3 85.5 kB244.0 kB [список файлів]