devio=1.2-1build2
linux-image-3.10.52.0-1-linaro-lsk-vexpress=3.10.52.0-1.1ubuntu1~ci+140823061033
flash-kernel=3.0~rc.4ubuntu49+linaro1
u-boot-linaro-vexpress-ca9x4=2012.08.2-ubuntu1
linux-headers-3.10.52.0-1-linaro-lsk-vexpress=3.10.52.0-1.1ubuntu1~ci+140823061033
fvp-pre-boot=0.2.20140715+git45+ab406f1-0linaro1
ubuntu-vexpress-extras-config=0.4
libuuid-perl=0.05-1
uefi-image-vexpress=1:0.2+git12+20140416+48c8a38-0linaro1
linux-base=3.5ubuntu4
kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~saucy1
hwpack-linaro-lsk-vexpress=20140823-686