spice-server-0.12.2-3.fc18.x86_64
spice-vdagent-0.14.0-1.fc18.x86_64