Package: openclonk

"openclonk" package binaries on Debian:

/usr/bin/c4group

You may install this package on Debian with apt-get install openclonk