Sisyphus repositório
Última atualização:
1 outubro 2023 |
SRPMs: 18631
|
Visitas:
37514231
en
ru
br
Home
Pacotes
Mantenedores
Segurança
Sobre
RSS
Wiki
Mailing list
ALT Linux repositórios
S:
4.8.8-alt1
Group :: Ciências/Matemática
RPM: z3
Navegação
Main
Changelog
Spec
Patches
Sources
Download
Gear
Bugs e FR
Repocop
·
z3-4.5.0-alt-aarch64-pthread.patch
760 b
Download
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