Commit graph

89 commits

Author SHA1 Message Date
Vladimír Čunát
d1df28f8e5 Merge 'staging' into closure-size
This is mainly to get the update of bootstrap tools.
Otherwise there were mysterious segfaults:
https://github.com/NixOS/nixpkgs/pull/7701#issuecomment-203389817
2016-04-07 14:40:51 +02:00
Vladimír Čunát
ab15a62c68 Merge branch 'master' into closure-size
Beware that stdenv doesn't build. It seems something more will be needed
than just resolution of merge conflicts.
2016-04-01 10:06:01 +02:00
Chris Martin
19abd55420 idea.idea15-ultimate: init at 15.0.5 2016-03-30 02:02:53 -07:00
Edward Tjörnhammar
5bb0aa3bac
idea.idea-{community,ultimate}: 15.0.4 -> 2016.1 2016-03-18 18:26:23 +01:00
Vladimír Čunát
09af15654f Merge master into closure-size
The kde-5 stuff still didn't merge well.
I hand-fixed what I saw, but there may be more problems.
2016-03-08 09:58:19 +01:00
Edward Tjörnhammar
77d11ec577 idea.idea-{community,ultimate}: 15.0.3 -> 15.0.4 2016-02-25 17:48:07 +01:00
Tomasz Czyż
11a474e81b idea.android-studio: 1.5.0.4 -> 2.0.0.0 2016-02-24 10:06:20 +00:00
Vladimír Čunát
d039c87984 Merge branch 'master' into closure-size 2016-02-14 08:33:51 +01:00
Vladimír Čunát
ae74c356d9 Merge recent 'staging' into closure-size
Let's get rid of those merge conflicts.
2016-02-03 16:57:19 +01:00
Christian Albrecht
7884c3b95d android-studio: 1.5.0.4 -> 1.5.1.0 2016-01-29 11:51:29 +01:00
Tuomas Tynkkynen
a1909d7380 treewide: Mass replace 'glibc}/lib' to refer the 'out' output 2016-01-24 10:03:35 +02:00
Gabriel Ebner
a8d6ad8690 idea: use openjdk8 again 2016-01-23 13:39:15 +01:00
Edward Tjörnhammar
3eb35b290d idea.idea-{community,ultimate}: 15.0.2 -> 15.0.3 2016-01-21 10:06:52 +01:00
Wander Nauta
5e8e964794 idea.clion: 1.0.4 -> 1.2.4 2016-01-20 13:56:09 +01:00
Edward Tjörnhammar
d4f9220ed2 idea.idea14-community: init at 14.1.6 2016-01-15 18:21:45 +01:00
Edward Tjörnhammar
69c98f75e2 idea: unpin the common builder 2016-01-15 18:21:45 +01:00
Jascha Geerds
0d79a33fb6 pycharm: 5.0.1 -> 5.0.3 2016-01-12 23:45:06 +01:00
Edward Tjörnhammar
56fdc71013 idea: restrict packages to oraclejdk8 2016-01-11 21:24:31 +01:00
Edward Tjörnhammar
c42f9f5f01 idea.idea-{community,ultimate}: 15.0.1 -> 15.0.2 2015-12-19 13:35:44 +01:00
Robin Gloster
fe8192536f idea.phpstorm: 9.0 -> 10.0.1 2015-12-09 19:11:15 +00:00
Edward Tjörnhammar
35fbee7964 idea.android-studio: 1.4.0.10 -> 1.5.0.4 2015-11-23 22:23:18 +01:00
desiderius
3810b6ee94 idea.pycharm-{community,professional}: 5.0 -> 5.0.1 2015-11-21 15:35:32 +01:00
Edward Tjörnhammar
656c21e55a idea.idea-{community,ultimate}: 15.0 -> 15.0.1 2015-11-16 07:48:00 +01:00
Edward Tjörnhammar
2c6052f8e3 IDEA Updates
idea.idea-{community,ultimate}: 14.1.5 -> 15.0
idea.pycharm-{community,professional}: 4.5.4 -> 5.0
2015-11-03 12:55:16 +01:00
David Tulig
a96b35b4ce android-studio: 1.2.2.0 -> 1.4.0.10 2015-10-11 20:04:32 -05:00
Edward Tjörnhammar
e8ebf051a9 idea-{community,ultimate}: 14.1.4 -> 14.1.5 2015-09-28 07:22:59 +02:00
desiderius
709ddcb475 idea.pycharm-{community,professional}: 4.5.3 -> 4.5.4 2015-09-07 16:01:43 +02:00
desiderius
17d9f91395 pycharm: update 4.5.2 to 4.5.3 2015-07-20 09:16:17 +02:00
Robin Gloster
aaa44b7c57 phpstorm: 8.0.3 -> 9.0 2015-07-16 19:39:29 +00:00
Bob van der Linden
542a508c63 idea: android-studio: update 1.2.1.1 -> 1.2.2.0 2015-07-05 11:43:46 +02:00
Edward Tjörnhammar
aecc7bd6aa idea updates
idea.clion: 1.0.3 -> 1.0.4
idea.idea-{community,ultimate}: 14.1.3 -> 14.1.4
idea.pycharm-{community,professional}: 4.5.1 -> 4.5.2
idea.webstorm: 10.0.3 -> 10.0.4
2015-06-22 20:38:43 +02:00
Edward Tjörnhammar
e035e2939a idea updates
idea.pycharm: 4.5 -> 4.5.1
idea.webstorm: 10.0.2 -> 10.0.3
2015-05-25 10:10:23 +02:00
Edward Tjörnhammar
a49afdf174 idea.clion: 1.0.2 -> 1.0.3
idea.android-studio: 1.2.0.12 -> 1.2.1.1
2015-05-22 14:28:48 +02:00
Edward Tjörnhammar
bd7eb18c1c idea.clion: 1.0.1 -> 1.0.2 2015-05-20 01:56:48 +02:00
Jascha Geerds
92587ccc1f pycharm: update 4.0.6 -> 4.5 2015-05-15 16:40:36 +02:00
Edward Tjörnhammar
7a61a97dad idea updates
idea.clion: 1.0 -> 1.0.1
idea.ruby-mine: 7.0.4 -> 7.1.2
2015-05-14 16:02:20 +02:00
Edward Tjörnhammar
c37888a730 idea-{community,ultimate}: 14.1.2 -> 14.1.3 2015-05-14 01:50:38 +02:00
Edward Tjörnhammar
2352fce776 idea.android-studio: 1.2.0.8 -> 1.2.0.12 2015-05-03 17:01:31 +02:00
Andreas Baldeau
25baba283f Webstorm update => 10.0.2 2015-05-03 15:04:35 +02:00
Pascal Wittmann
f99d5cf2fc Fixed some descriptions 2015-04-28 10:55:20 +02:00
Edward Tjörnhammar
63563b2c5f ideas: correct env vars in wrapper 2015-04-22 20:15:05 +02:00
Edward Tjörnhammar
a039f4a584 idea-{community,ultimate}: 14.1.1 -> 14.1.2 2015-04-22 19:19:45 +02:00
Edward Tjörnhammar
74214d6eee ideas: fix sneaky comma 2015-04-18 21:54:16 +02:00
Edward Tjörnhammar
e3b4c0be91 IDEA updates
idea.android-studio: 1.1.0 -> 1.2.0.8
idea.clion: eap -> 1.0
idea.idea-community: 14.1 -> 14.1.1
idea.idea-ultimate: 14.1 -> 14.1.1
2015-04-16 22:30:47 +02:00
Jascha Geerds
04239d4af2 pycharm: Update to 4.0.6 2015-04-13 14:24:56 +02:00
Andreas Baldeau
f079de2dbf Added WebStorm IDE 2015-03-29 16:27:37 +02:00
Herwig Hochleitner
df0c059f83 Update Jetbrains IDE versions 2015-03-26 19:08:01 +01:00
Edward Tjörnhammar
7b7ab0cdaa idea-{community,ultimate}: 14.0.3 -> 14.1 2015-03-24 17:01:59 +01:00
Mariusz `shd` Gliwiński
75d3a321d6 IDEA-PhpStorm version bump to 8.0.3 2015-03-13 18:53:00 +01:00
Jascha Geerds
328651bfac pycharm: Update to 4.0.5 2015-03-13 14:55:08 +01:00