mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
82659 commits 204 branches 125 tags 10 GiB
Commit graph

387 commits

Author SHA1 Message Date
Peter Simons dba01b2e77 magit: update to the latest release from Melpa 2014-10-22 11:46:56 +02:00
Peter Simons 3b4a72c3d6 git-modes: add git-modes package version 0.15.0-8-g4e10851 for Emacs 
These files are required by the latest version of Magit.
 2014-10-22 11:46:56 +02:00
Mateusz Kowalczyk 917c1638bf emacs-magit: fix URL (hopefully) 2014-10-21 22:40:28 +01:00
Mateusz Kowalczyk 2026054746 emacs-magit: update to 1.2.1 2014-10-21 20:21:11 +01:00
Pascal Wittmann 806d2aa68c org-mode: update from 8.2.7c to 8.2.8 2014-10-03 11:23:08 +02:00
Mateusz Kowalczyk ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers 
Working with Coq
 2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk f04b0b9879 emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk 3043af8838 emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk 9d246d2cff emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4 2014-09-30 10:56:11 +01:00
Vincent Laporte 94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00
cillianderoiste 1b8d79e0b2 Merge pull request #4143 from geerds/cask 
Add "cask" package
 2014-09-19 13:23:28 +02:00
Jascha Geerds 771d1bd865 Add "cask" package 2014-09-18 00:46:45 +02:00
Peter Simons 6f819ef4f4 emacs-ensime: depend on scala-mode2 and sbt-mode 2014-09-06 13:30:44 +02:00
Peter Simons 1e92a86240 emacs-rainbow-delimiters: add version 1.3.8 2014-09-06 13:30:44 +02:00
Peter Simons 7f5bc10186 emacs-ensime: add current git snapshot 2014-09-05 16:06:16 +02:00
Peter Simons e8bff6f838 emacs-s: add version 1.9.0 2014-09-05 16:06:16 +02:00
Peter Simons a4ec7a6316 emacs-dash: add version 1.5.0 2014-09-05 16:06:16 +02:00
Peter Simons 309851f999 scala-mode2: update to latest version 2014-09-05 16:06:16 +02:00
Mathijs Kwik 0e1ed7bbc9 fix js2-mode revision 2014-08-25 13:56:53 +02:00
Mathijs Kwik fb2449c026 add emacs color-theme solarized 2014-08-25 13:56:53 +02:00
Mathijs Kwik 3be7d4b478 idris-mode: upgrade to 0.9.14 2014-08-25 13:56:52 +02:00
Vladimír Čunát 52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra 8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Peter Simons 9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
Peter Simons 2d326e5032 Merge remote-tracking branch 'origin/master' into staging. 
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
 2014-08-04 16:51:47 +02:00
Aycan iRiCAN 307a08c9a3 removed rev 2014-08-03 21:21:52 +03:00
Aycan iRiCAN 02dcf1e493 Upgrade js2-mod to 20140114 2014-08-03 21:20:26 +03:00
Pascal Wittmann cf744cb715 org: update from 8.2.7b to 8.2.7c 2014-07-30 12:14:15 +02:00
Peter Simons d0ca8c237e Fix broken license references. 2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk 7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra f64d84698e Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/applications/audio/espeak/edit.nix
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
 2014-07-28 11:30:49 +02:00
Moritz Ulrich e4f978d09f bbdb3: New package. 2014-07-27 10:55:43 +02:00
Eelco Dolstra 7f410ef923 Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/misc/vim-plugins/default.nix
 2014-07-22 11:00:00 +02:00
Pascal Wittmann 70caf388eb org: update from 8.2.7 to 8.2.7b 2014-07-17 12:20:22 +02:00
Eelco Dolstra 95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
cillianderoiste 00cb266c4f Merge pull request #3163 from pSub/writegood-mode 
Update writegood-mode from 1.3 to 2.0
 2014-07-02 14:15:10 +02:00
Pascal Wittmann da8b931738 Update writegood-mode from 1.3 to 2.0 2014-07-02 13:03:01 +02:00
Eelco Dolstra 06fc1ec34d Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/servers/serfdom/default.nix
 2014-07-01 11:25:41 +02:00
Eelco Dolstra 40f7b0f9df Another attempt to eradicate ensureDir 
See c556a6ea46.
 2014-06-30 14:56:10 +02:00
John Wiegley bf610b79ff structured-haskell-mode: 1.0.2 > 1.0.3 2014-06-28 09:23:22 -07:00
John Wiegley 3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral 
proofgeneral_4_3_pre: Add expression needed for current prooftree
 2014-06-21 09:22:29 -07:00
John Wiegley bfe77718d4 emacs-modes-emms, emacs-modes-org: Relax platform qualifier 2014-06-20 22:37:09 -07:00
John Wiegley 073933101e proofgeneral: Delete default.nix for proofgeneral 2014-06-20 22:36:06 -07:00
John Wiegley 0cf6e55a70 proofgeneral_4_3_pre: Add expression needed for current prooftree 2014-06-20 22:31:55 -07:00
Austin Seipp 85c70f642f Merge pull request #2977 from bluescreen303/emacs-org2blog 
Emacs org2blog - bring up to date - now works with org-8.* again
 2014-06-18 16:21:02 -05:00
John Wiegley 4643126d10 Merge pull request #2938 from pSub/org-mode 
Org-mode 8.2.7 depends on texlive-cm-super.
 2014-06-18 09:42:12 -07:00
Mathijs Kwik ff995adb0d emacs-idris-mode: upgrade to 0.9.13.1 2014-06-16 22:43:51 +02:00
Mathijs Kwik b193dd5d77 emacs-org2blog: upgrade to 0.8.1 2014-06-16 22:43:11 +02:00
Mathijs Kwik ab8337e4fc add emacs-metaweblog 2014-06-16 22:43:10 +02:00
Pascal Wittmann 63ee29b808 Org-mode 8.2.7 depends on texlive-cm-super. 2014-06-16 21:58:59 +02:00
Pascal Wittmann 19110c9a53 Update org-mode from 8.2.6 to 8.2.7 and add myself as a maintainer. 2014-06-13 14:21:39 +02:00
Peter Simons 80a60810ca emacs-sbt-mode: add initial version 2014-06-05 14:34:32 +02:00
Peter Simons 1fc21bd6a9 emacs-scala-mode: package version 2 2014-06-05 14:34:31 +02:00
Pascal Wittmann 8806abe97e Update org-mode to latest stable version 2014-05-23 20:06:02 +02:00
Austin Seipp 0f1f2115e9 hol_light: fix script, upgrade to r189 
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-27 13:31:36 -05:00
Austin Seipp 9ef104cbad cryptol-mode: 0.1.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-26 12:51:08 -05:00
Austin Seipp 6376ac57d8 emacsPackages: add cryptol-mode 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-14 18:23:51 -05:00
Peter Simons 79f19f687c flymake-cursor: the sha256 hash of the file has changed 
No change was documented on the emacs wiki. Not sure what happened. :-(
 2014-04-08 12:48:22 +02:00
Peter Simons 1b1225fb0b flymake-cursor: remove redundant 'meta.platforms = stdenv.lib.platforms.all' setting 2014-04-08 12:48:22 +02:00
Mathijs Kwik 593c633aa8 emacs-idris-mode: upgrade to support idris 0.9.12 2014-04-08 08:38:43 +02:00
Peter Simons 69b53c990a structured-haskell-mode: re-generate with latest cabal2nix 2014-03-31 23:10:56 +02:00
Shea Levy 5a38bfdb9c Merge branch 'darcsum' of git://github.com/falsifian/nixpkgs 
Added darcsum, "a pcl-cvs like interface for managing darcs patches".
 2014-03-14 19:42:27 -04:00
Pascal Wittmann af3cf0dbeb Add structured-haskell-mode 2014-03-03 11:55:26 +01:00
Mathijs Kwik d2dd22651d idris-mode: upgrade to current version 2014-03-02 08:41:45 +01:00
Peter Simons c3dc693586 writegood-mode: update to version 1.3 
https://github.com/bnbeckwith/writegood-mode/issues/7
 2014-02-13 22:29:34 +01:00
cillianderoiste 19757df9dc Merge pull request #1673 from pSub/writegood-mode 
Add emacs minor mode writegood
 2014-02-12 01:52:01 +01:00
Pascal Wittmann e8b0001268 idris-mode: fixed link to homepage (merge #1671) 2014-02-04 18:56:24 +01:00
Pascal Wittmann 351e070366 Add emacs minor mode writegood 2014-02-04 16:01:35 +01:00
Petr Rockai 6f5be260b4 Adopt packages. 2014-01-28 17:31:17 +01:00
Peter Simons c1209b5144 emacs-bbdb: update to version 2.36 2014-01-21 20:18:27 +01:00
Shea Levy fea2266290 llvm: Split llvmFull into separate derivations 
Now most packages in the llvm suite are built as separate derivations.
The exceptions are:

* compiler-rt must currently be built with llvm. This increases llvm's
  size by 6 MB
* clang-tools-extra must be built with clang

In addition, the top-level llvm attribute is defaulted to llvm 3.4, and
llvm 3.3 must be accessed by the llvm_33 attribute. This is to make the
out-of-date packages obvious in the hope that eventually all will be
updated to work with 3.4 and 3.3 can be removed. I think we should keep
this policy in the future (latest llvm gets top-level name, the rest are
versioned until they can be removed).

The llvm packages (except libc++, which exception I will try to remove
on the next update) can all be accessed via the llvmPackages attribute,
and there are also aliases for the packages that already existed (llvm,
clang, and dragonegg).

Signed-off-by: Shea Levy <shea@shealevy.com>
 2014-01-20 20:33:06 -05:00
Shea Levy 55e6303d6a Add full llvm build, update libc++ and dragonegg 
Some packages in the llvm suite (e.g. compiler-rt) cannot be built
separate from the build of llvm, and while some others (e.g. clang) can
the combined build is much better tested (we've had to work around
annoying issues before). So this puts llvm, clang, clang-tools-extra,
compiler-rt, lld, lldb, and polly all into one big build (llvmFull).
This build includes a static llvm, as dynamic is similarly less tested
and has known failures.

This also updates libc++ and dragonegg. libc++ now builds against
libc++abi as a separate package rather than building it during the
libc++ build.

The clang purity patch is gone. Instead, we simply set --sysroot to
/var/empty for pure builds, as all impure paths are either looked up in
the gcc prefix (which we hard-code at compile time) or in the sysroot.
This also means that if NIX_ENFORCE_PURITY is 0 then clang will look in
the normal Linux paths by default, which is the proper behavior IMO.

polly required an updated isl. When stdenv-updates is merged, perhaps we
can update the isl used by gcc and avoid having two versions.

Since llvm on its own is now separate from the llvm used by clang, I've
removed myself as maintainer from llvm and will leave maintenance of
that to those who are interested in llvm separate from clang.

Signed-off-by: Shea Levy <shea@shealevy.com>
 2014-01-20 05:42:38 -05:00
James Cook 638e1586cf Added darcsum, "a pcl-cvs like interface for managing darcs patches". 2014-01-18 12:25:34 -08:00
Nixpkgs Monitor 16cd5aba6a emacs24Packages.haskellMode: update from 13.07 to 13.10 2014-01-13 17:05:45 +01:00
Eelco Dolstra 6fb27abf33 Merge branch 'java' 2014-01-13 13:16:17 +01:00
Eelco Dolstra 16e626a80d Replace lib/java -> share/java 2014-01-09 13:01:38 +01:00
Mathijs Kwik 8fad5a72ec add emacs/idris-mode 2014-01-07 07:16:47 +01:00
Peter Simons 778a55d352 ess-mode: enable Hydra builds on Linux 2013-12-21 00:05:29 +01:00
Peter Simons 1a996759a5 ess-mode: update to version 13.09 2013-12-03 12:44:52 +01:00
Rok Garbas f685b08d0d emacs offlineimap mode added 2013-11-12 11:00:58 +01:00
Bjørn Forsman 083d0890f5 More description fixes 
* Remove package name
* Start with upper case letter
* Remove trailing period

Also reword some descriptions and move some long descriptions to
longDescription.

I'm not touching generated packages.
 2013-10-06 12:01:38 +02:00
Mathijs Kwik 4d32a074a2 org-mode: install to proper dir 2013-10-04 09:07:45 +02:00
Pascal Wittmann 296da4bfae Updating org-mode to 8.2.1 2013-10-01 15:52:31 +02:00
Ludovic Courtès 2e937c437a unmaintain several packages 2013-08-16 23:45:01 +02:00
Mathijs Kwik 9230619ee7 haskell-mode: upgrade to 13.07 2013-07-21 09:08:16 +02:00
Evgeny Egorochkin da4be371e9 make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
Evgeny Egorochkin b084b29d26 Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
Evgeny Egorochkin aa85b80459 Change package urls to use mirror://sourceforge 2013-07-14 02:35:26 +03:00
Eelco Dolstra acba9240cd nixos.org/tarballs -> tarballs.nixos.org 
It's currently the same machine, but tarballs.nixos.org should become
an S3/CloudFront site eventually.
 2013-06-25 14:12:16 +02:00
Peter Simons 38d22b4851 ess: add Emacs Speaks Statistics mode 2013-06-15 17:13:37 +02:00
Christophe Raffalli a69cd62f71 Added tuareg emacs mode and fixed some other emacs mode. 
ecb emacs mode is commented out because it's dependency appears not to compile.
 2013-06-08 12:42:46 +02:00
Peter Simons 823765e305 haskell-mode: update to current version from git 2013-06-03 10:51:27 +02:00
Marco Maggesi d9aa18843b ProofGeneral: Workaround for bug #458 
"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
 2013-04-23 14:09:10 +02:00
Mathijs Kwik 40502b492d magit: fix download url 2013-04-22 21:44:04 +02:00
Peter Simons 84ff838780 emacs-prolog-mode: update to version 1.25 2013-04-12 21:33:37 +02:00
Peter Simons f8faea23f8 emacs-cedet: update to version 1.1 to fix the build 2013-04-06 01:24:46 +02:00
Peter Simons 58211c125a Merge pull request #407 from maggesi/proofgeneral_updates 
Update ProofGeneral to version 4.2
 2013-03-25 03:33:21 -07:00
Marco Maggesi 7b35dcdc62 ProofGeneral: remove dead code (compatibility with emacs 23). 2013-03-24 23:43:18 +01:00
Mathijs Kwik 208a35558e emacs-w3m: upgrade to current cvs 2013-03-22 00:00:06 +01:00
Mathijs Kwik b73b3c9d62 htmlize: upgrade to 1.47 2013-03-22 00:00:06 +01:00
Marco Maggesi cd3caeaf8f Update ProofGeneral to version 4.2 2013-03-19 14:49:45 +01:00
Shea Levy aacca1902c Merge branch 'upstream-master' into stdenv-updates 2013-02-19 10:09:39 -05:00
Song Wenwu 679150157b emacs: add "auto-complete-clang-async" mode (aka emacs-clang-complete-async) 2013-02-18 21:06:29 +08:00
Eelco Dolstra 5bb548d2e4 Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-01-17 14:19:14 +01:00
Mathijs Kwik 1f0a6fbf52 htmlize: upgrade to 1.43 2013-01-13 14:30:54 +01:00
Mathijs Kwik 4bd5a8e26d flymake-cursor: upgrade to 0.1.5 2013-01-13 14:30:54 +01:00
Eelco Dolstra ab3eeabfed Rename buildNativeInputs -> nativeBuildInputs 
Likewise for propagatedBuildNativeInputs, etc.  "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
 2012-12-28 19:20:09 +01:00
Eelco Dolstra 880ce8da2e nxml-mode: Remove 
This package is now part of Emacs itself.
 2012-11-23 11:10:30 +01:00
Peter Simons 58b56c268b graphviz-dot-mode: add version 0.3.3 2012-11-16 18:59:18 +01:00
Peter Simons 964efb4adc magit: update to version 1.2.0 2012-09-24 13:25:19 +02:00
Mathijs Kwik da87b2c9bf emacs: add package "org2blog" 2012-09-09 19:32:27 +02:00
Mathijs Kwik 7bbda346ba emacs: add package "xml-rpc" 2012-09-09 19:32:14 +02:00
Mathijs Kwik 338e78c7b6 emacs htmlize: upgrade to 1.40 2012-09-09 19:31:54 +02:00
Mathijs Kwik 2b8d80d22d org-mode: upgrade to 7.9.1 2012-09-04 17:49:31 +02:00
Mathijs Kwik 23f20dcdfe emacs/sunrise-commander: change to github source 
previous source replaces itself every now and then and doesn't do versioning
 2012-08-29 22:57:57 +02:00
Mathijs Kwik a5663aee4d emacs: add "sunrise commander" 2012-08-21 10:33:20 +02:00
Mathijs Kwik 85c88d473b emacs: add "rect-mark" 2012-08-21 10:33:06 +02:00
Mathijs Kwik 5a146e9cff emacs: add "color-theme" 2012-08-17 08:55:47 +02:00
Mathijs Kwik 50cc5629af emacs: add "jade-mode" 2012-08-13 17:50:19 +02:00
Mathijs Kwik 58ccf70f47 it seems fetchgit does not like version tags 
I think they built ok on my system before, because I nix-prefetch-git'd them.
 2012-08-11 11:45:31 +02:00
Mathijs Kwik b62acd8855 oops typo 2012-08-11 11:34:59 +02:00
Mathijs Kwik a6f17bd1a9 emacs: add "flymake-cursor" 2012-08-11 09:36:20 +02:00
Mathijs Kwik 7fd5e6d668 emacs: upgrade "haskell-mode" to more recent git version 2012-08-10 08:27:09 +02:00
Mathijs Kwik c0a455b370 emacs: add "auto-complete" mode 2012-08-10 08:27:09 +02:00
Mathijs Kwik 260650e7e2 emacs: add "coffee-mode" 2012-08-10 08:27:09 +02:00
Mathijs Kwik d6befca296 emacs/js2-mode: upgrade 2012-08-10 08:27:09 +02:00
Mathijs Kwik a8be5de82e emacs: add lorem-ipsum package 2012-08-05 02:16:01 +02:00
Mathijs Kwik 56d30f72da emacs: add gist package 2012-08-05 02:15:48 +02:00
Mathijs Kwik ad5c002891 emacs: add gh (github) package 2012-08-05 02:15:34 +02:00
Mathijs Kwik 733b548cd0 emacs: add pcache package 2012-08-05 02:15:11 +02:00
Mathijs Kwik c700ec276d emacs: add logito package 2012-08-05 02:14:53 +02:00
Karn Kallio c89f37078d Make ProofGeneral build with Emacs 24. 
svn path=/nixpkgs/trunk/; revision=34485
 2012-06-12 21:51:53 +00:00
Florian Friesdorf 20db3374cf js2-mode-0-20120601 
svn path=/nixpkgs/trunk/; revision=34484
 2012-06-12 21:18:22 +00:00
Peter Simons 68f07e270a magit: updated to version 1.1.1 
svn path=/nixpkgs/trunk/; revision=33866
 2012-04-20 22:37:30 +00:00
Peter Simons e58d3914bb haskell-mode: updated to version 2.8.0.29-g7682f99 
svn path=/nixpkgs/trunk/; revision=33380
 2012-03-23 12:03:23 +00:00
Peter Simons 4f576ac4b5 pkgs/applications/editors/emacs-modes/haskell: updated haskell-mode to the latest version from Github 
svn path=/nixpkgs/trunk/; revision=33326
 2012-03-21 11:46:18 +00:00
Yury G. Kudryashov 0210e20b5a svn merge ^/nixpkgs/trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
 2012-03-01 07:04:39 +00:00
Arie Middelkoop 6e8c9ea906 ocaml-mode for emacs. 
There seem to exist multiple (very old) versions.
I'm taking the one shipped with the ocaml compiler, which is hopefully the "most appropriate".

svn path=/nixpkgs/trunk/; revision=32688
 2012-02-29 12:53:13 +00:00
Yury G. Kudryashov 5144a19987 svn merge ^/nixpkgs/trunk 
There were a few merge conflicts due to ensureDir->mkdir -p migration

svn path=/nixpkgs/branches/stdenv-updates/; revision=32174
 2012-02-10 10:24:30 +00:00
Peter Simons 4afaf0be23 emacs-w3m: updated the SHA256 hash 
Thanks Ludo!

svn path=/nixpkgs/trunk/; revision=32124
 2012-02-07 17:45:47 +00:00
Florian Friesdorf df12f0bd01 emacs js2-mode 
svn path=/nixpkgs/trunk/; revision=32122
 2012-02-07 17:40:02 +00:00
Florian Friesdorf f3b60febd3 calfw-1.3-5-ga9b6615 for fix in combination with org-mode 
svn path=/nixpkgs/trunk/; revision=32119
 2012-02-07 17:39:54 +00:00
Florian Friesdorf 4e3afe1b8d emacs mode calfw-1.3 
svn path=/nixpkgs/trunk/; revision=32118
 2012-02-07 17:39:51 +00:00
Yury G. Kudryashov 215a07c1a9 svn merge ^/nixpkgs/trunk 
Merge conflicts:
* unzip (almost trivial)
* dvswitch (trivial)
* gmp (copied result of `git merge`)

The last item introduced gmp-5.0.3, thus full rebuild.
+ensureDir->mkdir -p in TeX packages was catched by git but not svn.

svn path=/nixpkgs/branches/stdenv-updates/; revision=32091
 2012-02-06 23:03:12 +00:00
Peter Simons ace1095639 upgraded emacs-w3m 
svn path=/nixpkgs/trunk/; revision=32080
 2012-02-06 19:08:58 +00:00
Yury G. Kudryashov 5b132f6e96 svn merge ^/nixpkgs/trunk 
Conflicts: cups, all-packages.nix (gcc45_debug)

svn path=/nixpkgs/branches/stdenv-updates/; revision=31863
 2012-01-26 15:27:03 +00:00
Arie Middelkoop d6f60f7135 emacs htmlize: fix of broken source url. 
svn path=/nixpkgs/trunk/; revision=31827
 2012-01-24 22:06:35 +00:00
Florian Friesdorf c554168536 org-7.8.03 
svn path=/nixpkgs/trunk/; revision=31765
 2012-01-21 18:29:06 +00:00
Yury G. Kudryashov 84c0185038 svn merge ^/nixpkgs/trunk, one simple conflict in jruby 
svn path=/nixpkgs/branches/stdenv-updates/; revision=31721
 2012-01-19 21:31:51 +00:00
Peter Simons db009e0eb8 emacs org-mode: upgraded to latest version 
svn path=/nixpkgs/trunk/; revision=31645
 2012-01-18 20:32:10 +00:00
Eelco Dolstra c556a6ea46 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 
function, so obsolete it.

svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
 2012-01-18 20:16:00 +00:00
Peter Simons 1d7bc50e9a emacs-modes/magit: updated to 1.1.0.0 
svn path=/nixpkgs/trunk/; revision=31106
 2011-12-26 20:24:59 +00:00
Karn Kallio 135fe9059f ProofGeneral 4.1 
svn path=/nixpkgs/trunk/; revision=30863
 2011-12-13 01:13:46 +00:00
Peter Simons f80ef6645b magit: fixed download url 
svn path=/nixpkgs/trunk/; revision=27821
 2011-07-18 13:45:47 +00:00
Peter Simons ea4daca60d pkgs/applications/editors/emacs-modes/bbdb: replace custom build script with standard builder 
Also added most of optional contributions shipped in the release tarball to the
installation.

svn path=/nixpkgs/trunk/; revision=27646
 2011-07-07 21:04:56 +00:00
Marco Maggesi 503f04ca54 ProofGeneral 4.0 
svn path=/nixpkgs/trunk/; revision=27252
 2011-05-14 20:59:53 +00:00
Florian Friesdorf ce249b627b org: include more pdf doc, yet failing html-doc and contrib/ 
contrib is added as profile/share/org/contrib, better ideas
welcome. profile/share/doc/org-7.5/contrib could be an option but then
one needs to adjust personal emacs config to point to the new
contrib/lisp dir with each upgrade.

svn path=/nixpkgs/trunk/; revision=26805
 2011-04-12 15:09:30 +00:00
Florian Friesdorf f1b0d532b2 org: added myself as maintainer as I intend to help looking after it 
svn path=/nixpkgs/trunk/; revision=26804
 2011-04-12 12:28:42 +00:00
Florian Friesdorf dc5e18f626 emacs org mode 7.4 -> 7.5 
svn path=/nixpkgs/trunk/; revision=26803
 2011-04-12 12:28:37 +00:00
Ludovic Courtès fe5b564e6b Magit: Install to $out. 
svn path=/nixpkgs/trunk/; revision=26524
 2011-03-26 11:50:01 +00:00
Peter Simons 1dbbeeab2c magit: updated to version 1.0.0 
svn path=/nixpkgs/trunk/; revision=26515
 2011-03-25 12:59:09 +00:00
Ludovic Courtès 7c88378532 Org 7.4. 
svn path=/nixpkgs/trunk/; revision=25484
 2011-01-10 09:55:28 +00:00
Eelco Dolstra c14382cb45 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
 2010-12-21 15:14:33 +00:00
Evgeny Egorochkin 9b4c2f5f56 Emacs PHP mode: packaged. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=25216
 2010-12-21 04:40:38 +00:00
Ludovic Courtès 08d9437bce Quack 0.39. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24670
 2010-11-11 22:12:02 +00:00
Ludovic Courtès 57ed005e24 GNU EMMS: Add dependency on MP3Info. 
svn path=/nixpkgs/trunk/; revision=24365
 2010-10-19 13:20:24 +00:00
Peter Simons 789c12add5 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0 
svn path=/nixpkgs/trunk/; revision=24136
 2010-10-07 13:14:01 +00:00
Peter Simons 48ecb667ab pkgs/applications/editors/emacs-modes/haskell: added meta section 
svn path=/nixpkgs/trunk/; revision=24134
 2010-10-07 13:13:42 +00:00
Peter Simons c66aa309be pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2 
svn path=/nixpkgs/trunk/; revision=23697
 2010-09-09 16:06:34 +00:00
Ludovic Courtès 78adb9fbf1 org-mode: Pass the full path to which'; use callPackage'. 
svn path=/nixpkgs/trunk/; revision=23657
 2010-09-06 07:58:13 +00:00
Peter Simons 62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead 
svn path=/nixpkgs/trunk/; revision=23471
 2010-08-26 19:03:52 +00:00
Peter Simons 687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2 
svn path=/nixpkgs/trunk/; revision=23468
 2010-08-26 18:19:19 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share". 
svn path=/nixpkgs/trunk/; revision=23383
 2010-08-24 08:26:48 +00:00
Peter Simons 14760d869b Add Nix expression for Emacs mode htmlize. 
svn path=/nixpkgs/trunk/; revision=23382
 2010-08-24 08:25:51 +00:00
Peter Simons d137679f20 pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4 
A collaborative editing environment for GNU Emacs.

svn path=/nixpkgs/trunk/; revision=22733
 2010-07-26 13:41:03 +00:00
Ludovic Courtès f497701642 Add upstream Org-Mode. 
svn path=/nixpkgs/trunk/; revision=22693
 2010-07-22 08:59:12 +00:00
Peter Simons cc6c486560 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.7.0 
svn path=/nixpkgs/trunk/; revision=22679
 2010-07-20 14:53:35 +00:00
Ludovic Courtès 82c1349503 Proof General: Build and install via the makefile. 
svn path=/nixpkgs/trunk/; revision=22162
 2010-06-06 22:39:28 +00:00
Alexander Tsamutali 03d8babdf5 applications/editors/emacs-modes/jabber: New nixbuild. 
svn path=/nixpkgs/trunk/; revision=21806
 2010-05-16 20:32:21 +00:00
Peter Simons 55a322022c pkgs/applications/editors/emacs-modes/magit: bumped to 0.8 release 
svn path=/nixpkgs/trunk/; revision=21737
 2010-05-12 09:09:55 +00:00
Ludovic Courtès f19a35aeeb Magit: Latest version. 
The tarball at crypt.to had vanished, and hopefully `fetchgit' over HTTP
will work for everyone.

svn path=/nixpkgs/trunk/; revision=21722
 2010-05-11 14:56:28 +00:00
Peter Simons 47e93b4177 pkgs/applications/editors/emacs-modes/magit: fixed cut&paste error in name attribute 
Thanks, Eelco!

svn path=/nixpkgs/trunk/; revision=20780
 2010-03-23 12:29:21 +00:00
Peter Simons bba9ecdbac pkgs/applications/editors/emacs-modes/magit: updated to version 0.7-109-g0fc3980 
svn path=/nixpkgs/trunk/; revision=20779
 2010-03-23 11:56:44 +00:00
Peter Simons cab868b9a3 pkgs/applications/editors/emacs-modes/magit: download tarball from cryp.to 
The idea of downloading the source code tarball directly from gitorious.org was
great, but didn't work. Apparently, those tarballs have different checksums
every time they're generated. To remedy the situation, I've copied the proper
tarball statically to <http://cryp.to/magit-mainline-0.7-94-gbf42bf8.tar.gz>.

svn path=/nixpkgs/trunk/; revision=20653
 2010-03-16 12:51:45 +00:00
Peter Simons b6d6f301c4 pkgs/applications/editors/emacs-modes/magit: updated to version magit-0.7-94-gbf42bf8 
Magit has seen plenty of development since version 0.7, but for some reason
there haven't been any new releases. This version bump updates the expression to
build a current version of Magit directly from the Git repository.

This change adds buildInputs 'autoconf' and 'automake'. These tools are required
only because we aren't building from a proper release tarball. Once version 0.8
comes out, these dependencies can be dropped again.

svn path=/nixpkgs/trunk/; revision=20650
 2010-03-16 12:13:40 +00:00
Ludovic Courtès f1fcbc0fc9 Fix JDEE. 
The SVN history has apparently been modified in place.

svn path=/nixpkgs/trunk/; revision=20313
 2010-03-01 17:08:08 +00:00
Marco Maggesi 513d653d68 Add HOL Light and its dependencies. 
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light

Some functionalities of HOL Light requires the compiled sources of
OCaml.  For now we provide a new package ocaml_with_sources.  After
this shuold be merged with the current version of OCaml already
present in nixpkgs.


svn path=/nixpkgs/trunk/; revision=20008
 2010-02-15 11:00:02 +00:00
Marco Maggesi 218bdaf214 Add expression for ProofGeneral 
svn path=/nixpkgs/trunk/; revision=18904
 2009-12-11 16:18:27 +00:00
Peter Simons af0a961e3d pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs 
svn path=/nixpkgs/trunk/; revision=18675
 2009-11-27 17:40:56 +00:00
Peter Simons 3659747127 pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1 
svn path=/nixpkgs/trunk/; revision=18089
 2009-11-04 10:29:38 +00:00
Ludovic Courtès be6b6b73f9 Add Emacs Scala-Mode. 
svn path=/nixpkgs/trunk/; revision=17904
 2009-10-20 15:12:29 +00:00
Rob Vermaas f016a6bcbc * stratego-mode for emacs 
svn path=/nixpkgs/trunk/; revision=16910
 2009-09-01 14:27:24 +00:00
Ludovic Courtès a56fecb102 JDEE: Update. 
svn path=/nixpkgs/trunk/; revision=16797
 2009-08-21 08:43:07 +00:00
Ludovic Courtès 7f22bca190 Quack 0.37. 
svn path=/nixpkgs/trunk/; revision=16453
 2009-07-24 12:41:47 +00:00
Ludovic Courtès 3451ae1a64 JDEE: Augment `jde-help-docsets.patch'; actually use it. 
svn path=/nixpkgs/trunk/; revision=16413
 2009-07-17 14:22:02 +00:00
Ludovic Courtès 13e3c0d7b9 JDEE: Don't install non-JAR files under `lib/java'. 
svn path=/nixpkgs/trunk/; revision=16403
 2009-07-16 15:39:05 +00:00
Ludovic Courtès 82c5ea7bc6 JDEE: Install bsh commands. 
svn path=/nixpkgs/trunk/; revision=16402
 2009-07-16 15:21:15 +00:00
Ludovic Courtès e4d8c334b4 JDEE: Add wizard usability patch. 
svn path=/nixpkgs/trunk/; revision=16395
 2009-07-16 14:05:14 +00:00
Ludovic Courtès f6533bc527 Emacs-w3m: Substitute `identify' from ImageMagick. 
svn path=/nixpkgs/trunk/; revision=16328
 2009-07-11 10:30:48 +00:00
Ludovic Courtès 18ef0d1673 emacs-w3m: Fix typo. 
svn path=/nixpkgs/trunk/; revision=16325
 2009-07-10 17:53:49 +00:00