# Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { name = "gnome-mines-3.18.2"; src = fetchurl { url = mirror://gnome/sources/gnome-mines/3.18/gnome-mines-3.18.2.tar.xz; sha256 = "7e1e0778eb623bb96063944b0397503f964b898c234d30936c24ca1c9063f347"; }; }