Sisyphus repositório
Última atualização: 20 outubro 2020 | SRPMs: 17712 | Visitas: 19439393
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 

 Escola de um mirror:

· yices-2.3.0-alt3.src.rpm 1827.87 Kb

i586:
· libyices-2.3.0-alt3.i586.rpm 563.44 Kb
· libyices-debuginfo-2.3.0-alt3.i586.rpm 3.28 Mb
· libyices-devel-2.3.0-alt3.i586.rpm 30.12 Kb
· yices-2.3.0-alt3.i586.rpm 854.86 Kb
· yices-debuginfo-2.3.0-alt3.i586.rpm 5.49 Mb

noarch:
· yices-docs-2.3.0-alt3.noarch.rpm 364.39 Kb

x86_64:
· libyices-2.3.0-alt3.x86_64.rpm 523.19 Kb
· libyices-debuginfo-2.3.0-alt3.x86_64.rpm 3.49 Mb
· libyices-devel-2.3.0-alt3.x86_64.rpm 30.09 Kb
· yices-2.3.0-alt3.x86_64.rpm 772.36 Kb
· yices-debuginfo-2.3.0-alt3.x86_64.rpm 5.84 Mb
 
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