devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu27.2~linaro1
uefi-image-arndale=1:0.1+git10+20130125+212a710-0linaro1
u-boot-tools=2012.04.01-2
linux-firmware=1.98~linaro1
u-boot-linaro-arndale5250=2013.01+7631+49+201301240847~quantal1
uboot-mkimage=2012.04.01-2
libuuid-perl=0.02-4ubuntu2
linux-base=3.5ubuntu4
linux-image-3.8.0-1-linaro-arndale=3.8.0-1.1ubuntu1~ci+130130015018
linux-headers-3.8.0-1-linaro-arndale=3.8.0-1.1ubuntu1~ci+130130015018