Group :: Ciências/Matemática
RPM: yices
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
26 março 2021 Grigory Ustinov <grenka at altlinux.org> 2.3.0-alt4
- Fixed FTBFS with -fcommon.
- Fixed build on non-x86 architectures.
- It fails during parallel builds randomly (sometimes); therefore: NPROCS=1
- Initial build for Sisyphus