jabref: 3.4 -> 3.5

This commit is contained in:
Gabriel Ebner 2016-07-22 21:04:30 +02:00
parent ae3f767a42
commit 575e0e27b1

View file

@ -1,12 +1,12 @@
{ stdenv, fetchurl, makeWrapper, makeDesktopItem, ant, jdk, jre }: { stdenv, fetchurl, makeWrapper, makeDesktopItem, ant, jdk, jre }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "3.4"; version = "3.5";
name = "jabref-${version}"; name = "jabref-${version}";
src = fetchurl { src = fetchurl {
url = "https://github.com/JabRef/jabref/releases/download/v${version}/JabRef-${version}.jar"; url = "https://github.com/JabRef/jabref/releases/download/v${version}/JabRef-${version}.jar";
sha256 = "1pimjx1452z159hvi199n52j5vkdj5c59mns9mi5mqvwhgm9dghd"; sha256 = "19q86xc8qr6j8zd9rsc6aa3jd4kbblkr6ik1h6h7npq012019adm";
}; };
desktopItem = makeDesktopItem { desktopItem = makeDesktopItem {