debian/tmp/usr/lib/libSocket.a
debian/tmp/usr/include/Scheduler
debian/README usr/share/doc/libsenf-scheduler-dev