Group :: Sciences/Mathematics
RPM: yices
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
26 march 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