dev-ml/odoc – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-11-17
- dev-ml/odoc: drop 2.2.0-r2, 2.2.1, 2.4.2
  697a7c8
  Alfredo Tupone committed on 2024-11-17 08:41:46 UTC
  dev-ml/odoc/Manifestdev-ml/odoc/odoc-2.2.0-r2.ebuilddev-ml/odoc/odoc-2.2.1.ebuilddev-ml/odoc/odoc-2.4.2.ebuild
Commits on 2024-10-17
- dev-ml/odoc: add 2.4.3
  6de657f
  Alfredo Tupone committed on 2024-10-17 19:47:37 UTC
  dev-ml/odoc/odoc-2.4.3.ebuilddev-ml/odoc/Manifest
Commits on 2024-07-13
- dev-ml/odoc: add 2.4.2
  f1f3aa6
  Alfredo Tupone committed on 2024-07-13 07:51:04 UTC
  dev-ml/odoc/odoc-2.4.2.ebuilddev-ml/odoc/Manifest
Commits on 2023-09-07
- dev-ml/odoc: bump to 2.2.1
  305a427
  Maciej Barć committed on 2023-09-07 21:03:38 UTC
  dev-ml/odoc/odoc-2.2.1.ebuilddev-ml/odoc/Manifest
Commits on 2023-03-05
- dev-ml/odoc: only support >=dune-3
  371d482
  Alfredo Tupone committed on 2023-03-05 10:36:24 UTC
  dev-ml/odoc/odoc-2.2.0-r2.ebuilddev-ml/odoc/odoc-2.2.0-r1.ebuild
Commits on 2022-12-21
- dev-ml/odoc: add missing fmt dep
  4594ec4
  Maciej Barć committed on 2022-12-21 13:58:42 UTC
  dev-ml/odoc/odoc-2.2.0-r1.ebuilddev-ml/odoc/odoc-2.2.0.ebuild
- dev-ml/odoc: new package, add 2.2.0
  5d4359a
  Alfredo Tupone committed on 2022-12-21 13:24:19 UTC
  dev-ml/odoc/Manifestdev-ml/odoc/metadata.xmldev-ml/odoc/odoc-2.2.0.ebuild