| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/minisat: fix build on musl |   Maciej Barć | 2023-02-06 | 1 | -4/+9 |
| | | | | | | | Bug: https://github.com/stp/minisat/pull/6 Closes: https://bugs.gentoo.org/832519 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/minisat: don't install static libraries (pg0204) |   David Seifert | 2022-01-24 | 1 | -0/+27 |
| Signed-off-by: David Seifert <soap@gentoo.org> | |||||
GitWeb