Error

two or more packages specified (prove6 unknown)