../ php-horde_5.2.17+debian0-1.debian.tar.xz 11-Jun-2020 02:53 8032 php-horde_5.2.17+debian0-1.dsc 11-Jun-2020 02:53 2062 php-horde_5.2.17+debian0-1_all.deb 11-Jun-2020 05:01 1693092 php-horde_5.2.17+debian0.orig.tar.gz 11-Jun-2020 02:53 2964592