../ dolphin-devel-17.04.3-1.hint 17-Jul-2017 04:22 131 dolphin-devel-17.04.3-1.tar.xz 17-Jul-2017 04:22 6940 dolphin-devel-17.08.3-1.hint 13-Nov-2017 03:23 132 dolphin-devel-17.08.3-1.tar.xz 13-Nov-2017 03:23 6944 dolphin-devel-17.12.3-1.hint 13-Mar-2018 04:55 132 dolphin-devel-17.12.3-1.tar.xz 13-Mar-2018 04:55 6660 md5.sum 18-Jul-2017 06:44 301 sha512.sum 15-Mar-2018 15:44 1098