SOURCE_URL=https://github.com/getgrav/grav/releases/download/1.7.42.1/grav-update-v1.7.42.1.zip SOURCE_SUM=29beadbd2f31b8faffa05f5d072ebf6ec56f71247538a6251a88fe15308d38b3 SOURCE_SUM_PRG=sha256sum SOURCE_FORMAT=zip SOURCE_IN_SUBDIR=true SOURCE_FILENAME=