# Autogenerated by maintainers/scripts/gnome.sh update

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

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