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
..
sqldeveloper	sqldeveloper: update to version 4.1.1.19.59	2015-09-10 16:47:43 +02:00
sqlitebrowser	sqlitebrowser: init at 3.7.0	2015-07-13 22:11:30 +02:00