Version of php-horde-core: 2.31.18+debian0-2
Architecture of php-horde-core: all
Version of polymake: 4.11-2+b3
Architecture of polymake: amd64