Sisyphus repositório
Última atualização: 20 outubro 2020 | SRPMs: 17712 | Visitas: 19438981
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 

20 fevereiro 2019 Gleb F-Malinovskiy <glebfm at altlinux.org> 2.3.0-alt3

  • Fixed build on non-x86 architectures.

11 abril 2016 Ivan Zakharyaschev <imz at altlinux.org> 2.3.0-alt2

  • It fails during parallel builds randomly (sometimes); therefore: NPROCS=1

16 março 2015 Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 2.3.0-alt1

  • Initial build for Sisyphus
 
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