I guess I found a compromise between spice copyright issues and
my intent to have a debian package of it. I put a .dsc file and
a .diff.gz file to my homepage, and anyone may download
spice3f5sbins.tar.gz legally from Berkeley, and create a private
debian binary package. Instructions are at
http://eda.ei.tum.de/~mcp/spicedeb/
Michael Pronath