Packages with the coq use flag