summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/boolector: bump to 3.2.3Maciej Barć2023-11-023-0/+95
* sci-mathematics/boolector: H -> COMMITMaciej Barć2023-03-041-5/+6
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-1/+1
* sci-mathematics/boolector: fix build to not require static libsMaciej Barć2023-01-131-0/+1
* sci-mathematics/boolector: new package; add 3.2.2_p20220110Maciej Barć2023-01-113-0/+110