{stdenv, fetchurl}:

fetchurl {
  url = http://nix.cs.uu.nl/dist/tarballs/org.spoofax.editor_0.3.10.jar;
  md5 = "ff77853e750e19a9b8d380c17ea27f3d";
}