Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/odoc: only support >=dune-3 | 2023-03-05 | 1 | -1/+2 | |
* | dev-ml/odoc: add missing fmt dep | 2022-12-21 | 1 | -3/+4 | |
* | dev-ml/odoc: new package, add 2.2.0 | 2022-12-21 | 3 | -0/+44 |
![]() |
index : repo/sync/gentoo.git | |
Sync-friendly git mirror of repo/gentoo with caches and metadata | Michał Górny <mgorny@gentoo.org> |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/odoc: only support >=dune-3 | 2023-03-05 | 1 | -1/+2 | |
* | dev-ml/odoc: add missing fmt dep | 2022-12-21 | 1 | -3/+4 | |
* | dev-ml/odoc: new package, add 2.2.0 | 2022-12-21 | 3 | -0/+44 |