I more or less a have already done it. I am a bit new to the whole Debian packaging thing but if somebody wants to mentor me I can give it a spin. I can understand that the maintainers for the stable spice branch might feel a bit iffy about it though. Fair enough. For those that need the binaries now :
https://github.com/adlererik/spice-virgl/releases source : https://github.com/adlererik/spice-virgl Anybody can do what they want with the above code. All the best Erik Adler GPG/PGP key ID: 0x2B4B58FE gpg --keyserver pgp.mit.edu --recv-keys 0x2B4B58FE
