Пакет: eprover-dbgsym (3.0.03+ds-1) [debports]

[ Источник:  ]

debug symbols for eprover

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

• dep: eprover (= 3.0.03+ds-1)

  Equational theorem prover

Загрузка eprover-dbgsym

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

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64 (неофициальный перенос)	160,5 Кб	1 274,0 Кб	[список файлов]