mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 19:15:39 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/tools/database/sqldeveloper
History
Peter Simons 10d196c7f1 sqldeveloper: update to version 4.1.1.19.59 
I also switched the build to depend on openjdk instead of Oracle's proprietary
one. I'm open to suggestions on how to determine the proper value of $JAVA_HOME
in a jdk-agnostic fashion. Right now, I just hard-coded the proper choice for
openjdk.

* pkgs/development/tools/database/sqldeveloper/default.nix:
2015-09-10 16:47:43 +02:00
..
default.nix