nixpkgs/pkgs/applications/editors/eclipse
2017-11-01 15:35:49 +01:00
..
build-eclipse.nix rename webkitgtk24x -> webkitgtk24x-gtk3; webkitgtk2 -> webkitgtk24x-gtk2 2017-05-26 13:43:25 +00:00
default.nix eclipse-platform, eclipse-sdk: 4.7.0 -> 4.7.1a 2017-10-18 23:30:10 +02:00
plugins.nix eclipse-plugin-anyedittools: 2.7.0 -> 2.7.1 2017-11-01 15:35:49 +01:00