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
..
applications	Merge pull request #9760 from ebzzry/devilspie2	2015-09-10 09:57:10 +02:00
build-support	mirrors: add httpredir.debian.org as the first debian mirror	2015-09-08 20:02:59 +08:00
data	tango-icon-theme: add cache file	2015-09-09 09:27:30 +02:00
desktops	gcr: disable parallel builds	2015-09-10 12:58:43 +02:00
development	sqldeveloper: update to version 4.1.1.19.59	2015-09-10 16:47:43 +02:00
games	Merge pull request #9728 from yochai/master	2015-09-09 22:02:09 +03:00
misc	xtrlock-pam: init at 3.4	2015-09-10 09:13:06 +02:00
os-specific	mcelog: 124 -> 125	2015-09-10 00:59:07 +02:00
servers	Merge pull request #9154 from tomberek/shellinabox_update_repo	2015-09-09 13:49:11 +03:00
shells	Merge pull request #9254 from FRidh/jupyter	2015-09-08 17:43:21 +02:00
stdenv	Don't barf JSON at users in error messages	2015-08-27 15:32:45 +02:00
test
tools	Merge pull request #9776 from KoviRobi/plan9port-fix-interpreter-paths	2015-09-10 08:58:34 -05:00
top-level	AppSqitch: 0.999 -> 0.9993	2015-09-10 13:42:14 +02:00