Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37045394
en ru br
ALT Linux repositórios
S:2.3.0-alt4

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-alt4.src.rpm 1827.76 Kb

i586:
· libyices-2.3.0-alt4.i586.rpm 564.38 Kb
· libyices-debuginfo-2.3.0-alt4.i586.rpm 3.27 Mb
· libyices-devel-2.3.0-alt4.i586.rpm 30.29 Kb
· yices-2.3.0-alt4.i586.rpm 859.44 Kb
· yices-debuginfo-2.3.0-alt4.i586.rpm 5.48 Mb

noarch:
· yices-docs-2.3.0-alt4.noarch.rpm 365.13 Kb

x86_64:
· libyices-2.3.0-alt4.x86_64.rpm 522.03 Kb
· libyices-debuginfo-2.3.0-alt4.x86_64.rpm 3.50 Mb
· libyices-devel-2.3.0-alt4.x86_64.rpm 30.28 Kb
· yices-2.3.0-alt4.x86_64.rpm 793.28 Kb
· yices-debuginfo-2.3.0-alt4.x86_64.rpm 5.88 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