Sisyphus repositório
Última atualização: 2 dezembro 2020 | SRPMs: 17751 | Visitas: 19738014
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