dev-ml/

ppx_string

Latest Commits

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

    86c7229

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

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

    5bb27ee

    Alfredo Tupone committed on 25 Apr 2022 17:31:28

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

    24005c4

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

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

    766ed05

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

    ppx_string-0.14.1.ebuild
• 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