Sisyphus repositório
Última atualização: 6 agosto 2020 | SRPMs: 17676 | Visitas: 19008361
en ru br
ALT Linux repositórios
S:4.8.8-alt1

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

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

 Escola de um mirror:

· z3-4.8.8-alt1.src.rpm 3.07 Mb

i586:
· libz3-4.8.8-alt1.i586.rpm 7.60 Mb
· libz3-debuginfo-4.8.8-alt1.i586.rpm 90.93 Mb
· libz3-devel-4.8.8-alt1.i586.rpm 70.44 Kb
· python-module-z3-4.5.0-alt2.i586.rpm 154.07 Kb
· python3-module-z3-4.5.0-alt2.i586.rpm 172.80 Kb
· z3-4.8.8-alt1.i586.rpm 7.62 Mb
· z3-debuginfo-4.8.8-alt1.i586.rpm 91.70 Mb

noarch:
· libz3-devel-4.5.0-alt2.noarch.rpm 59.51 Kb
· libz3-devel-docs-4.8.8-alt1.noarch.rpm 1543.86 Kb
· python3-module-z3-4.8.8-alt1.noarch.rpm 186.38 Kb

x86_64:
· libz3-4.8.8-alt1.x86_64.rpm 7.00 Mb
· libz3-debuginfo-4.8.8-alt1.x86_64.rpm 97.29 Mb
· libz3-devel-4.8.8-alt1.x86_64.rpm 70.42 Kb
· python-module-z3-4.5.0-alt2.x86_64.rpm 154.18 Kb
· python3-module-z3-4.5.0-alt2.x86_64.rpm 172.85 Kb
· z3-4.8.8-alt1.x86_64.rpm 6.88 Mb
· z3-debuginfo-4.8.8-alt1.x86_64.rpm 98.09 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