Merge pull request #37346 from flokli/sqldeveloper

sqldeveloper: 17.4.0.355.2349 -> 17.4.1.054.0712
This commit is contained in:
Jörg Thalheim 2018-03-20 21:58:14 +00:00 committed by GitHub
commit 1c810f5f83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
{ stdenv, makeWrapper, requireFile, unzip, openjdk }: { stdenv, makeWrapper, requireFile, unzip, openjdk }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "17.4.0.355.2349"; version = "17.4.1.054.0712";
name = "sqldeveloper-${version}"; name = "sqldeveloper-${version}";
src = requireFile rec { src = requireFile rec {
@ -33,7 +33,7 @@ stdenv.mkDerivation rec {
nix-prefetch-url --type sha256 file:///path/to/${name} nix-prefetch-url --type sha256 file:///path/to/${name}
''; '';
# obtained by `sha256sum sqldeveloper-${version}-no-jre.zip` # obtained by `sha256sum sqldeveloper-${version}-no-jre.zip`
sha256 = "70add9b5c998583416e3d127aeb63dde8e3d0489036982026b930c85496c7850"; sha256 = "7e92ca94d02489002db291c96f1d67f9b2501a8967ff3457103fcf60c1eb154a";
}; };
buildInputs = [ makeWrapper unzip ]; buildInputs = [ makeWrapper unzip ];