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
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