devio=1.2-1build2
uefi-image-startup-nsh=0.0.1.20140214-0linaro1
flash-kernel=3.0~rc.4ubuntu49+linaro1
uefi-image-juno=0.3.20140404-0linaro1
juno-pre-boot=0.3.20140516really0.3.20140409-0linaro1
fvp-pre-boot=0.2.20140428+git41+5cfa93d-0linaro1
ubuntu-vexpress-extras-config=0.4
linux-firmware=1.127.2+linaro1
libuuid-perl=0.05-1
uefi-image-vexpress=1:0.2+git12+20140416+48c8a38-0linaro1
linux-base=3.5ubuntu4
kvm-boot-wrapper=0.1~ppa1+bzr48+bzr16~saucy1
linux-image-3.15.0-1-linaro-vexpress64=3.15.0-1.1ubuntu1~ci+140530092655
linux-headers-3.15.0-1-linaro-vexpress64=3.15.0-1.1ubuntu1~ci+140530092655