Sisyphus repositório
Última atualização: 20 outubro 2020 | SRPMs: 17712 | Visitas: 19439294
en ru br
ALT Linux repositórios
S:2.3.0-alt3

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

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

·Gleb F-Malinovskiy 2019-02-19
·Ivan Zakharyaschev 2015-03-16
·Eugeny A. Rostovtsev (REAL) 2015-03-16
 
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