Error

two or more packages specified (coq-libs etch-m68k)