| Age | Commit message (Expand) | Author |
|---|---|---|
| 3 days | dev-ml/ppx_inline_test: remove unused patch(es) | Michael Mair-Keimberger |
| 2023-02-08 | dev-ml/ppx_inline_test: patch for newest ppxlib | Maciej Barć |
![]() |
index : gentoo.git | |
| Gentoo ebuild repository mirror. Updates daily. | Xian Wang |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 3 days | dev-ml/ppx_inline_test: remove unused patch(es) | Michael Mair-Keimberger |
| 2023-02-08 | dev-ml/ppx_inline_test: patch for newest ppxlib | Maciej Barć |