devio=1.2-1build1
flash-kernel=2.28ubuntu42linaro2
linux-headers-linaro-vexpress=3.5.0.1.1
u-boot-tools=2011.09-2
linux-image-linaro-vexpress=3.5.0.1.1
linux-firmware=1.80~linaro3
uboot-mkimage=2011.09-2
linux-image-3.5.0-1-linaro-vexpress=3.5.0-1.1~120627161911
linux-headers-3.5.0-1-linaro-vexpress=3.5.0-1.1~120627161911
hwpack-linaro-vexpress=20120627-132