jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
178,329 Commits 266 Branches 122 Tags 5.3 GiB
26d0b144c2
Commit Graph

247 Commits

Author SHA1 Message Date
Daniel Schaefer
92cccb6f83 treewide: Use HTTPS for readthedocs URLs 2019-04-22 20:46:18 +02:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS 
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
 2019-04-22 10:19:54 +02:00
Robert Helgesson
48b5ad2739
Merge pull request #55575 from jerith666/eclipse-2018-12 
eclipse: 2018-09 -> 2018-12
 2019-02-20 19:15:02 +01:00
Matt McHenry
5e3bdd4242
eclipse.plugins.drools: init at 7.17.0 2019-02-16 10:52:08 +01:00
Matt McHenry
573d6dd011 eclipses: 2018-09 -> 2018-12 
this also removes i686-linux support, as 2018-09 was the last release
officially supporting 32-bit
 2019-02-11 14:12:56 -05:00
Matt McHenry
4f9089ad8e eclipse: retire support for back-rev'd versions 
with eclipse now on a once-per-quarter release, it makes less sense to
keep a lot of old versions around in nixpkgs.  those who need them can
pin nixpkgs.
 2019-02-11 14:12:56 -05:00
Robert Helgesson
2cd0061bbd
eclipse-plugin-spotbugs: 3.1.10 -> 3.1.11 2019-01-29 22:29:46 +01:00
Robert Helgesson
c076bd2233
Revert "eclipses: 4.9 -> 4.10" 
This reverts commit 08bf7311f532a875ea1c561d79b20760ac49ee04.

See https://github.com/NixOS/nixpkgs/pull/54390#issuecomment-455930334
 2019-01-22 00:41:18 +01:00
Robert Helgesson
08bf7311f5
eclipses: 4.9 -> 4.10 
This applies to Eclipse platform, SDK, and the JDT plugin.
 2019-01-21 00:27:27 +01:00
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 49ea0e27363e5ab5cb3b4e86f6531e799e43dabd
"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