Sisyphus repository
Last update: 2017-10-24 09:05:54 +0400 | SRPMs: 17953 | Sign in or Sign up
en ru uk br
ALT Linux repositories
hide window
Sisyphus: 3.7.1-alt1
p8: 3.7.1-alt1
p7: 3.7.1-alt1
t7: 3.7.1-alt1
Platform6: 3.7.1-alt1
t6: 3.7.1-alt1
Platform5: 3.7.1-alt1
5.1: 3.7.1-alt1

Group :: Sciences/Mathematics
Source RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR (0/0)   Repocop 

2008-10-22 Ilya Mashkin <oddity at altlinux.ru> 3.7.1-alt1

    - 3.7.1
    - fix url

2002-10-24 Vitaly Lugovsky <vsl at altlinux.ru> 3.4-alt1

    - new version

2002-06-26 Vitaly Lugovsky <vsl at altlinux.ru> 3.3-alt2

    - paths fixed

2002-06-25 Vitaly Lugovsky <vsl at altlinux.ru>

    - First RPM release

 
© 2009–2017 Igor Zubkov