Merge pull request #252780 from r-ryantm/auto-update/jftui

jftui: 0.7.1 -> 0.7.2
This commit is contained in:
Weijia Wang 2023-09-01 23:49:45 +02:00 committed by GitHub
commit 02e9416dc6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,13 +8,13 @@
stdenv.mkDerivation rec {
pname = "jftui";
version = "0.7.1";
version = "0.7.2";
src = fetchFromGitHub {
owner = "Aanok";
repo = pname;
rev = "v${version}";
sha256 = "sha256-dkMJn5ZsM1pfHvSsj0kHsP17PqbR+yrRYX62RxoxwwM=";
sha256 = "sha256-w5DK9B3D3/9VExAQktigVPim33VfpoQPHUZefAS3pWQ=";
};
nativeBuildInputs = [