William A. Kennington III
d438d0e98b
vim: 7.4.683 -> 7.4.826
...
Also, since googlecode is shutting down in <1 month move this to the new
github tree. This removes the dependence on mercurial.
2015-08-14 14:06:58 -07:00
Bjørn Forsman
55d93854ce
eclipse-gnuarmeclipse (plugin): init at 2.8.1-201504061754
2015-08-12 23:13:36 +02:00
Bjørn Forsman
b56e9bc92a
eclipse-cdt (plugin): init at 8.7.0
2015-08-12 23:13:36 +02:00
Vladimír Čunát
8f2be7122c
emacs24: style fixups
...
Unused gtk parameter, "incorrect" usage of optional.
2015-08-11 17:26:51 +02:00
Luca Bruno
43c3664ec6
vanubi: 0.0.14 -> 0.0.16
2015-08-11 12:19:28 +02:00
Robert Helgesson
24a5d47883
eclipse.plugins: unpack plugins when required
...
Some plugin bundles must be unpacked when used in Eclipse. With this
change the plugin manifest is checked for the setting indicating that
unpacking should happen.
2015-08-10 23:12:03 +02:00
Robert Helgesson
7d60bb48eb
scala-eclipse: 4.1.0 -> 4.1.1
2015-08-10 23:12:03 +02:00
Robert Helgesson
d0bbbd42f0
eclipse.plugins: remove useless function arguments
...
Simplifies `buildEclipsePlugin` and `buildEclipseUpdateSite` functions
such that they require only absolutely necessary arguments. Also
add/expand comments slightly.
2015-08-10 23:12:03 +02:00
Robert Helgesson
0bbaba47e9
eclipses: do not recurse into plugins.nix
...
It does not really make sense to install the plugin packages directly as
they are intended for use with `eclipseWithPlugins`. Therefore it is
best not to present them to users as such.
2015-08-10 23:12:03 +02:00
Robert Helgesson
4134d6b5b9
eclipse-acejump: init at 1.0.0.201501181511
2015-08-10 23:12:03 +02:00
Robert Helgesson
b253f95529
eclipses.plugins: put standard builders in set
...
This makes these builder functions available for use outside the file.
That is, plugins can be defined out-of-tree.
2015-08-10 23:12:03 +02:00
Robert Helgesson
c24e01665b
eclipses.plugins: add buildEclipsePluginBase
...
This function provides functionality common to all Eclipse plugin
builders. In particular, it sets a package name and flags the derivation
as an Eclipse plugin.
2015-08-10 23:12:03 +02:00
Robert Helgesson
2fca9e09c4
eclipse-platform: init at 4.5
2015-08-10 23:12:03 +02:00
Robert Helgesson
35eade30ff
eclipse-scala: init at 4.1.0
2015-08-10 23:12:03 +02:00
Robert Helgesson
89dd331906
eclipse-jdt: init at 4.5
2015-08-10 23:12:03 +02:00
Robert Helgesson
35a24a7977
eclipse-testng: init at 6.9.5.201506120235
2015-08-10 23:12:03 +02:00
Robert Helgesson
95cb770b53
eclipse-eclemma: init at 2.3.2.201409141915
2015-08-10 23:12:03 +02:00
Robert Helgesson
d16bb1af3d
eclipse-checkstyle: init at 6.5.0.201504121610
...
Also add helper function for building packages from downloaded Eclipse
update site.
2015-08-10 23:12:03 +02:00
Robert Helgesson
28bb4e4018
eclipse-color-theme: init at 1.0.0.201410260308
2015-08-10 23:12:02 +02:00
Robert Helgesson
543da4e00f
eclipse-findbugs: init at 3.0.1.20150306-5afe4d1
2015-08-10 23:12:02 +02:00
Robert Helgesson
90edb9e5ae
eclipse-emacsplus: init at 4.2.0
2015-08-10 23:12:02 +02:00
Robert Helgesson
733d902299
eclipse-anyedittools: init at 2.4.15.201504172030
...
This commit also introduces some infrastructure surrounding Eclipse
plugins.
2015-08-10 23:12:02 +02:00
Robert Helgesson
3310ebe993
eclipses: add function eclipseWithPlugins
...
This function allows installation of a given Eclipse with a given list
of Eclipse plugins.
2015-08-10 23:12:02 +02:00
Pascal Wittmann
45c284c955
org: update from 8.3 to 8.3.1
2015-08-07 18:14:17 +02:00
Peter Simons
c67aaca6d9
emacs-haskell-mode: switch default to git version
...
We track the git version, because haskell-mode does not provide regular
releases except via MELPA, which our Emacs infrastructure does not support yet.
2015-08-07 15:13:14 +02:00
Arseniy Seroka
d25014a3cd
Merge pull request #9060 from oxij/emacs-cleanup
...
Cleanup in emacs-packages
2015-08-06 20:54:46 +03:00
Pascal Wittmann
3dbdac801c
org-mode: update from 8.2.10 to 8.3
2015-08-05 14:35:35 +02:00
Charles Strahan
7c1a3da1c4
macvim: fix bad copy/paste in 6f08fdd26
...
In 6f08fdd26
, I left in a typo after copying from my `~/.nixpkgs/config`.
I would normally test this out locally, but I'm fixing up my conf locally,
and, in the interest of not forgetting to push this change up, made the edit
through GitHub's UI.
Oops.
2015-08-04 17:46:45 -05:00
Charles Strahan
6f08fdd26a
macvim: 7.4.479 -> 7.4.648
...
This updates macvim to 7.4.648. This also fixes the build, which was broken when I set the default Ruby version to 2.2.2 (one of the symbols was renamed).
2015-08-04 17:42:08 -05:00
Jan Malakhovski
56fbeb7a93
emacs-packages: add automatic meta.homepages to builders, cleanup other expressions
...
Because we can.
2015-07-31 02:02:04 +00:00
Tobias Geerinckx-Rice
6c6201a99b
Remove unnecessary rec{s from "my" packages
2015-07-31 02:02:07 +02:00
Bjørn Forsman
f595450912
eclipse: switch to officially mirrored download URLs
...
That is, replace all mirror specific URLs with the generic form:
http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/path/to/file
* r=1 auto-redirects to best mirror
* nf=1 returns HTTP 404 if there is no file, instead of HTML data
It's documented here:
http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F
All URLs are tested (they work).
2015-07-29 13:41:35 +02:00
Arseniy Seroka
0117488423
Merge pull request #8987 from Profpatsch/texmacs-update
...
texmacs: update to 1.99.2
2015-07-29 00:27:12 +03:00
Bjørn Forsman
3715c2e089
eclipses: add eclipse-cpp-4.5 (Mars release)
2015-07-28 21:18:54 +02:00
Profpatsch
f3c1ad6baf
texmacs: 1.0.7.11 -> 1.99.2
2015-07-28 16:06:29 +02:00
Eelco Dolstra
761fc1a457
Remove tabs
2015-07-26 12:00:43 +02:00
vbgl
384d2febfe
Merge pull request #8915 from vbgl/pg
...
ProofGeneral: 4.3pre131011 -> 4.3pre150313
2015-07-26 11:03:44 +02:00
Vladimír Čunát
2cacf77c13
Merge branch 'master' into staging
2015-07-22 22:33:55 +02:00
Vincent Laporte
1173278f34
ProofGeneral: 4.3pre131011 -> 4.3pre150313
2015-07-21 15:27:02 +02:00
John Wiegley
60c6a9921e
emacs: Update Mac Port Emacs to 24.5-mac-5.9
2015-07-20 14:22:43 -07:00
desiderius
17d9f91395
pycharm: update 4.5.2 to 4.5.3
2015-07-20 09:16:17 +02:00
William A. Kennington III
05c0fc15c0
Merge branch 'master.upstream' into staging.upstream
2015-07-19 15:20:04 -07:00
Austin Seipp
3d031a0764
Merge pull request #8873 from joachifm/nano-2_4_2
...
nano: 2.4.1 -> 2.4.2
2015-07-19 16:58:00 -05:00
Joachim Fasting
19d6b78cc5
nano: 2.4.1 -> 2.4.2
2015-07-18 11:44:54 +02:00
William A. Kennington III
e6d4367e92
ed: 1.10 -> 1.12
2015-07-17 14:37:34 -07:00
Vladimír Čunát
9f37e91ec5
Merge master into staging
...
There are larger-rebuild changes: gnutls and samba.
2015-07-17 06:38:04 +02:00
Robin Gloster
aaa44b7c57
phpstorm: 8.0.3 -> 9.0
2015-07-16 19:39:29 +00:00
Leonardo Cecchi
3f2de3eb64
leo-editor: init at 5.1
2015-07-14 21:49:28 +02:00
William A. Kennington III
333f145d76
Merge branch 'master.upstream' into staging.upstream
2015-07-13 15:11:31 -07:00
Tobias Geerinckx-Rice
335cc971be
flycheck: correct description & use src's homepage
2015-07-13 00:44:55 +02:00