Error

two or more packages specified (libmathcomp-coq stretch)