Репозитории ALT
Группа :: Науки/Математика
Пакет: ProofGeneral
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Выберите зеркало:
· ProofGeneral-3.4-alt1.src.rpm | 748.27 Kb |
noarch: | |
· ProofGeneral-3.4-alt1.noarch.rpm | 772.70 Kb |