# Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { name = "devhelp-3.18.1"; src = fetchurl { url = mirror://gnome/sources/devhelp/3.18/devhelp-3.18.1.tar.xz; sha256 = "303a162ad294dc6f9984898e501a06dc5d2aa9812b06801c2e39b250d8c51aef"; }; }