Version of php-horde: 5.2.23+debian0-6
Architecture of php-horde: all
Version of grub-efi-ia32-bin: 2.12-2
Architecture of grub-efi-ia32-bin: amd64