gnome3.polari: 3.36.3 -> 3.38.0

https://gitlab.gnome.org/GNOME/polari/-/blob/3.38.0/NEWS
This commit is contained in:
Piotr Bogdan 2020-08-21 18:38:36 +01:00 committed by Jan Tojnar
parent e586e4da26
commit f629e0b149
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -5,13 +5,13 @@
let
pname = "polari";
version = "3.36.3";
version = "3.38.0";
in stdenv.mkDerivation rec {
name = "${pname}-${version}";
src = fetchurl {
url = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz";
sha256 = "0fpmrvhd40yay051bzn4x3gsrzdv42nav0pm5ps0np8wk1z689jg";
sha256 = "1l82nmb5qk4h69rsdhzlcmjjdhwh9jzfs4cnw8hy39sg5v9ady1s";
};
patches = [