Code

[PPX DEPS] relax ppxlib constraint#107

Code

Open

maxtori wants to merge 1 commit intodarioteixeira:masterdarioteixeira/pgocaml:masterfrom maxtori:relax-ppxlibmaxtori/pgocaml:relax-ppxlibCopy head branch name to clipboard

+33-15

Commits

Commits on Mar 31, 2021

• [PPX DEPS] relax ppxlib constraint

  Show description for 3282811
  maxtori

  committed
  3282811

  Copy full SHA for 3282811