Sisyphus repository
Last update:
1 october 2023 |
SRPMs: 18631
|
Visits:
37710038
en
ru
br
Home
Packages
Maintainers
Security
About
RSS
Wiki
Mailing list
ALT Linux repos
S:
3.7.1-alt1
5.0:
3.7.1-alt1
4.1:
3.4-alt1
4.0:
3.4-alt1
3.0:
3.4-alt1
Group :: Sciences/Mathematics
RPM: ProofGeneral
Navigation
Main
Changelog
Spec
Patches
Sources
Download
Gear
Bugs and FR
Repocop
24 october 2002 Vitaly Lugovsky <vsl at altlinux.ru> 3.4-alt1
new version
26 june 2002 Vitaly Lugovsky <vsl at altlinux.ru> 3.3-alt2
paths fixed
25 june 2002 Vitaly Lugovsky <vsl at altlinux.ru>
First RPM release
design & coding:
Vladimir Lettiev aka crux
© 2004-2005,
Andrew Avramenko aka liks
© 2007-2008
current maintainer:
Michael Shigorin