Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Altlinux > 4.1 > i586 > media > core-src > by-pkgid > d3bfdb1b1a81ad8c510ac250622f5ece > changelog

ProofGeneral-3.4-alt1.src.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Thu Oct 24 2002 Vitaly Lugovsky <vsl@altlinux.ru> 3.4-alt1

  - new version

• Wed Jun 26 2002 Vitaly Lugovsky <vsl@altlinux.ru> 3.3-alt2

  - paths fixed

• Tue Jun 25 2002 Vitaly Lugovsky <vsl@altlinux.ru>

  - First RPM release