| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/stp: compile python modules |   Maciej Barć | 2022-08-08 | 1 | -1/+6 |
| | | | | | | Closes: https://bugs.gentoo.org/864124 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/stp: filter LTO (ODR) | Maciej Barć | 2022-08-07 | 1 | -2/+6 |
| | | | | | | Closes: https://bugs.gentoo.org/863263 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/stp: multiple fixes | Maciej Barć | 2021-12-27 | 6 | -67/+161 |
| | | | | | | | | | | | | | | | - add missing test submodules - add optional cryptominisat dependency (USE=dependency) - add the Gentoo Mathematics Project to co-maintainers - change python to optional dependency (USE=python) - install PDF documentation - patch CMakeLists.txt to fix CFLAGS - patch stp.py to fix python module Closes: https://bugs.gentoo.org/759457 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/stp: dev-libs -> sci-mathematics | Maciej Barć | 2021-12-27 | 3 | -0/+72 |
| Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
GitWeb