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