Sisyphus repositório
Última atualização: 25 outubro 2020 | SRPMs: 17696 | Visitas: 19474785
en ru br
ALT Linux repositórios
S:2.3.0-alt3

Group :: Ciências/Matemática
RPM: yices

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 


package id estatus teste mensagem
libyices-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-2.3.0-alt3.x86_64
ok
buildroot
libyices-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-2.3.0-alt3.x86_64
ok
sisyphus_check
libyices-debuginfo-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-debuginfo-2.3.0-alt3.x86_64
ok
buildroot
libyices-debuginfo-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-debuginfo-2.3.0-alt3.x86_64
ok
sisyphus_check
libyices-devel-2.3.0-alt3.x86_64
ok
checkbashisms
libyices-devel-2.3.0-alt3.x86_64
ok
buildroot
libyices-devel-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
libyices-devel-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-debuginfo-2.3.0-alt3.x86_64
ok
checkbashisms
yices-debuginfo-2.3.0-alt3.x86_64
ok
buildroot
yices-debuginfo-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
yices-debuginfo-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-2.3.0-alt3.x86_64
ok
checkbashisms
yices-2.3.0-alt3.x86_64
ok
buildroot
yices-2.3.0-alt3.x86_64
ok
unsafe-tmp-usage-in-scripts
yices-2.3.0-alt3.x86_64
ok
sisyphus_check
yices-docs-2.3.0-alt3.noarch
ok
checkbashisms
yices-docs-2.3.0-alt3.noarch
ok
buildroot
yices-docs-2.3.0-alt3.noarch
ok
unsafe-tmp-usage-in-scripts
yices-docs-2.3.0-alt3.noarch
ok
sisyphus_check
 
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