# Autogenerated by maintainers/scripts/gnome.sh update

fetchurl: {
  name = "gnome-terminal-3.20.2";

  src = fetchurl {
    url = mirror://gnome/sources/gnome-terminal/3.20/gnome-terminal-3.20.2.tar.xz;
    sha256 = "f5383060730f1de70af35e917f82d5b6a14d963ad9cfd6a0e705f90011645a23";
  };
}
