Version of php-horde: 5.2.23+debian0-6
Architecture of php-horde: all
Version of python3-catkin-pkg: 1.0.0-2
Architecture of python3-catkin-pkg: all