summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/boolector: bump to 3.2.3Maciej Barć2023-11-023-0/+95
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: H -> COMMITMaciej Barć2023-03-041-5/+6
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-1/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/boolector: fix build to not require static libsMaciej Barć2023-01-131-0/+1
| | | | | | Bug: https://bugs.gentoo.org/890700 Bug: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: new package; add 3.2.2_p20220110Maciej Barć2023-01-113-0/+110
Signed-off-by: Maciej Barć <xgqt@gentoo.org>