agda-bin optional universe/haskell ec2-init extra universe/admin libghc-agda-dev extra universe/haskell libglib2.0-0-refdbg optional universe/libs libglib2.0-tests optional universe/libs linux-aws-edge optional universe/oldlibs linux-aws-headers-4.15.0-1058 optional universe/devel linux-aws-hwe-cloud-tools-4.15.0-1058 optional universe/devel linux-aws-hwe-tools-4.15.0-1058 optional universe/devel linux-aws-hwe optional universe/metapackages linux-buildinfo-4.15.0-1058-aws optional universe/kernel linux-buildinfo-4.4.0-1128-raspi2 optional universe/kernel linux-buildinfo-4.4.0-1132-snapdragon optional universe/kernel linux-cloud-tools-4.15.0-1058-aws optional universe/devel linux-headers-4.15.0-1058-aws optional universe/devel linux-headers-4.4.0-1128-raspi2 optional universe/devel linux-headers-4.4.0-1132-snapdragon optional universe/devel linux-headers-aws-hwe optional universe/metapackages linux-headers-raspi2 optional universe/metapackages linux-headers-snapdragon optional universe/metapackages linux-image-4.15.0-1058-aws optional universe/kernel linux-image-4.4.0-1128-raspi2 optional universe/kernel linux-image-4.4.0-1132-snapdragon optional universe/kernel linux-image-aws-hwe optional universe/metapackages linux-image-raspi2 optional universe/metapackages linux-image-snapdragon optional universe/metapackages linux-modules-4.15.0-1058-aws optional universe/kernel linux-modules-4.4.0-1128-raspi2 optional universe/kernel linux-modules-4.4.0-1132-snapdragon optional universe/kernel linux-modules-extra-4.15.0-1058-aws optional universe/kernel linux-modules-extra-aws-hwe optional universe/metapackages linux-raspi2-headers-4.4.0-1128 optional universe/devel linux-raspi2-tools-4.4.0-1128 optional universe/devel linux-raspi2 optional universe/metapackages linux-snapdragon-headers-4.4.0-1132 optional universe/devel linux-snapdragon-tools-4.4.0-1132 optional universe/devel linux-snapdragon optional universe/metapackages linux-tools-4.15.0-1058-aws optional universe/devel linux-tools-4.4.0-1128-raspi2 optional universe/devel linux-tools-4.4.0-1132-snapdragon optional universe/devel linux-tools-aws-hwe optional universe/metapackages linux-tools-raspi2 optional universe/metapackages linux-tools-snapdragon optional universe/metapackages petitboot-twin optional universe/admin petitboot optional universe/admin pulseaudio-esound-compat optional universe/sound pulseaudio-module-droid extra universe/sound pulseaudio-module-gconf optional universe/sound pulseaudio-module-jack optional universe/sound pulseaudio-module-lirc optional universe/sound pulseaudio-module-raop optional universe/sound pulseaudio-module-trust-store extra universe/sound pulseaudio-module-zeroconf optional universe/sound snapd-xdg-open optional universe/utils stress-ng optional universe/devel systemtap-client optional universe/devel systemtap-common optional universe/devel systemtap-doc optional universe/doc systemtap-runtime optional universe/devel systemtap-sdt-dev optional universe/devel systemtap-server optional universe/devel systemtap optional universe/devel thunderbird-globalmenu optional universe/web thunderbird-mozsymbols extra universe/debug ubuntu-snappy-cli optional universe/devel ubuntu-snappy optional universe/devel unicode-data optional universe/misc xfce4-weather-plugin optional universe/x11 xul-ext-calendar-timezones optional universe/web xul-ext-gdata-provider optional universe/web xul-ext-lightning optional universe/web