| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/alt-ergo: remove unused patch |   Michael Mair-Keimberger | 2023-10-01 | 1 | -11/+0 |
| * | sci-mathematics/alt-ergo: bump to 2.4.3 |   Maciej Barć | 2023-06-04 | 1 | -0/+10 |
| * | sci-mathematics/alt-ergo: remove seq reference from dune build file | Maciej Barć | 2022-11-19 | 1 | -0/+11 |
GitWeb