| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/zarith: amd64 stable wrt bug #772842 |   Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
| * | dev-ml/zarith: x86 stable wrt bug #772842 | Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
| * | dev-ml/zarith: Stabilize 1.11 ppc, #772842 |   Sam James | 2021-02-25 | 1 | -1/+1 |
| * | dev-ml/zarith: bump to 1.11 | Sam James | 2021-01-11 | 1 | -0/+58 |
GitWeb