Group :: Sciences/Mathematics
RPM: ProofGeneral
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
22 october 2008 Ilya Mashkin <oddity at altlinux.ru> 3.7.1-alt1
- 3.7.1
- fix url
- new version
- paths fixed
- First RPM release