Merge pull request #217346 from dotlambda/chatty-0.7.0

chatty: 0.7.0_rc5 -> 0.7.0
This commit is contained in:
Weijia Wang
2023-02-25 10:47:07 +02:00
committed by GitHub
@@ -29,7 +29,7 @@
stdenv.mkDerivation rec {
pname = "chatty";
version = "0.7.0_rc5";
version = "0.7.0";
src = fetchFromGitLab {
domain = "source.puri.sm";
@@ -37,7 +37,7 @@ stdenv.mkDerivation rec {
repo = "chatty";
rev = "v${version}";
fetchSubmodules = true;
hash = "sha256-5V0ApHxsJaQ0MBhMlv1IxnD9Vq+Yw85jFvlvghhFxNI=";
hash = "sha256-e3lYzQjQx1ndomq4mJ8TmwXoUG3Bjl9JrLuTmjXmRCs=";
};
postPatch = ''