Commit graph

1382 commits

Author SHA1 Message Date
Joachim Fasting d43578b599 nano: 2.5.0 -> 2.5.3
Also move build-time dependencies to nativeBuildInputs
2016-03-08 00:14:57 +01:00
John Wiegley 0ee75214f3 proofgeneral_HEAD: New expr: Proof General from GitHub 2016-03-07 07:16:04 -08:00
Robert Helgesson 54c7ef17a9 eclipse-plugin-checkstyle: 6.14.0 -> 6.16.0 2016-03-06 09:39:22 +01:00
Arseniy Seroka 4b934ec3af Merge pull request #13698 from puffnfresh/feature/window-manager/emacs-exwm
exwm service: init (Emacs X Window Manager)
2016-03-06 10:54:48 +03:00
Tim Steinbach d3deb49b54 atom: 1.5.3 -> 1.5.4 2016-03-05 22:11:27 +00:00
Brian McKenna b1096d0811 elpa-packages 2016-03-06 2016-03-06 00:03:26 +11:00
Michael Ekstrand b3faef0d93 nano: build info manual (close #13527)
Make nano depend use texinfo, so that the built packages include the
info manual, and put it into a separate output.
2016-02-28 21:50:17 +01:00
zimbatm 69ce5cb656 use the sourceforge mirrors everywhere
find pkgs -name "*.nix" -exec sed -r \
    "s|https?://downloads.sourceforge.net/|mirror://sourceforge/|g" -i {} \;
2016-02-28 12:07:42 +00:00
Matt McHenry 98a0484471 eclipse: run with the jdk, not the jre
This is necessary so that tools like native2ascii are available to
maven eclipse integration (m2e).
2016-02-27 13:40:38 +01:00
Arseniy Seroka c80a1baa15 Merge pull request #13486 from zimbatm/vim-default-config
vim: provide a default vimrc
2016-02-27 01:09:52 +03:00
zimbatm 89f0e25189 vim: provide a default vimrc
Minimal sane defaults imported from ArchLinux.

This is basically `set :nocompatible` with some other small changes.
2016-02-26 21:58:21 +00:00
Charles Strahan 53ea7dee75 emacs: fix priority for ctags
This fixes the previous attempt (in commit 46d1dd5) to make ctags' ctags
override emacs' ctags. The higher the value of the priority attribute,
the higher the priority (see the definition of `buildEnv`).
2016-02-26 12:27:04 -05:00
zimbatm 3833591d95 Merge pull request #13164 from romildo/fix/eclipse-plugin-cup
eclipse-plugins-cup: fix plugin file names
2016-02-26 11:23:28 +00:00
José Romildo Malaquias 0e94a1be40 eclipse-plugins-cup: add dependency on the zest plugin 2016-02-26 06:42:04 -03:00
José Romildo Malaquias 205398c427 eclipse-plugin-zest: init at 3.9.101
eclipse-plugins-cup: remove plugins.nix.orig that was wrongly added.
2016-02-26 06:42:04 -03:00
José Romildo Malaquias ef11f77c8f eclipse-plugins-cup: fix plugin file names 2016-02-26 06:42:04 -03:00
Charles Strahan e08dd09c25 emacs: add optional support for 24-bit color ttys 2016-02-26 00:33:56 -05:00
Edward Tjörnhammar 77d11ec577 idea.idea-{community,ultimate}: 15.0.3 -> 15.0.4 2016-02-25 17:48:07 +01:00
Frederik Rietdijk 2d5d0df8f1 kde5.kile: 2016-02-12 -> 2016-02-14
Fixes building (poppler-qt5 could not be found)
2016-02-24 19:48:13 +01:00
Tomasz Czyż 11a474e81b idea.android-studio: 1.5.0.4 -> 2.0.0.0 2016-02-24 10:06:20 +00:00
Frederik Rietdijk 40ca841c5c Merge pull request #13124 from FRidh/buildPythonApplication
buildPythonApplication: use new function for Python applications
2016-02-23 16:02:10 +01:00
Thomas Tuegel a5356d09e6 elpaPackages 2016-02-22 2016-02-22 06:21:20 -06:00
Thomas Tuegel 5f772ebf55 melpaStablePackages 2016-02-22 2016-02-22 06:18:27 -06:00
Thomas Tuegel 8765e9b3bc melpaPackages 2016-02-21 2016-02-21 20:42:26 -06:00
Frederik Rietdijk f612dc703e kde5.kile: init at git 2016-02-12
This adds a kde5/frameworks version of kile.
2016-02-21 12:09:18 +01:00
Frederik Rietdijk 4d06bf70f4 buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00
Rok Garbas d58ae071fd neovim: 0.1.1 -> 0.1.2
also updated neovim's forked libvterm to latest revision
2016-02-16 01:34:57 +01:00
Tim Steinbach f3909c9943 atom: 1.4.3 -> 1.5.3 2016-02-15 19:58:46 +00:00
Eelco Dolstra aea262f654 Fix misspelled meta.maintainers attributes 2016-02-10 14:59:50 +01:00
Arseniy Seroka d679ccfda4 Merge pull request #12889 from zimbatm/atom-1.4.3
atom: 1.4.0 -> 1.4.3
2016-02-09 20:54:18 +03:00
Robin Gloster 85bedcf7e9 Merge pull request #12876 from zimbatm/sublime-3102
sublime3: 3101 -> 3102
2016-02-09 17:26:35 +01:00
zimbatm 8477e5788c atom: 1.4.0 -> 1.4.3 2016-02-09 14:26:11 +00:00
zimbatm 93d5f26a0d sublime3: 3101 -> 3103 2016-02-09 10:14:44 +00:00
Austin Seipp e2f7744f80 Merge pull request #12772 from ali-abrar/master
vim_configurable: add configuration option for XIM support
2016-02-08 00:55:33 -05:00
Robin Gloster 18c44e9c6e Merge pull request #12835 from zimbatm/sublime-3101
sublime3: 3083 -> 3101
2016-02-05 21:22:00 +01:00
zimbatm 943e049ff8 sublime3: 3083 -> 3101 2016-02-05 15:02:55 +00:00
Thomas Tuegel 53aee90d57 melpaStablePackages 2016-02-04 2016-02-04 18:05:21 -06:00
Thomas Tuegel 73093823f4 melpaPackages 2016-02-04 2016-02-04 17:13:37 -06:00
Thomas Tuegel d5281958f0 elpaPackages 2016-02-04 2016-02-04 15:11:00 -06:00
Ali Abrar b2a91caea0 vim_configurable: add configuration option for XIM support 2016-02-02 10:14:26 -05:00
Matej Cotman e048b48836 lighttable: update from 0.7.2 to 0.8.1 2016-01-31 21:12:45 +01:00
Robert Helgesson 057e54f2ad eclipse-plugin-checkstyle: 6.11.1 -> 6.14.0 2016-01-30 20:48:23 +01:00
Bjørn Forsman ee0dc91157 eclipse-scala-sdk: fix typo in package name
Change underscore to hyphen.
2016-01-30 17:21:49 +01:00
Bjørn Forsman b0b7fe2cce eclipse-cpp: 4.5 -> 4.5.1 2016-01-30 17:18:18 +01:00
Bjørn Forsman 75d3b418a5 eclipse-cpp: 4.4 -> 4.4.2 2016-01-30 17:18:17 +01:00
Bjørn Forsman bf2dfb9d99 eclipse: remove old to-do comment about "mirror://eclipse/"
The comment is from 2011, before we started using officially mirrored
URLs[1] like

  http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=THE_FILE

I think using upstream mirrored URLs is better than mirror://eclipse:

  - upstream mirror list is always up to date
  - the closest / fastest mirror will be selected automatically

[1]: http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F
2016-01-30 17:18:13 +01:00
Bjørn Forsman d5c9db8dd3 eclipse: align attrnames with pkgnames (underscore => hyphen)
Keep old attrnames too, for backward compatibility.

`nix-env -f . -qaP -A eclipses` only prints the new attributes (yay!).
2016-01-30 17:18:09 +01:00
Bjørn Forsman bdc9bfc3fa eclipse-plugin-gnuarmeclipse: 2.8.1-201504061754 -> 2.11.1-201512141335
Upstream switched from sourceforge to github.
2016-01-30 12:33:12 +01:00
Christian Albrecht 7884c3b95d android-studio: 1.5.0.4 -> 1.5.1.0 2016-01-29 11:51:29 +01:00
Arseniy Seroka 7d2eb0c4ab Merge pull request #12657 from romildo/new-eclipse-plugin-cup
eclipse-plugin-cup: init at 1.0.0.201412081321
2016-01-29 00:51:50 +03:00