devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu33+linaro4
uefi-image-arndale=1:0.1+git37+20131123+aec0833-0linaro1
linux-headers-3.12.0-1-linaro-arndale=3.12.0-1.1ubuntu1~ci+131122133807
linux-image-linaro-arndale=3.12.0.1.1
linux-image-3.12.0-1-linaro-arndale=3.12.0-1.1ubuntu1~ci+131122133807
u-boot-tools=2012.04.01-2
linux-firmware=1.106+linaro1
u-boot-linaro-arndale5250=2013.01+7646+50+201307101117~raring1
uboot-mkimage=2012.04.01-2
linux-headers-linaro-arndale=3.12.0.1.1
libuuid-perl=0.02-5
linux-base=3.5ubuntu4
hwpack-linaro-arndale=20131124-535