Пакет: gappa-dbgsym (1.4.1-1) [debports]

[ Источник:  ]

debug symbols for gappa

Другие пакеты, относящиеся к gappa-dbgsym

• dep: gappa (= 1.4.1-1)

  Automatic generation of proofs of arithmetic properties

Загрузка gappa-dbgsym

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	3 823,0 Кб	3 975,0 Кб	[список файлов]
hppa (неофициальный перенос)	3 672,3 Кб	3 814,0 Кб	[список файлов]
ia64 (неофициальный перенос)	4 141,2 Кб	4 298,0 Кб	[список файлов]
m68k (неофициальный перенос)	3 384,0 Кб	3 517,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	3 776,7 Кб	3 944,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	2 899,5 Кб	3 061,0 Кб	[список файлов]
sh4 (неофициальный перенос)	2 846,6 Кб	3 034,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	3 666,6 Кб	3 825,0 Кб	[список файлов]
x32 (неофициальный перенос)	3 709,4 Кб	3 860,0 Кб	[список файлов]