# Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { name = "gnome-terminal-3.24.2"; src = fetchurl { url = mirror://gnome/sources/gnome-terminal/3.24/gnome-terminal-3.24.2.tar.xz; sha256 = "281edac30a07ca45beaaaf0a13fe2219cf8b87ece5e55dccbfc49ef769dfec0f"; }; }