dev-ml/

ppx_optional

Latest Commits

• Commits on Oct 19, 2022
  • dev-ml/ppx_optional: adj deps

    1e20391

    Alfredo Tupone committed on 19 Oct 2022 20:41:26

    ppx_optional-0.14.0.ebuild
• Commits on Apr 25, 2022
  • dev-ml/ppx_optional: 0.15.0 bump

    2ed0517

    Alfredo Tupone committed on 25 Apr 2022 17:11:22

    ppx_optional-0.15.0.ebuild Manifest
• Commits on Apr 18, 2022
  • dev-ml/ppx_optional: Keyword 0.14.0 riscv, #835392

    65aba6e

    Yongxiang Liang authored and  Jakov Smolić committed on 18 Apr 2022 21:05:22

    ppx_optional-0.14.0.ebuild
• Commits on Mar 03, 2022
  • dev-ml/ppx_optional: destabilise for ppc

    d08711b

    Sam James authored and  David Seifert committed on 3 Mar 2022 21:18:52

    ppx_optional-0.14.0.ebuild
• Commits on Jan 24, 2022
  • dev-ml: add ml@gentoo.org as mantainer

    9cbed67

    Alfredo Tupone committed on 24 Jan 2022 21:12:35

    metadata.xml
• Commits on Sep 11, 2021
  • **/metadata.xml: Replace http by https in DOCTYPE element

    38b155f

    Ulrich Müller committed on 11 Sep 2021 13:22:48

    metadata.xml