| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/opensmt: prevent fetching googletest |   Maciej Barć | 2023-01-13 | 2 | -0/+76 |
| * | sci-mathematics/opensmt: do not install static libs | Maciej Barć | 2023-01-13 | 1 | -1/+2 |
| * | sci-mathematics/opensmt: new package; add 2.4.3 | Maciej Barć | 2023-01-09 | 3 | -0/+82 |
GitWeb