Sisyphus repositório
Última atualização: 15 setembro 2019 | SRPMs: 17432 | Visitas: 15100474
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 

·Aleksei Nikiforov 2018-07-31
·Eugeny A. Rostovtsev (REAL) 2015-03-17
 
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