../ libspice-server-devel-0.12.8-10.1.armv7hl.rpm 02-Nov-2018 13:15 20K libspice-server1-0.12.8-10.1.armv7hl.rpm 02-Nov-2018 13:15 317K libspice-server1-debuginfo-0.12.8-10.1.armv7hl.rpm 02-Nov-2018 13:15 939K spice-debugsource-0.12.8-10.1.armv7hl.rpm 02-Nov-2018 13:15 313K