| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/picosat: also install static libraries |   Maciej Barć | 2023-01-11 | 1 | -1/+2 |
| * | sci-mathematics/picosat: fix patch apply | Maciej Barć | 2022-12-06 | 1 | -1/+4 |
| * | sci-mathematics/picosat: new package; add 965 | Maciej Barć | 2022-12-06 | 4 | -0/+58 |
GitWeb