Merge pull request #178116 from davidtwco/jirafeau-4.4.0

jirafeau: 4.3.0 -> 4.4.0
This commit is contained in:
Mario Rodas 2022-06-22 21:53:19 -05:00 committed by GitHub
commit 287dbab37a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,13 +8,13 @@ let
in
stdenv.mkDerivation rec {
pname = "jirafeau";
version = "4.3.0";
version = "4.4.0";
src = fetchFromGitLab {
owner = "mojo42";
repo = "Jirafeau";
rev = version;
hash = "sha256-9v6rtxViXsolx5AKSp2HxcFyU1XJWFSiqzTBl+dQBD4=";
hash = "sha256-jJ2r8XTtAzawTVo2A2pDwy7Z6KHeyBkgXXaCPY0w/rg=";
};
installPhase = ''