libx11-data=2:1.4.4-2ubuntu1 hdmiservice=1.1-0 libxcb1=1.7-3 libxext6=2:1.3.0-3 snowball-init=1.3.1-0 mali400=2.1-7 linux-image-3.3.0-1000-ux500=3.3.0-1000.0 wireless-crda=1.14 devio=1.2-1build1 hdmiservice-dev=1.1-0 lbsd=1.0.0-5 flash-kernel=2.28ubuntu34linaro3 linux-image-ux500=3.3.0.1000.0 xf86-video-mali=1.0.1-4 linux-firmware=1.60.1linaro1 libxau6=1:1.0.6-3 linux-headers-ux500=3.3.0.1000.0 b2r2lib-dev=1.0.1-2 libx11-6=2:1.4.4-2ubuntu1 u-boot-ux500=2009.11-7 mali400-dev=2.1-7 libxfixes3=1:5.0-4 linux-headers-3.3.0-1000=3.3.0-1000.0 linux-headers-3.3.0-1000-ux500=3.3.0-1000.0 ux500-firmware=1.1.3-5 b2r2lib=1.0.1-2 snowball-mactool=1.0-0 startupfiles=3.0.7-1 xf86-video-mali-dbg=1.0.1-4 libxdmcp6=1:1.1.0-3 hwpack-linaro-lt-snowball=20120327-1