Mathijs Kwik 185eab3b33 language-java: hash change ...

it looks as if the maintainer decided that 0.2.5.1 (which appeared for
a short time) could just replace 0.2.5

2013-09-28 22:00:03 +02:00

..

default.nix

language-java: hash change

2013-09-28 22:00:03 +02:00