The text 647a7ec6dbab, as Debian 5.0 (Lenny), Debian 4.0 (Etch) shipped it.
manage a GAP workspace.
update-gap-workspace(1) on Linux now
