-
POGODALLA Sylvain authored
Removed a bad uninstall/remove field in the opam files. Added an opam lint control of the opam files in the Makefile
f738eb30
Removed a bad uninstall/remove field in the opam files. Added an opam lint control of the opam files in the Makefile