| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271 |   Sam James | 2023-01-30 | 1 | -2/+2 |
| * | sci-mathematics/alt-ergo: remove seq reference from dune build file |   Maciej Barć | 2022-11-19 | 1 | -0/+2 |
| * | sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq | Maciej Barć | 2022-09-24 | 1 | -0/+54 |
GitWeb