devio=1.2-1build2
arndale-pre-boot=0.0.2.20130101-0ubuntu1~linaro1
flash-kernel=3.0~rc.4ubuntu49+linaro1
u-boot-tools=2013.10-3
linux-firmware=1.127.5+linaro1
u-boot-linaro-arndale5250=2013.01+7646+50+201307101117~raring1
libuuid-perl=0.05-1
linux-base=3.5ubuntu4
linux-image-3.10.37-linaro-arndale=3.10.37-linaro-arndale-1
linux-headers-3.10.37-linaro-arndale=3.10.37-linaro-arndale-1