Sisyphus repository
Last update: 2017-06-29 14:06:01 +0400 | SRPMs: 17955 | Sign in or Sign up
en ru uk br
Group :: Sciences/Mathematics
Source RPM: ProofGeneral

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


package id status test message
ProofGeneral-3.7.1-alt1.noarch Ok
ok
unsafe-tmp-usage-in-scripts  
ProofGeneral-3.7.1-alt1.noarch Ok
ok
sisyphus_check  
ProofGeneral-3.7.1-alt1.noarch Ok
ok
buildroot  
 
© 2009–2016 Igor Zubkov