| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/opensmt: bump to 2.5.0 |   Maciej Barć | 2023-04-15 | 2 | -0/+72 |
| * | sci-mathematics/opensmt: require gmp with USE=cxx | Maciej Barć | 2023-04-13 | 1 | -1/+1 |
| * | sci-mathematics/opensmt: fix build on musl | Maciej Barć | 2023-02-06 | 2 | -0/+134 |
| * | sci-mathematics/opensmt: drop old 2.4.3 | Maciej Barć | 2023-02-06 | 1 | -70/+0 |
| * | 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