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