238 commits

Author	SHA1	Message	Date
Robert Helgesson	d30a200ab2	eclipse-plugin-spotbugs: 3.1.9 -> 3.1.10	2018-12-25 18:11:51 +01:00
Robert Helgesson	44f2569e50	eclipse-plugin-spotbugs: 3.1.8 -> 3.1.9	2018-11-28 20:50:18 +01:00
Robert Helgesson	874894b397	eclipse-plugin-spotbugs: 3.1.6 -> 3.1.8	2018-10-21 13:11:37 +02:00
Joakim Pettersvold	6fe0f07557	eclipses: add Eclipse IDE for Java Developers 4.9	2018-10-15 21:05:04 +02:00
Robert Helgesson	1bd1587342	eclipses: remove old platform and sdk version ... This removes the old 4.6.2 version of eclipse-platform and eclipse-sdk.	2018-09-27 20:50:52 +02:00
Robert Helgesson	b0ea289f4c	eclipses: 4.8 -> 4.9 ... This bumps eclipse-platform, eclipse-sdk, and eclipse-plugin-jdt to version 4.9.	2018-09-27 20:50:48 +02:00
John Ericson	2c2f1e37d4	reewide: Purge all uses stdenv.system and top-level system ... It is deprecated and will be removed after 18.09.	2018-08-30 17:20:32 -04:00
Robert Helgesson	a01a52a2d7	eclipse-plugin-spotbugs: 3.1.5 -> 3.1.6	2018-07-26 15:43:59 +02:00
volth	52f53c69ce	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
Robert Helgesson	cb96b8643c	eclipse-plugin-jdt-codemining: init at 1.0.0.201806221018	2018-07-02 17:37:17 +02:00
Robert Helgesson	8e78a9a68f	eclipse-plugin-jdt: 4.7.3a -> 4.8	2018-06-29 16:52:19 +02:00
Robert Helgesson	78601c097c	eclipse-sdk: 4.7.3a -> 4.8	2018-06-29 16:52:19 +02:00
Robert Helgesson	54f7949636	eclipse-platform: 4.7.3a -> 4.8	2018-06-29 16:52:14 +02:00
Robert Helgesson	b717ca8e45	eclipse-plugin-spotbugs: 3.1.3 -> 3.1.5	2018-06-20 20:24:45 +02:00
Robert Helgesson	d5dae23007	eclipse-plugin-jdt: 4.7.2 -> 4.7.3a	2018-05-15 18:52:58 +02:00
Robert Helgesson	726268db77	eclipse-sdk: 4.7.2 -> 4.7.3a	2018-05-15 18:52:58 +02:00
Robert Helgesson	9f20a5985d	eclipse-platform: 4.7.2 -> 4.7.3a	2018-05-15 18:52:58 +02:00
Robert Helgesson	88946527a5	eclipse-plugin-jsonedit: 1.1.0 -> 1.1.1	2018-05-08 23:20:15 +02:00
Robert Helgesson	f54a9994e3	eclipse-plugin-spotbugs: 3.1.2 -> 3.1.3 ... Also switch to using zipped update site provided on GitHub.	2018-04-24 22:58:15 +02:00
Matt McHenry	cb66a7468e	eclipse: jdk8 -> jdk10 ... in combination with the parent commit that makes jdk10 use gtk3, this lets us get onto a current webkitgtk. since the current version of webkitgtk is still receiving security updates, this also reverts 49ea0e2736 "eclipse: Do not use webkitgtk2 by default".	2018-04-03 12:30:21 -04:00
Robert Helgesson	4dd5948134	eclipse-plugin-jsonedit: 1.0.2 -> 1.1.0 ... Also add `antlr-runtime-4.7.1`.	2018-03-16 23:28:50 +01:00
Robert Helgesson	f53c3ccf22	eclipse-plugin-spotbugs: 3.1.1 -> 3.1.2	2018-03-04 21:50:18 +01:00
Robert Helgesson	ac4e65cee7	eclipse-plugin-jsonedit: 1.0.1 -> 1.0.2	2018-02-27 19:49:13 +01:00
Jan Tojnar	a31d98f312	tree-wide: autorename gnome packages to use dashes	2018-02-25 17:41:16 +01:00
Robert Helgesson	c32755ceac	eclipse-plugin-autodetect-encoding: 1.8.4 -> 1.8.5	2018-01-23 19:39:20 +01:00
Robert Helgesson	b57981e1ea	eclipse-plugin-cup: use buildEclipsePlugin ... Since the `buildEclipsePlugin` function now can cope with multiple plugin JARs we can avoid the workaround used by the cup plugin.	2018-01-20 16:00:09 +01:00
Robert Helgesson	663d827b77	eclipse-plugins-jsonedit: init at 1.0.1 ... Also init the bundle `antlr-runtime_4_5` at 4.5.3 because it is needed by the `jsonedit` plugin.	2018-01-20 16:00:09 +01:00
Robert Helgesson	3a70f21738	eclipse/plugins: support multiple plugins JARs	2018-01-20 16:00:08 +01:00
Robert Helgesson	98b35db541	eclipse-plugins-ansi-econsole: init at 1.3.5	2018-01-17 21:07:51 +01:00
Robert Helgesson	dd798d13bd	eclipse-plugin-checkstyle: 8.5.1 -> 8.7.0	2018-01-14 20:46:29 +01:00
Robert Helgesson	09cab91fd2	eclipse-plugin-spotbugs: 3.1.0 -> 3.1.1	2018-01-06 22:12:52 +01:00
Robert Helgesson	35b2e4ccea	eclipse-plugin-checkstyle: 8.0.0 -> 8.5.1	2017-12-23 14:07:19 +01:00
Robert Helgesson	d30f5f8a2e	eclipse: version updates ... - eclipse-platform: 4.7.1a -> 4.7.2 - eclipse-plugin-jdt: 4.7.1a -> 4.7.2 - eclipse-sdk: 4.7.1a -> 4.7.2	2017-12-20 23:24:41 +01:00
Robert Helgesson	3edc01d5d7	eclipse/plugins: remove phases fields	2017-11-08 14:16:10 +01:00
Robert Helgesson	c638dacf4b	eclipse-plugin-bytecode-outline: 2.4.3 -> 2.5.0	2017-11-07 22:00:55 +01:00
Robert Helgesson	f179c389b5	eclipse-plugin-anyedittools: 2.7.0 -> 2.7.1	2017-11-01 15:35:49 +01:00
Robert Helgesson	94f2fdfe6c	eclipse-plugin-spotbugs: init at 3.1.0	2017-11-01 15:35:49 +01:00
Robert Helgesson	4f88411e0d	eclipse-plugin-rustdt: fix Emacs nix-mode highlighting	2017-11-01 15:35:44 +01:00
Matt McHenry	346fa91176	eclipse-plugin-jdt: 4.7 -> 4.7.1a	2017-10-18 23:30:14 +02:00
Matt McHenry	468cccbb7b	eclipse-platform, eclipse-sdk: 4.7.0 -> 4.7.1a	2017-10-18 23:30:10 +02:00
Stuart Moss	796b3a2306	eclipse-plugin-vrapper: init at 0.72.0	2017-10-03 00:31:17 +02:00
Robert Helgesson	fbfe53b12f	eclipse-plugin-autodetect-encoding: 1.8.3 -> 1.8.4	2017-08-13 23:53:30 +02: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
Robert Helgesson	03f6edf750	eclipse-plugin-anyedittools: 2.6.0 -> 2.7.0	2017-07-27 22:57:14 +02:00
Robert Helgesson	8dccc9b699	eclipse-plugin-checkstyle: 7.3.0 -> 8.0.0	2017-07-18 20:20:49 +02:00
Matt McHenry	c3d036df71	eclipse-modeling: 4.6 -> 4.7	2017-07-10 11:45:29 +02:00
Matt McHenry	cd7a01d56e	eclipse-cpp: 4.6.0 -> 4.7.0	2017-07-10 11:45:24 +02:00
Robert Helgesson	fa6e946383	eclipse-plugin-jdt: 4.6.2 -> 4.7	2017-06-28 20:56:48 +02:00
Robert Helgesson	556a867186	eclipse-sdk: 4.6.2 -> 4.7	2017-06-28 20:56:48 +02:00
Robert Helgesson	0a52cc1851	eclipse-platform: 4.6.2 -> 4.7	2017-06-28 20:56:43 +02:00