Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37408598
en ru br
ALT Linux repositórios
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 :: Ciências/Matemática
RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 


package id estatus teste mensagem
ProofGeneral-3.7.1-alt1.noarch
ok 		checkbashisms
ProofGeneral-3.7.1-alt1.noarch
ok 		unsafe-tmp-usage-in-scripts
ProofGeneral-3.7.1-alt1.noarch
ok 		sisyphus_check
ProofGeneral-3.7.1-alt1.noarch
ok 		buildroot
 
projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
mantenedor atual: Michael Shigorin
mantenedor da tradução: Fernando Martini aka fmartini © 2009