Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/odoc: bump to 2.2.1 | 2023-09-07 | 2 | -0/+30 | |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/odoc: only support >=dune-3 | 2023-03-05 | 1 | -1/+2 | |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/odoc: add missing fmt dep | 2022-12-21 | 1 | -3/+4 | |
| | | | | | Closes: https://bugs.gentoo.org/887709 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/odoc: new package, add 2.2.0 | 2022-12-21 | 3 | -0/+44 | |
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> |