../ dolphin-devel-17.04.3-1.hint 17-Jul-2017 05:28 131 dolphin-devel-17.04.3-1.tar.xz 17-Jul-2017 05:28 6964 dolphin-devel-17.08.3-1.hint 14-Nov-2017 08:02 132 dolphin-devel-17.08.3-1.tar.xz 14-Nov-2017 08:02 6968 dolphin-devel-17.12.3-1.hint 15-Mar-2018 06:17 132 dolphin-devel-17.12.3-1.tar.xz 15-Mar-2018 06:17 6672 md5.sum 15-Mar-2018 16:14 429 sha512.sum 15-Mar-2018 16:14 1098