e1c2ac404d
emacs24Packages.haskellMode update to use fetchurl
2014-12-18 09:36:19 +02:00
7ebc62059e
emacs24Packages.haskellMode updated to latest git.
2014-12-17 14:41:10 +02:00
f578c0ce5d
emacsPackages.js2-mode updated to latest release.
2014-11-20 00:37:37 +02:00
546ece8f25
emacs24Packages.rainbowDelimiters: update from 1.3.12 to 1.3.13
2014-11-18 21:23:41 +01:00
199e7908a5
emacs-clang-complete-async: fix build (untested, but at least it builds)
2014-11-16 17:12:05 +01:00
8df0e0b151
Fixed many descriptions
2014-11-11 14:36:34 +01:00
7da8ef80a7
emacs-ess: update checksum of the tarball
2014-11-08 18:44:15 +01:00
6835392708
Merge pull request #4895 from joachifm/ess-14_09
...
ess: bump version to 14.09
2014-11-08 16:06:52 +01:00
47bc68a687
ess: bump version to 14.09
2014-11-08 16:01:07 +01:00
69bb66902f
emacs-icicles: add current icicles snapshot to emacsPackages
2014-11-07 11:55:57 +01:00
007f80c1d0
Turn more licenses into lib.licenses style
...
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999 , issue #739
2014-11-06 00:48:16 +00:00
8913f14a5f
emacs-idris-mode: upgrade to 0.9.15
2014-11-05 18:28:59 +01:00
f2ae7bd844
magit: update to version 90141025
2014-11-03 14:41:05 +01:00
5b542ec902
org: update from 8.2.8 to 8.2.10
2014-10-28 12:47:09 +01:00
3071a57c34
Add hsc3 haskell package.
2014-10-26 16:22:29 +01:00
b31ac058cc
magit: don't install lisp files into a "magit" sub-directory
...
After this change, Emacs can load the magit-*.el files without further
configuration. Just add
(require 'magit-autoloads)
to ~/.emacs, and run M-x magit-status or any other magit command.
2014-10-22 13:06:43 +02:00
dba01b2e77
magit: update to the latest release from Melpa
2014-10-22 11:46:56 +02:00
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
917c1638bf
emacs-magit: fix URL (hopefully)
2014-10-21 22:40:28 +01:00
2026054746
emacs-magit: update to 1.2.1
2014-10-21 20:21:11 +01:00
806d2aa68c
org-mode: update from 8.2.7c to 8.2.8
2014-10-03 11:23:08 +02:00
ce4ae2aa1e
Merge pull request #4305 from vbgl/coq-containers
...
Working with Coq
2014-09-30 15:04:30 +01:00
f04b0b9879
emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8
2014-09-30 10:56:11 +01:00
3043af8838
emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12
2014-09-30 10:56:11 +01:00
9d246d2cff
emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4
2014-09-30 10:56:11 +01:00
94828070ed
ProofGeneral: makes the dependency on TeXLive optional
...
And fixes the default value of $PGHOME
2014-09-28 14:03:15 +01:00
1b8d79e0b2
Merge pull request #4143 from geerds/cask
...
Add "cask" package
2014-09-19 13:23:28 +02:00
771d1bd865
Add "cask" package
2014-09-18 00:46:45 +02:00
6f819ef4f4
emacs-ensime: depend on scala-mode2 and sbt-mode
2014-09-06 13:30:44 +02:00
1e92a86240
emacs-rainbow-delimiters: add version 1.3.8
2014-09-06 13:30:44 +02:00
7f5bc10186
emacs-ensime: add current git snapshot
2014-09-05 16:06:16 +02:00
e8bff6f838
emacs-s: add version 1.9.0
2014-09-05 16:06:16 +02:00
a4ec7a6316
emacs-dash: add version 1.5.0
2014-09-05 16:06:16 +02:00
309851f999
scala-mode2: update to latest version
2014-09-05 16:06:16 +02:00
0e1ed7bbc9
fix js2-mode revision
2014-08-25 13:56:53 +02:00
fb2449c026
add emacs color-theme solarized
2014-08-25 13:56:53 +02:00
3be7d4b478
idris-mode: upgrade to 0.9.14
2014-08-25 13:56:52 +02:00
52d9c93abe
Merge 'staging' into master
2014-08-08 20:13:23 +02:00
8a7f3c3618
Mark a bunch of packages as broken or not supported on Darwin
2014-08-08 17:59:02 +02:00
9226fbf56a
Merge remote-tracking branch 'origin/master' into staging.
2014-08-08 09:51:01 +02:00
2d326e5032
Merge remote-tracking branch 'origin/master' into staging.
...
Conflicts:
pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
307a08c9a3
removed rev
2014-08-03 21:21:52 +03:00
02dcf1e493
Upgrade js2-mod to 20140114
2014-08-03 21:20:26 +03:00
cf744cb715
org: update from 8.2.7b to 8.2.7c
2014-07-30 12:14:15 +02:00
d0ca8c237e
Fix broken license references.
2014-07-28 11:43:20 +02:00
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
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
e4f978d09f
bbdb3: New package.
2014-07-27 10:55:43 +02:00
7f410ef923
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/misc/vim-plugins/default.nix
2014-07-22 11:00:00 +02:00
70caf388eb
org: update from 8.2.7 to 8.2.7b
2014-07-17 12:20:22 +02:00
95b828de42
Merge remote-tracking branch 'origin/master' into staging
2014-07-07 13:16:26 +02:00
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
da8b931738
Update writegood-mode from 1.3 to 2.0
2014-07-02 13:03:01 +02:00
06fc1ec34d
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
40f7b0f9df
Another attempt to eradicate ensureDir
...
See c556a6ea46
2014-06-30 14:56:10 +02:00
bf610b79ff
structured-haskell-mode: 1.0.2 > 1.0.3
2014-06-28 09:23:22 -07:00
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
bfe77718d4
emacs-modes-emms, emacs-modes-org: Relax platform qualifier
2014-06-20 22:37:09 -07:00
073933101e
proofgeneral: Delete default.nix for proofgeneral
2014-06-20 22:36:06 -07:00
0cf6e55a70
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-20 22:31:55 -07:00
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
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
ff995adb0d
emacs-idris-mode: upgrade to 0.9.13.1
2014-06-16 22:43:51 +02:00
b193dd5d77
emacs-org2blog: upgrade to 0.8.1
2014-06-16 22:43:11 +02:00
ab8337e4fc
add emacs-metaweblog
2014-06-16 22:43:10 +02:00
63ee29b808
Org-mode 8.2.7 depends on texlive-cm-super.
2014-06-16 21:58:59 +02:00
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
80a60810ca
emacs-sbt-mode: add initial version
2014-06-05 14:34:32 +02:00
1fc21bd6a9
emacs-scala-mode: package version 2
2014-06-05 14:34:31 +02:00
8806abe97e
Update org-mode to latest stable version
2014-05-23 20:06:02 +02:00
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
9ef104cbad
cryptol-mode: 0.1.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 12:51:08 -05:00
6376ac57d8
emacsPackages: add cryptol-mode
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-14 18:23:51 -05:00
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
1b1225fb0b
flymake-cursor: remove redundant 'meta.platforms = stdenv.lib.platforms.all' setting
2014-04-08 12:48:22 +02:00
593c633aa8
emacs-idris-mode: upgrade to support idris 0.9.12
2014-04-08 08:38:43 +02:00
69b53c990a
structured-haskell-mode: re-generate with latest cabal2nix
2014-03-31 23:10:56 +02:00
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
af3cf0dbeb
Add structured-haskell-mode
2014-03-03 11:55:26 +01:00
d2dd22651d
idris-mode: upgrade to current version
2014-03-02 08:41:45 +01:00
c3dc693586
writegood-mode: update to version 1.3
...
https://github.com/bnbeckwith/writegood-mode/issues/7
2014-02-13 22:29:34 +01:00
19757df9dc
Merge pull request #1673 from pSub/writegood-mode
...
Add emacs minor mode writegood
2014-02-12 01:52:01 +01:00
e8b0001268
idris-mode: fixed link to homepage (merge #1671 )
2014-02-04 18:56:24 +01:00
351e070366
Add emacs minor mode writegood
2014-02-04 16:01:35 +01:00
6f5be260b4
Adopt packages.
2014-01-28 17:31:17 +01:00
c1209b5144
emacs-bbdb: update to version 2.36
2014-01-21 20:18:27 +01:00
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
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
638e1586cf
Added darcsum, "a pcl-cvs like interface for managing darcs patches".
2014-01-18 12:25:34 -08:00
16cd5aba6a
emacs24Packages.haskellMode: update from 13.07 to 13.10
2014-01-13 17:05:45 +01:00
6fb27abf33
Merge branch 'java'
2014-01-13 13:16:17 +01:00
16e626a80d
Replace lib/java -> share/java
2014-01-09 13:01:38 +01:00
8fad5a72ec
add emacs/idris-mode
2014-01-07 07:16:47 +01:00
778a55d352
ess-mode: enable Hydra builds on Linux
2013-12-21 00:05:29 +01:00
1a996759a5
ess-mode: update to version 13.09
2013-12-03 12:44:52 +01:00
f685b08d0d
emacs offlineimap mode added
2013-11-12 11:00:58 +01:00
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
4d32a074a2
org-mode: install to proper dir
2013-10-04 09:07:45 +02:00
296da4bfae
Updating org-mode to 8.2.1
2013-10-01 15:52:31 +02:00
2e937c437a
unmaintain several packages
2013-08-16 23:45:01 +02:00
Aycan iRiCAN
Cillian de Róiste
Aristid Breitkreuz
Pascal Wittmann
Peter Simons
Joachim Fasting
Mateusz Kowalczyk
Mathijs Kwik
karsten gebbert
Mateusz Kowalczyk
Vincent Laporte
Jascha Geerds
Vladimír Čunát
Eelco Dolstra
Moritz Ulrich
John Wiegley
Austin Seipp
Shea Levy
Petr Rockai
James Cook
Nixpkgs Monitor
Rok Garbas
Bjørn Forsman
Ludovic Courtès