I have released spice3f5 for debian. The package is in incoming. spice can be removed from the wnpp. -- Joop pa3aba@debian.org