Merge pull request #217736 from r-ryantm/auto-update/deheader

deheader: 1.8 -> 1.10
This commit is contained in:
Weijia Wang 2023-02-23 23:32:41 +02:00 committed by GitHub
commit ebf07690d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,14 +9,14 @@
stdenv.mkDerivation rec {
pname = "deheader";
version = "1.8";
version = "1.10";
outputs = [ "out" "man" ];
src = fetchFromGitLab {
owner = "esr";
repo = "deheader";
rev = version;
sha256 = "sha256-sjxgUtdsi/sfxOViDj7l8591TSYwtCzDQcHsk9ClXuM=";
sha256 = "sha256-dYTHvFWlt3aM/fdZFge7GBdd9bfCrEcp7ULJuBl71Xs=";
};
buildInputs = [ python3 ];