Binary: debian-edu-restart-services

Debian packages that has this binary:

Package: debian-edu-config

/usr/sbin/debian-edu-restart-services