Closed anmonteiro closed 5 years ago
Otherwise "-p" name (in the opam file) fails
"-p" name
Thanks ! CI failure is unrelated (but I should fix it). Note to self, we should change the name when fixing #4 as well.
Otherwise
"-p" name
(in the opam file) fails