diff --git a/pkgs/applications/editors/eclipse/plugins/spoofax/0.3.10.nix b/pkgs/applications/editors/eclipse/plugins/spoofax/0.3.10.nix new file mode 100644 index 00000000000..4c782525ec7 --- /dev/null +++ b/pkgs/applications/editors/eclipse/plugins/spoofax/0.3.10.nix @@ -0,0 +1,6 @@ +{stdenv, fetchurl}: + +fetchurl { + url = http://nix.cs.uu.nl/dist/tarballs/org.spoofax.editor_0.3.10.jar; + md5 = "ff77853e750e19a9b8d380c17ea27f3d"; +} diff --git a/pkgs/applications/editors/eclipse/plugins/spoofax/default.nix b/pkgs/applications/editors/eclipse/plugins/spoofax/default.nix index 4c782525ec7..649619e487e 100644 --- a/pkgs/applications/editors/eclipse/plugins/spoofax/default.nix +++ b/pkgs/applications/editors/eclipse/plugins/spoofax/default.nix @@ -1,6 +1,6 @@ {stdenv, fetchurl}: fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/org.spoofax.editor_0.3.10.jar; - md5 = "ff77853e750e19a9b8d380c17ea27f3d"; + url = http://www.ii.uib.no/~karltk/spoofax/plugins/org.spoofax.editor_0.3.11.jar; + md5 = "c36941afcb0e538e16fafd594eae128e"; }