devio=1.2-1build2
linux-headers-3.7.0-1-linaro-origen=3.7.0-1.1~ci+121213205553
flash-kernel=3.0~rc.4ubuntu27
linux-headers-linaro-origen=3.7.0.1.2
linux-image-linaro-origen=3.7.0.1.2
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+7630+49+201212080313~quantal1
uboot-mkimage=2012.04.01-2
origen-wlan=0.9
libuuid-perl=0.02-4ubuntu2
linux-image-3.7.0-1-linaro-origen=3.7.0-1.1~ci+121213205553
linux-base=3.5ubuntu4
hwpack-linaro-origen=20121217-17