devio=1.2-1build2
u-boot-tools=2012.04.01-2
flash-kernel=3.0~rc.4ubuntu33+linaro4
linux-image-linaro-highbank=3.12.0.1.1
u-boot-linaro-highbank=2013.01+7646+50+201307101117~raring1
linux-firmware=1.106+linaro1
linux-headers-linaro-highbank=3.12.0.1.1
uboot-mkimage=2012.04.01-2
libuuid-perl=0.02-5
linux-image-3.12.0-1-linaro-highbank=3.12.0-1.1ubuntu1~ci+131122122634
linux-headers-3.12.0-1-linaro-highbank=3.12.0-1.1ubuntu1~ci+131122122634
linux-base=3.5ubuntu4
hwpack-linaro-highbank=20131124-535