| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/stp: multiple fixes |   Maciej Barć | 2021-12-27 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | - 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 | 1 | -0/+1 |
| Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
GitWeb