Merge pull request #191751 from onny/dokuwiki-update

dokuwiki: 2022-07-31 -> 2022-07-31a
This commit is contained in:
Jonas Heinrich 2022-09-19 15:16:52 +02:00 committed by GitHub
commit 33c7004750
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "dokuwiki"; pname = "dokuwiki";
version = "2022-07-31"; version = "2022-07-31a";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "splitbrain"; owner = "splitbrain";
repo = pname; repo = pname;
rev = "release_stable_${version}"; rev = "release_stable_${version}";
sha256 = "sha256-FreJsajdfoefQHo6rBzkImDUvR3Zb7rBQTYhYvyRJC4="; sha256 = "sha256-gtWEtc3kbMokKycTx71XXblkDF39i926uN2kU3oOeVw=";
}; };
preload = writeText "preload.php" '' preload = writeText "preload.php" ''