Error

two or more packages specified (prooftree bbtools.sourceforge.net)