Binary: update-drbl-client-kernel-from-server

Debian packages that has this binary:

Package: drbl

/usr/share/drbl/sbin/update-drbl-client-kernel-from-server