Sisyphus repositório
Última atualização: 15 setembro 2019 | SRPMs: 17432 | Visitas: 15100342
en ru br
ALT Linux repositórios
S:4.5.0-alt2

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

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

 Escola de um mirror:

· z3-4.5.0-alt2.src.rpm 2.41 Mb

i586:
· libz3-4.5.0-alt2.i586.rpm 5.73 Mb
· libz3-debuginfo-4.5.0-alt2.i586.rpm 51.66 Mb
· 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.5.0-alt2.i586.rpm 5.77 Mb
· z3-debuginfo-4.5.0-alt2.i586.rpm 52.24 Mb

noarch:
· libz3-devel-4.5.0-alt2.noarch.rpm 59.51 Kb
· libz3-devel-docs-4.5.0-alt2.noarch.rpm 3.69 Mb

x86_64:
· libz3-4.5.0-alt2.x86_64.rpm 5.25 Mb
· libz3-debuginfo-4.5.0-alt2.x86_64.rpm 53.95 Mb
· 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.5.0-alt2.x86_64.rpm 5.21 Mb
· z3-debuginfo-4.5.0-alt2.x86_64.rpm 54.54 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