josm: 11826 -> 12275

This commit is contained in:
Franz Pletz 2017-06-20 02:50:03 +02:00
parent 1ae0f2a1d4
commit c8948e9109
No known key found for this signature in database
GPG Key ID: 846FDED7792617B4

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "josm-${version}"; name = "josm-${version}";
version = "11826"; version = "12275";
src = fetchurl { src = fetchurl {
url = "https://josm.openstreetmap.de/download/josm-snapshot-${version}.jar"; url = "https://josm.openstreetmap.de/download/josm-snapshot-${version}.jar";
sha256 = "0x59n6klkxkaqcqgbkscdynyp0grfxdil2fxmg710yp8vkzg0zk2"; sha256 = "14y8ga1g3s9234zcgan16sw6va19jlwhfq39z0ayqmzna0fxi88a";
}; };
phases = [ "installPhase" ]; phases = [ "installPhase" ];
@ -39,7 +39,7 @@ stdenv.mkDerivation rec {
''; '';
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "An extensible editor for OpenStreetMap"; description = "An extensible editor for OpenStreetMap";
homepage = https://josm.openstreetmap.de/; homepage = https://josm.openstreetmap.de/;
license = licenses.gpl2Plus; license = licenses.gpl2Plus;
maintainers = [ maintainers.rycee ]; maintainers = [ maintainers.rycee ];