# Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { name = "gnome-user-docs-3.18.0"; src = fetchurl { url = mirror://gnome/sources/gnome-user-docs/3.18/gnome-user-docs-3.18.0.tar.xz; sha256 = "c515d2c8b051ffb05ec497e4231d1ceecec824dc4fca45425d21295bb592e952"; }; }