Merge pull request #34007 from mimadrid/update/weka-3.8.2

weka: 3.8.1 -> 3.8.2
This commit is contained in:
Arseniy Seroka 2018-01-18 14:45:49 +00:00 committed by GitHub
commit 0b559ed1cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "weka-${version}"; name = "weka-${version}";
version = "3.8.1"; version = "3.8.2";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/weka/${stdenv.lib.replaceChars ["."]["-"] name}.zip"; url = "mirror://sourceforge/weka/${stdenv.lib.replaceChars ["."]["-"] name}.zip";
sha256 = "16n1a74d1cispp0a22zyiivi78izi354y67gmbyvv2lv9sc45wmk"; sha256 = "0p353lhhcv3swwn1bl64vkyjk480vv9ghhlyqjxiar4p3xifjayb";
}; };
buildInputs = [ unzip ]; buildInputs = [ unzip ];