Sisyphus repositório
Última atualização: 19 setembro 2020 | SRPMs: 17690 | Visitas: 19252434
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 

·Aleksei Nikiforov 2020-07-10
·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