Merge pull request #3 from lelgenio/automated-update

[Automated] Update dzgui "5.3.0"
This commit is contained in:
Leonardo Eugênio 2024-10-01 22:13:46 -03:00 committed by GitHub
commit 38cf2b507d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -14,13 +14,13 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "dzgui"; pname = "dzgui";
version = "5.3.1"; version = "5.3.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "aclist"; owner = "aclist";
repo = "dztui"; repo = "dztui";
rev = "8e6cf7e7925c6e6bc390a10d286ba1e7b2562d08"; rev = "c2c7b37b904a05cdf0c86dbf3d22ef91728577b9";
sha256 = "sha256-+FlAYTDpjDDmCAFxgmgHVnXGcIw63e5ia38zKbYI2ZI="; sha256 = "sha256-iC/c2MBFjvT0wVnKlpX4kL7fVa3BbjpmbEyjCU+aUyY=";
}; };
postPatch = '' postPatch = ''