Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/zarith: fix make | Alfredo Tupone | 2023-01-25 | 1 | -0/+11 |
* | dev-ml/zarith: remove unused patch(es) | Michael Mair-Keimberger | 2021-03-16 | 1 | -11/+0 |
* | dev-ml/zarith: using AR | Alfredo Tupone | 2020-05-17 | 1 | -0/+11 |