Merge pull request #214201 from StillerHarpo/monetdb

monetdb: 11.45.11 -> 11.45.13
This commit is contained in:
Nick Cao 2023-02-07 10:05:57 +08:00 committed by GitHub
commit fbc33d9aa7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,14 +1,12 @@
{ lib, stdenv, fetchurl, cmake, python3
, bison, openssl, readline, bzip2
}:
{ lib, stdenv, fetchurl, cmake, python3, bison, openssl, readline, bzip2 }:
stdenv.mkDerivation rec {
pname = "monetdb";
version = "11.45.11";
version = "11.45.13";
src = fetchurl {
url = "https://dev.monetdb.org/downloads/sources/archive/MonetDB-${version}.tar.bz2";
sha256 = "sha256-0Hme9ohyRuiN9CAZq7SAWGcQxNakiDVWEoL+wt1GsfY=";
sha256 = "sha256-TYTzC1oiU/YwrJNABwyA50qSB12cwrMurqYFVCtSAcc=";
};
postPatch = ''