enable using coq_makefile for opam packages #22
+247
−27
Merged
Annotations
11 warnings
Loading