11 commits

Author	SHA1	Message	Date
Florian Klink	eac6d05de3	sqldeveloper: 17.3.0.271.2323 -> 17.3.1.279.0537	2017-12-19 11:00:00 +01:00
Florian Klink	db1e1dcf34	sqldeveloper: fix trailing whitespace	2017-12-19 10:55:19 +01:00
Timo Kaufmann	6591a70812	sqldeveloper: 17.2 -> 17.3	2017-10-14 18:27:54 -05:00
Timo Kaufmann	1e6662dc6a	sqldeveloper: Add a detailed requireFile message	2017-10-14 18:13:25 -05:00
Timo Kaufmann	18774fb82b	sqldeveloper: 4.1.1 -> 17.2.0	2017-09-27 18:36:37 -05:00
Silvan Mosberger	f5fa5fa4d6	pkgs: refactor needless quoting of homepage meta attribute (#27809) ... * pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances	2017-08-01 22:03:30 +02:00
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
Antoine R. Dumont	a12dd8f6a1	Upgrade to latest stable ... Upgraded the dependency to oracle's jdk8.	2015-05-26 19:30:19 +02:00
Pascal Wittmann	f99d5cf2fc	Fixed some descriptions	2015-04-28 10:55:20 +02:00
Antoine R. Dumont	86062d7a95	Adapt code according to @lethalman's review ... - Use ${bash}/bin/bash - We cannot use oraclejre7 because sqldeveloper wants a jdk.	2015-03-13 13:49:26 +01:00
Antoine R. Dumont	c96aff8eb9	Add sqldeveloper derivation	2015-03-12 22:30:47 +01:00