debian/libsenf-socket-dev.install

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