Error

two or more packages specified (coq-8.6+4.05.0 bionic)