../ php-horde_5.2.20+debian0-1.debian.tar.xz 31-Oct-2018 12:00 8200 php-horde_5.2.20+debian0-1.dsc 31-Oct-2018 12:00 2041 php-horde_5.2.20+debian0-1_all.deb 31-Oct-2018 12:01 1877012 php-horde_5.2.20+debian0.orig.tar.gz 31-Oct-2018 12:00 3007941