A debian package of the webdis server for the armhf platform.