Error

two or more packages specified (libcoq-equations-6idq0 usemod-wiki)