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

monetdb: 11.37.7 -> 11.37.11
This commit is contained in:
Mario Rodas 2020-07-29 21:51:08 -05:00 committed by GitHub
commit 43dd81b3fe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,7 +3,7 @@
}:
let
version = "11.37.7";
version = "11.37.11";
in stdenv.mkDerivation {
pname = "monetdb";
@ -11,7 +11,7 @@ in stdenv.mkDerivation {
src = fetchurl {
url = "https://dev.monetdb.org/downloads/sources/archive/MonetDB-${version}.tar.bz2";
sha256 = "00z6c7z4f9ww43574nz32b06rw5ln5fy3hlml32h2wrwsg0cj5jh";
sha256 = "0ch4vka64m5fbyah2730rcv7xpgy4hq26vbi8wd8mkadwna7azr5";
};
postPatch = ''