dev-ml/ptmap – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2022-11-19
- dev-ml/ptmap: remove seq reference from dune build file
  8a220ae
  Maciej Barć committed on 2022-11-19 21:26:47 UTC
  dev-ml/ptmap/files/ptmap-2.0.5-dune.patchdev-ml/ptmap/ptmap-2.0.5-r2.ebuild
Commits on 2022-10-26
- dev-ml/ptmap: add ocaml >=4.07 dependency
  befb4e1
  Maciej Barć committed on 2022-10-26 22:04:34 UTC
  dev-ml/ptmap/ptmap-2.0.5-r2.ebuilddev-ml/ptmap/ptmap-2.0.5-r1.ebuild
Commits on 2022-01-25
- **/metadata.xml: Replace http by https in DOCTYPE element
  2585fff
  Ulrich Müller committed on 2022-01-25 18:37:45 UTC
  dev-ml/ptmap/metadata.xml
Commits on 2021-12-05
- dev-ml/ptmap: fix slot
  892ba44
  Maciej Barć committed on 2021-12-05 03:22:31 UTC
  dev-ml/ptmap/ptmap-2.0.5-r1.ebuilddev-ml/ptmap/ptmap-2.0.5.ebuild
- dev-ml/ptmap: new package; add version 2.0.5
  145d06a
  Maciej Barć committed on 2021-12-05 01:41:26 UTC
  dev-ml/ptmap/Manifestdev-ml/ptmap/metadata.xmldev-ml/ptmap/ptmap-2.0.5.ebuild