devio=1.2-1build2
flash-kernel=3.0~rc.4ubuntu27.2~linaro1
u-boot-tools=2012.04.01-2
origen-bluetooth=0.10
ubuntu-origen-extras=0.1
ubuntu-origen-extras-connectivity=0.1
linux-firmware=1.98~linaro1
u-boot-linaro-origen=2013.01+7631+49+201301240847~quantal1
uboot-mkimage=2012.04.01-2
origen-wlan=0.9
libuuid-perl=0.02-4ubuntu2
linux-base=3.5ubuntu4
linux-image-3.8.0-1-linaro-origen=3.8.0-1.1ubuntu1~ci+130130031546
linux-headers-3.8.0-1-linaro-origen=3.8.0-1.1ubuntu1~ci+130130031546