Commit graph

101 commits

Author SHA1 Message Date
Chris Martin
8cf2a2dbeb idea.pycharm-professional: 2016.1.2 -> 2016.1.3 2016-05-13 04:56:36 -04:00
Chris Martin
89f46ab3e3 idea.pycharm-community: 2016.1.2 -> 2016.1.3 2016-05-13 04:55:57 -04:00
Chris Martin
22b8bb4bd0 idea.ruby-mine: 7.1.2 -> 7.1.5 2016-05-13 04:55:32 -04:00
Chris Martin
69448be776 idea.idea-ultimate: 2016.1.1 -> 2016.1.2 2016-05-13 04:55:10 -04:00
Chris Martin
ac076eeb20 idea.idea15-ultimate: 15.0.5 -> 15.0.6 2016-05-13 04:54:48 -04:00
Chris Martin
4217743b94 idea.idea-community: 2016.1.1 -> 2016.1.2 2016-05-13 04:54:25 -04:00
Chris Martin
149ba81f79 idea.idea14-community: 14.1.6 -> 14.1.7 2016-05-13 04:53:55 -04:00
Chris Martin
9fe577bdc0 idea.clion: 1.2.4 -> 1.2.5 2016-05-13 04:53:22 -04:00
Chris Martin
7d0570a253 idea.android-studio: 2.0.0.20 -> 2.1.1.0 2016-05-13 04:52:14 -04:00
Edward Tjörnhammar
066b5cb11a
idea.idea-{community,ultimate}: 2016.1 -> 2016.1.1 2016-05-03 11:01:21 +02:00
Jascha Geerds
cf224573d6 idea.pycharm: 5.0.3 -> 2016.1.2 2016-05-02 11:59:31 +02:00
Arseniy Seroka
7e934fbf73
android-studio: 2.0.0.0 -> 2.0.0.20 2016-04-21 19:47:02 +03:00
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