devio=1.2-1build1
flash-kernel=2.28ubuntu42.2linaro1
u-boot-linaro-vexpress-ca9x4=2012.08.2+6697+48+201211212230~precise1
linux-headers-linaro-vexpress=3.7.0.1.2
linux-headers-3.7.0-1-linaro-vexpress=3.7.0-1.1~ci+121126205937
u-boot-tools=2011.09-2
linux-image-3.7.0-1-linaro-vexpress=3.7.0-1.1~ci+121126205937
ubuntu-vexpress-extras-config=0.2
grub-arm=2.00+bzr4613+20121121-0ubuntu1~linaro1
linux-image-linaro-vexpress=3.7.0.1.2
linux-firmware=1.80~linaro3
uboot-mkimage=2011.09-2
uefi-image-vexpress=20120923020953-0ubuntu1
kvm-boot-wrapper=0.1~ppa1+bzr42+bzr16~precise1
hwpack-linaro-vexpress=20121127-445