Error

two or more packages specified (gnat-gps-doc pithos)