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