Группа :: Науки/Математика
Пакет: yices
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
26 марта 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