Merge pull request #76434 from r-ryantm/auto-update/tiledb

tiledb: 1.7.0 -> 1.7.2
This commit is contained in:
Mario Rodas 2020-01-06 08:02:02 -05:00 committed by GitHub
commit b8b5606994
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,13 +20,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "tiledb"; pname = "tiledb";
version = "1.7.0"; version = "1.7.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "TileDB-Inc"; owner = "TileDB-Inc";
repo = "TileDB"; repo = "TileDB";
rev = version; rev = version;
sha256 = "07wh9q72vsaf5j2m2c6cfmllwhr3m9f8xzg8h0i6mhd7d0wr4lna"; sha256 = "00ykfc7p6n0nc97lvjnqjar95xyv8b2b77cjqczy03wh5i4gmifj";
}; };
nativeBuildInputs = [ nativeBuildInputs = [