alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
183014 commits 217 branches 121 tags 4.5 GiB
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 08bf7311f5.

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 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