We have added Raspberry Pi Sense HAT kernel support and the DT overlay. There is no userspace stuff in our install however.
Some packages you are after may be exclusive to the Rasperry Pi repository. You could try adding:
http://archive.raspberrypi.org/debian jessie main
And running apt-get update and trying to install your package again.
Sam