nixpkgs/pkgs/applications/editors/eclipse
2018-05-15 18:52:58 +02:00
..
build-eclipse.nix eclipse: jdk8 -> jdk10 2018-04-03 12:30:21 -04:00
default.nix eclipse-platform: 4.7.2 -> 4.7.3a 2018-05-15 18:52:58 +02:00
plugins.nix eclipse-plugin-jsonedit: 1.1.0 -> 1.1.1 2018-05-08 23:20:15 +02:00