Репозитории ALT
Группа :: Науки/Математика
Пакет: ProofGeneral
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
22 октября 2008 Ilya Mashkin <oddity at altlinux.ru> 3.7.1-alt1
- 3.7.1
- fix url
- new version
- paths fixed
- First RPM release