Error

two or more packages specified (coq squeeze-backports)