1 2 3 4 5 6
{stdenv, fetchurl}: fetchurl { url = http://www.ii.uib.no/~karltk/spoofax/plugins/org.spoofax.editor_0.3.11.jar; md5 = "c36941afcb0e538e16fafd594eae128e"; }