chiark - git - mdw - tripe/blob - debian/tripe.install

   1 debian/tmp/usr/bin/tripectl
   2 debian/tmp/usr/sbin/tripe
   3 debian/tmp/usr/share/man/man1/tripectl.1
   4 debian/tmp/usr/share/man/man5/tripe-admin.5
   5 debian/tmp/usr/share/man/man8/tripe.8
   6 debian/tmp/usr/lib/tripe/tripe-privhelper
   7 debian/tmp/usr/share/man/man8/tripe-privhelper.8
   8 debian/tmp/usr/lib/pkgconfig/tripe.pc