| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/cadical: bump to 2.0.0 |   Maciej Barć | 2024-06-28 | 1 | -0/+11 |
| * | sci-mathematics/cadical: bump to 1.5.3 | Maciej Barć | 2022-09-13 | 1 | -0/+21 |
| * | sci-mathematics/cadical: patch direct call to ar | Maciej Barć | 2021-12-28 | 1 | -0/+12 |
GitWeb