Binary: update-gap-workspace

Debian packages that has this binary:

Package: gap-core

/usr/bin/update-gap-workspace