Error

two or more packages specified (libcoq-simple-io-4s7a6 releases)