Merge pull request #32838 from flokli/sqldeveloper

sqldeveloper: 17.3.0.271.2323 -> 17.3.1.279.0537
This commit is contained in:
Jörg Thalheim 2018-01-04 15:48:08 +01:00 committed by GitHub
commit b85c083c99
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.mkDerivation rec {
version = "17.3.0.271.2323";
version = "17.3.1.279.0537";
name = "sqldeveloper-${version}";
src = requireFile rec {
@ -12,7 +12,7 @@ stdenv.mkDerivation rec {
obtain it you need to
- navigate to ${url}
- make sure that it says "Version ${version}" above the list of downloads
- make sure that it says "Version ${version}" above the list of downloads
- if it does not, click on the "Previous Version" link below the downloads
and repeat until the version is correct. This is necessarry because as the
time of this writing there exists no permanent link for the current version
@ -33,7 +33,7 @@ stdenv.mkDerivation rec {
nix-prefetch-url --type sha256 file:///path/to/${name}
'';
# obtained by `sha256sum sqldeveloper-${version}-no-jre.zip`
sha256 = "06ba5920544bacbea83425548b1b8f69ab3e9bb279076321aece2c0c6d415dad";
sha256 = "d9c3c61b12a57d6b0fd6e172bf5716d6e829306d44815bf68ae42eab8a51bea3";
};
buildInputs = [ makeWrapper unzip ];