Merge pull request #253720 from FugiMuffi/agdsn-zsh-config

agdsn-zsh-config: 0.7.0 -> 0.7.1
This commit is contained in:
Weijia Wang 2023-09-07 01:01:40 +02:00 committed by GitHub
commit 03b69c4c3e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenvNoCC.mkDerivation rec {
pname = "agdsn-zsh-config";
version = "0.7.0";
version = "0.7.1";
src = fetchFromGitHub {
owner = "agdsn";
repo = "agdsn-zsh-config";
rev = "v${version}";
sha256 = "sha256-HMISWAZYLpKtd3oi7vEKCWwVaJCQXUon7KYo2jj+IjE=";
sha256 = "sha256-79bD3YQcpNTKYvEoKu22gqOKvNH7eZPGS/iU+/4IbAU=";
};
dontBuild = true;