Merge pull request #54764 from r-ryantm/auto-update/monetdb

monetdb: 11.31.11 -> 11.31.13
This commit is contained in:
Michael Weiss 2019-01-28 23:30:27 +01:00 committed by GitHub
commit 55aab980e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -3,14 +3,14 @@
}:
let
version = "11.31.11";
version = "11.31.13";
in stdenv.mkDerivation rec {
name = "monetdb-${version}";
src = fetchurl {
url = "https://dev.monetdb.org/downloads/sources/archive/MonetDB-${version}.tar.bz2";
sha256 = "0x504jdxnqpxln6b69dqagzm2zknf11lykckmydzi6vapfc5msd3";
sha256 = "1dvqhjxd2lmnqjzj14n4dnlflca0525kshl9abi7qjv0ipcc6a4l";
};
postPatch = ''