# Autogenerated by maintainers/scripts/gnome.sh update

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

  src = fetchurl {
    url = mirror://gnome/sources/gnome-tetravex/3.20/gnome-tetravex-3.20.0.tar.xz;
    sha256 = "a1bdfa4233484566a01373b19f8c0fb126b7c5728227916a48d2ee012c3cbd62";
  };
}
