# Autogenerated by maintainers/scripts/gnome.sh update

fetchurl: {
  name = "gnome-tetravex-3.18.0";

  src = fetchurl {
    url = mirror://gnome/sources/gnome-tetravex/3.18/gnome-tetravex-3.18.0.tar.xz;
    sha256 = "ea00ff5ea9a3b583c4d755cefa2725dd7b3b0781972af1c56377c7eda48cb579";
  };
}