devio=1.2-1build2
flash-kernel=3.0~rc.4ubuntu33+linaro4
u-boot-linaro-vexpress-ca9x4=2012.08.2-ubuntu1
u-boot-tools=2012.04.01-2
uboot-mkimage=2012.04.01-2
ubuntu-vexpress-extras-config=0.4
grub-arm=2.00+bzr4618+20130322-0linaro1
linux-image-3.10.9.0-1-linaro-lsk-vexpress=3.10.9.0-1.1ubuntu1~ci+130822025628
libuuid-perl=0.02-5
uefi-image-vexpress=1:0.1+git19+20130624+fe29a8a-0linaro1
linux-headers-3.10.9.0-1-linaro-lsk-vexpress=3.10.9.0-1.1ubuntu1~ci+130822025628
linux-base=3.5ubuntu4
kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~quantal1
hwpack-linaro-lsk-vexpress=20130826-443