Error

two or more packages specified (haskell-agda-doc wheezy)