Пакунок: gappa-dbgsym (1.4.1-1) [debports]

[ Source:  ]

debug symbols for gappa

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

• dep: gappa (= 1.4.1-1)

  Automatic generation of proofs of arithmetic properties

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

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	3,823.0 kB	3,975.0 kB	[список файлів]
hppa (unofficial port)	3,672.3 kB	3,814.0 kB	[список файлів]
ia64 (unofficial port)	4,141.2 kB	4,298.0 kB	[список файлів]
m68k (unofficial port)	3,384.0 kB	3,517.0 kB	[список файлів]
ppc64 (unofficial port)	3,776.7 kB	3,944.0 kB	[список файлів]
riscv64 (unofficial port)	2,899.5 kB	3,061.0 kB	[список файлів]
sh4 (unofficial port)	2,846.6 kB	3,034.0 kB	[список файлів]
sparc64 (unofficial port)	3,666.6 kB	3,825.0 kB	[список файлів]
x32 (unofficial port)	3,709.4 kB	3,860.0 kB	[список файлів]