summaryrefslogtreecommitdiff
path: root/dev-ml/odoc
AgeCommit message (Collapse)Author
2025-08-25dev-ml/odoc: add 3.1.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-03-18dev-ml/odoc: add 2.4.4Alfredo Tupone
Closes: https://bugs.gentoo.org/951510 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-11-17dev-ml/odoc: drop 2.2.0-r2, 2.2.1, 2.4.2Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-10-17dev-ml/odoc: add 2.4.3Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-07-13dev-ml/odoc: add 2.4.2Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-09-07dev-ml/odoc: bump to 2.2.1Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-03-05dev-ml/odoc: only support >=dune-3Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-12-21dev-ml/odoc: add missing fmt depMaciej Barć
Closes: https://bugs.gentoo.org/887709 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2022-12-21dev-ml/odoc: new package, add 2.2.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>