../ spice_0.11.0-1+deb7u1.debian.tar.gz 05-Jan-2014 15:27 21976 spice_0.11.0-1+deb7u1.dsc 05-Jan-2014 15:27 2293 spice_0.11.0.orig.tar.bz2 28-Jun-2012 17:51 1442150 spice_0.12.5-1.debian.tar.xz 23-May-2014 16:07 15172 spice_0.12.5-1.dsc 23-May-2014 16:07 2000 spice_0.12.5.orig.tar.bz2 23-May-2014 16:07 1737169