Quitte à te décevoir, il n'y a pas de vrai développement libre supporté avec des paquets Debian pour une solution miracast. Il y a des solutions à tester comme miraclecast, openwfd ou encore sous RPi avec du matériel bien spécifié avec PIRACAST.
Mais ce que tu évoques dans ton besoin c'est un accès VNC sur ton serveur/pc (miracast ne te donnera jamais la main, juste la vidéo). Je peux te suggérer tightvncserver : https://packages.debian.org/fr/source/jessie/tightvnc Puis sous android (ta tablette/portable) tu peux accéder à ton serveur et pc linux via https://play.google.com/store/apps/details?id=com.glavsoft.rrviewerpro&hl=fr En espérant que ça t'aide.
