Merge pull request #5 from lelgenio/automated-update

[Automated] Update dzgui "5.5.0"
This commit is contained in:
Leonardo Eugênio 2024-11-10 23:52:29 -03:00 committed by GitHub
commit f19d8dd0af
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.0"; version = "5.5.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "aclist"; owner = "aclist";
repo = "dztui"; repo = "dztui";
rev = "c2c7b37b904a05cdf0c86dbf3d22ef91728577b9"; rev = "bae6a57e1ee5660a07e3a3c326ec68617b831d31";
sha256 = "sha256-iC/c2MBFjvT0wVnKlpX4kL7fVa3BbjpmbEyjCU+aUyY="; sha256 = "sha256-x5GSyrbEZoru5p70QVRSFx52Njkhvtg/+qc94MqpOmo=";
}; };
postPatch = '' postPatch = ''