Merge pull request #210688 from dotlambda/chatty-0.7.0_rc5

chatty: 0.7.0_rc4 -> 0.7.0_rc5
This commit is contained in:
Nick Cao 2023-01-16 13:02:30 +08:00 committed by GitHub
commit e05484e5cc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -29,7 +29,7 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "chatty"; pname = "chatty";
version = "0.7.0_rc4"; version = "0.7.0_rc5";
src = fetchFromGitLab { src = fetchFromGitLab {
domain = "source.puri.sm"; domain = "source.puri.sm";
@ -37,7 +37,7 @@ stdenv.mkDerivation rec {
repo = "chatty"; repo = "chatty";
rev = "v${version}"; rev = "v${version}";
fetchSubmodules = true; fetchSubmodules = true;
hash = "sha256-/8Y82PYlR9ucnT7/BsUk+STmsftpUvSNJM3cwG+Iv/A="; hash = "sha256-5V0ApHxsJaQ0MBhMlv1IxnD9Vq+Yw85jFvlvghhFxNI=";
}; };
postPatch = '' postPatch = ''