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

This commit is contained in:
Janik 2023-11-24 12:34:28 +01:00 committed by GitHub
commit 21af9192e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation (finalAttrs: {
pname = "monetdb";
version = "11.47.11";
version = "11.47.17";
src = fetchurl {
url = "https://dev.monetdb.org/downloads/sources/archive/MonetDB-${finalAttrs.version}.tar.bz2";
hash = "sha256-ZYogc8KjFYbmS7OlL2ufGxdnMAYOYeUFk8AVe7rDer0=";
hash = "sha256-2bMzIlvSShNZMVKzBl5T/T33l0PPcBFH35gJs0qlD4E=";
};
nativeBuildInputs = [ bison cmake python3 ];