Merge pull request #76359 from r-ryantm/auto-update/polari

gnome3.polari: 3.34.0 -> 3.34.1
This commit is contained in:
Jan Tojnar 2019-12-24 20:29:32 +01:00 committed by GitHub
commit 1b53d70207
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,13 +5,13 @@
let let
pname = "polari"; pname = "polari";
version = "3.34.0"; version = "3.34.1";
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "${pname}-${version}"; name = "${pname}-${version}";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz"; url = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz";
sha256 = "09g2ylx2fwm55h28w0c03fxkdvlwmr2yc033m93c4acz1h30rjns"; sha256 = "0wcfkib673fpys7hcpi5cqc0zgqzqmqvpzjzx4wwmim8lb121x5w";
}; };
propagatedUserEnvPkgs = [ telepathy-idle telepathy-logger ]; propagatedUserEnvPkgs = [ telepathy-idle telepathy-logger ];