summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/btor2tools: patch includesMaciej Barć2023-11-022-6/+21
* sci-mathematics/btor2tools: H -> COMMITMaciej Barć2023-03-041-4/+4
* sci-mathematics/btor2tools: remove unused patchMaciej Barć2023-01-131-28/+0
* sci-mathematics/btor2tools: do not install static librariesMaciej Barć2023-01-131-4/+1
* sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518Maciej Barć2023-01-115-0/+100