Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37402210
en ru br
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

 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

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