Closed dra27 closed 2 years ago
A few things picked up in the opam-repository PR for 5.1.2:
{dev}
{pinned}
A few things picked up in the opam-repository PR for 5.1.2:
{dev}
instead of{pinned}
in the subst command