devio=1.2-1build2
flash-kernel=3.0~rc.4ubuntu44+linaro1
linux-image-linaro-midway=3.13.0.1.1
linux-image-3.13.0-1-linaro-midway=3.13.0-1.1ubuntu1~ci+131215022048
u-boot-tools=2013.01.01-4
u-boot-linaro-highbank=2013.01+7646+50+201307101117~raring1
linux-firmware=1.117+linaro1
libuuid-perl=0.02-5
linux-headers-linaro-midway=3.13.0.1.1
linux-base=3.5ubuntu4
linux-headers-3.13.0-1-linaro-midway=3.13.0-1.1ubuntu1~ci+131215022048
hwpack-linaro-midway=20131216-558