agda-bin optional universe/haskell docker-doc optional universe/doc docker.io optional universe/admin golang-docker-dev optional universe/admin golang-github-docker-docker-dev optional universe/admin google-guest-agent optional universe/devel google-osconfig-agent optional universe/devel libghc-agda-dev extra universe/haskell linux-buildinfo-4.4.0-1148-raspi2 optional universe/kernel linux-buildinfo-4.4.0-1149-raspi2 optional universe/kernel linux-buildinfo-4.4.0-1153-snapdragon optional universe/kernel linux-headers-4.4.0-1148-raspi2 optional universe/devel linux-headers-4.4.0-1149-raspi2 optional universe/devel linux-headers-4.4.0-1153-snapdragon optional universe/devel linux-image-4.4.0-1148-raspi2 optional universe/kernel linux-image-4.4.0-1149-raspi2 optional universe/kernel linux-image-4.4.0-1153-snapdragon optional universe/kernel linux-modules-4.4.0-1148-raspi2 optional universe/kernel linux-modules-4.4.0-1149-raspi2 optional universe/kernel linux-modules-4.4.0-1153-snapdragon optional universe/kernel linux-raspi2-headers-4.4.0-1148 optional universe/devel linux-raspi2-headers-4.4.0-1149 optional universe/devel linux-raspi2-tools-4.4.0-1148 optional universe/devel linux-raspi2-tools-4.4.0-1149 optional universe/devel linux-snapdragon-headers-4.4.0-1153 optional universe/devel linux-snapdragon-tools-4.4.0-1153 optional universe/devel linux-tools-4.4.0-1148-raspi2 optional universe/devel linux-tools-4.4.0-1149-raspi2 optional universe/devel linux-tools-4.4.0-1153-snapdragon optional universe/devel petitboot-twin optional universe/admin petitboot optional universe/admin python-distro-info optional universe/python python-software-properties optional universe/gnome software-properties-kde optional universe/gnome update-manager-kde optional universe/gnome update-manager-text optional universe/gnome vim-syntax-docker optional universe/admin