nixpkgs/pkgs/applications/editors/emacs-modes
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
..
auto-complete emacs: add "auto-complete" mode 2012-08-10 08:27:09 +02:00
bbdb emacs-bbdb: update to version 2.36 2014-01-21 20:18:27 +01:00
calfw calfw-1.3-5-ga9b6615 for fix in combination with org-mode 2012-02-07 17:39:54 +00:00
cedet emacs-cedet: update to version 1.1 to fix the build 2013-04-06 01:24:46 +02:00
coffee More description fixes 2013-10-06 12:01:38 +02:00
color-theme More description fixes 2013-10-06 12:01:38 +02:00
cryptol cryptol-mode: 0.1.0 2014-04-26 12:51:08 -05:00
cua nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
darcsum Added darcsum, "a pcl-cvs like interface for managing darcs patches". 2014-01-18 12:25:34 -08:00
ecb unmaintain several packages 2013-08-16 23:45:01 +02:00
emacs-clang-complete-async llvm: Split llvmFull into separate derivations 2014-01-20 20:33:06 -05:00
emacs-w3m Adopt packages. 2014-01-28 17:31:17 +01:00
emms * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
ess ess-mode: enable Hydra builds on Linux 2013-12-21 00:05:29 +01:00
flymake-cursor flymake-cursor: the sha256 hash of the file has changed 2014-04-08 12:48:22 +02:00
gh it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
gist emacs: add gist package 2012-08-05 02:15:48 +02:00
graphviz-dot graphviz-dot-mode: add version 0.3.3 2012-11-16 18:59:18 +01:00
haskell emacs24Packages.haskellMode: update from 13.07 to 13.10 2014-01-13 17:05:45 +01:00
hol_light hol_light: fix script, upgrade to r189 2014-04-27 13:31:36 -05:00
htmlize More description fixes 2013-10-06 12:01:38 +02:00
idris emacs-idris-mode: upgrade to support idris 0.9.12 2014-04-08 08:38:43 +02:00
jabber applications/editors/emacs-modes/jabber: New nixbuild. 2010-05-16 20:32:21 +00:00
jade More description fixes 2013-10-06 12:01:38 +02:00
jdee Replace lib/java -> share/java 2014-01-09 13:01:38 +01:00
js2 emacs/js2-mode: upgrade 2012-08-10 08:27:09 +02:00
logito it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
lorem-ipsum More description fixes 2013-10-06 12:01:38 +02:00
magit unmaintain several packages 2013-08-16 23:45:01 +02:00
maude pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead 2010-08-26 19:03:52 +00:00
ocaml ocaml-mode for emacs. 2012-02-29 12:53:13 +00:00
offlineimap emacs offlineimap mode added 2013-11-12 11:00:58 +01:00
org org-mode: install to proper dir 2013-10-04 09:07:45 +02:00
org2blog More description fixes 2013-10-06 12:01:38 +02:00
pcache it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
php Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
prolog emacs-prolog-mode: update to version 1.25 2013-04-12 21:33:37 +02:00
proofgeneral ProofGeneral: Workaround for bug #458 2013-04-23 14:09:10 +02:00
quack unmaintain several packages 2013-08-16 23:45:01 +02:00
rect-mark More description fixes 2013-10-06 12:01:38 +02:00
remember Remember: Fix tiny things. 2008-04-22 09:07:34 +00:00
rudel * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
scala-mode unmaintain several packages 2013-08-16 23:45:01 +02:00
session-management-for-emacs Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
stratego * stratego-mode for emacs 2009-09-01 14:27:24 +00:00
structured-haskell-mode structured-haskell-mode: re-generate with latest cabal2nix 2014-03-31 23:10:56 +02:00
sunrise-commander More description fixes 2013-10-06 12:01:38 +02:00
tuareg Added tuareg emacs mode and fixed some other emacs mode. 2013-06-08 12:42:46 +02:00
writegood writegood-mode: update to version 1.3 2014-02-13 22:29:34 +01:00
xml-rpc More description fixes 2013-10-06 12:01:38 +02:00