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
2015-07-10 00:23:48 +02:00
2015-05-28 19:20:29 +02:00
2015-09-08 13:53:28 +02:00
2015-07-28 02:55:55 +02:00
2015-09-08 20:45:20 +10:00
2015-07-04 00:39:44 +02:00
2015-07-07 12:11:58 +02:00
2015-05-03 10:58:17 -07:00
2015-09-10 16:47:43 +02:00
2015-05-30 13:48:53 +02:00
2015-01-19 15:43:25 +01:00
2015-06-20 12:43:10 -06:00
2015-02-05 11:54:19 +01:00
2015-09-08 07:43:41 +02:00
2015-02-09 12:58:19 +01:00
2015-01-28 16:02:46 +01:00
2015-09-07 15:54:00 +02:00
2015-07-23 04:13:03 -05:00
2015-09-09 11:31:14 +02:00
2015-05-26 13:06:34 +02:00
2015-05-28 19:20:29 +02:00
2015-09-05 00:38:42 -07:00
2015-09-05 16:01:37 +02:00
2015-09-06 21:15:10 +02:00
2015-07-23 20:42:35 +02:00
2015-08-27 12:29:45 +02:00
2015-09-01 03:28:19 +02:00
2015-01-14 20:27:55 -08:00
2015-07-15 21:14:15 +02:00
2015-07-09 13:18:21 +02:00
2015-08-13 18:02:55 +02:00
2015-06-20 02:06:20 -07:00
2015-09-07 12:07:00 +00:00
2015-06-01 01:28:18 -04:00
2015-05-28 19:20:29 +02:00
2015-05-22 17:40:18 +03:00
2015-08-21 09:28:23 +03:00
2015-05-28 19:20:29 +02:00
2015-05-30 15:19:05 +02:00
2015-02-04 13:34:13 +01:00
2015-07-21 19:08:15 +03:00
10d196c7f1