Error

two or more packages specified (gap-pkg-gapdoc stretch)