summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/picosat: Stabilize 965 amd64, #892299Sam James2023-01-281-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* Revert "sci-mathematics/picosat: also install static libraries"Maciej Barć2023-01-131-2/+1
| | | | | | | This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a. Closes: https://bugs.gentoo.org/890700 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: also install static librariesMaciej Barć2023-01-111-1/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: fix patch applyMaciej Barć2022-12-061-1/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-064-0/+58
Signed-off-by: Maciej Barć <xgqt@gentoo.org>