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
bbdb
calfw
cedet
coffee
color-theme
cryptol cryptol-mode: 0.1.0 2014-04-26 12:51:08 -05:00
cua
darcsum
ecb
emacs-clang-complete-async
emacs-w3m Adopt packages. 2014-01-28 17:31:17 +01:00
emms
ess
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
hol_light hol_light: fix script, upgrade to r189 2014-04-27 13:31:36 -05:00
htmlize
idris emacs-idris-mode: upgrade to support idris 0.9.12 2014-04-08 08:38:43 +02:00
jabber
jade
jdee
js2
logito
lorem-ipsum
magit
maude
ocaml
offlineimap
org
org2blog
pcache
php
prolog
proofgeneral
quack
rect-mark
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
tuareg
writegood writegood-mode: update to version 1.3 2014-02-13 22:29:34 +01:00
xml-rpc