Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/opensmt: drop old 2.5.1 | Maciej Barć | 2023-08-22 | 1 | -1/+0 |
* | sci-mathematics/opensmt: bump to 2.5.2 | Maciej Barć | 2023-08-15 | 1 | -0/+1 |
* | sci-mathematics/opensmt: drop old 2.5.0 | Maciej Barć | 2023-08-15 | 1 | -1/+0 |
* | sci-mathematics/opensmt: bump to 2.5.1 | Maciej Barć | 2023-06-28 | 1 | -0/+1 |
* | sci-mathematics/opensmt: drop old 2.4.3-r2 | Maciej Barć | 2023-06-28 | 1 | -1/+0 |
* | sci-mathematics/opensmt: bump to 2.5.0 | Maciej Barć | 2023-04-15 | 1 | -0/+1 |
* | sci-mathematics/opensmt: new package; add 2.4.3 | Maciej Barć | 2023-01-09 | 1 | -0/+1 |