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
bbdb	emacs-bbdb: update to version 2.36	2014-01-21 20:18:27 +01:00
calfw
cedet
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
darcsum	Added darcsum, "a pcl-cvs like interface for managing darcs patches".	2014-01-18 12:25:34 -08:00
ecb
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
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
gist
graphviz-dot
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
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
logito
lorem-ipsum	More description fixes	2013-10-06 12:01:38 +02:00
magit
maude
ocaml
offlineimap	emacs offlineimap mode added	2013-11-12 11:00:58 +01:00
org
org2blog	More description fixes	2013-10-06 12:01:38 +02:00
pcache
php
prolog
proofgeneral
quack
rect-mark	More description fixes	2013-10-06 12:01:38 +02:00
remember
rudel
scala-mode
session-management-for-emacs
stratego
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
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