Vincent Laporte
1173278f34
ProofGeneral: 4.3pre131011 -> 4.3pre150313
2015-07-21 15:27:02 +02:00
Tobias Geerinckx-Rice
335cc971be
flycheck: correct description & use src's homepage
2015-07-13 00:44:55 +02:00
Kevin Quick
882f3ad0db
htmlize: update source location
2015-07-03 15:33:26 -07:00
Eelco Dolstra
c53ed1038c
emacs-offlineimap: Mark as broken
...
This package has never built:
http://hydra.nixos.org/job/nixpkgs/trunk/emacsPackages.offlineimap.x86_64-linux/all
2015-06-22 18:08:16 +02:00
Pascal Wittmann
f8df92efbe
scala-mode2: fix hash
2015-06-16 20:22:55 +02:00
Peter Simons
214aae46c7
emacs-monky: add an Mercurial mode that's inspired by Magit
2015-06-12 10:33:10 +02:00
Pascal Wittmann
8d924455c1
idris-mode: update from 0.9.15 to 0.9.18
2015-05-31 16:30:24 +02:00
Tobias Geerinckx-Rice
158e1cfdd0
Don't use "with licenses;" for single licences
...
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Tobias Geerinckx-Rice
b2d7f4b1ba
Use common licence attributes from lib/licenses.nix
...
Many (less easily automatically converted) old-style strings
remain.
Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.
Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
Vincent Laporte
a65bba1e27
tuareg-mode: fix hash
2015-05-21 20:09:53 +02:00
Peter Simons
324719a5a6
Drop obsolete pre-NG Haskell builds.
2015-05-05 21:44:47 +02:00
Joachim Fasting
bf7ad2d84f
meta.description fixups
...
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
Pascal Wittmann
f99d5cf2fc
Fixed some descriptions
2015-04-28 10:55:20 +02:00
Forkk
d385fd9111
cask: fix issue with 'cask init' command
...
Fix an issue where 'cask init' would fail due to missing template files.
2015-04-13 00:36:49 +02:00
Pascal Wittmann
a3b2058153
writegood: update from 2.0 to 2.0.2
2015-04-08 16:03:56 +02:00
Vincent Laporte
e4c0225c29
tuareg-mode: update from 2.0.6 to 2.0.9
2015-03-19 19:14:15 +01:00
Jan Malakhovski
380389bc0b
update and convert {apel, flim, semi, wanderlust} to emacs packages
2015-03-03 16:02:18 +00:00
Jan Malakhovski
59ebcccc59
add nyan-mode emacs package
2015-03-03 16:02:17 +00:00
Jan Malakhovski
2c32576a91
add emacs-modes/{apel, flim, semi, wanderlust}
2015-03-03 05:31:38 +00:00
Peter Simons
008256d8bd
emacs-flycheck: add current snapshot from Git
2015-01-30 18:30:59 +01:00
Peter Simons
9f1cb04876
emacs-let-alist: add version 1.0.3
2015-01-30 18:30:38 +01:00
Peter Simons
c8648e14a4
haskell-mode: update git version to current HEAD
2015-01-21 18:47:56 +01:00
Ludovic Courtès
41b53577a8
unmaintain a bunch of packages
2015-01-13 22:33:49 +01:00
Johannes Bornhold
f8247edd1c
Add meta attributes to emacsPackages.d
2015-01-11 18:46:48 +01:00
Johannes Bornhold
860336e786
Add d-mode to emacs modes
2015-01-11 18:46:48 +01:00
Peter Simons
f0c80e1ced
haskell-mode: add current snapshot of git 'master' branch as a low-prio alternative to the (fairly old) release version
2014-12-23 12:50:43 +01:00
John Wiegley
f6c491891f
emacsPackages.haskellMode: regress to 13.10 until next release
2014-12-19 13:57:02 -06:00
Aycan iRiCAN
389670985f
emacs24Packages.haskellMode upgrade to use fetchFromGitHub
2014-12-18 14:51:56 +02:00
Aycan iRiCAN
e1c2ac404d
emacs24Packages.haskellMode update to use fetchurl
2014-12-18 09:36:19 +02:00
Aycan iRiCAN
7ebc62059e
emacs24Packages.haskellMode updated to latest git.
2014-12-17 14:41:10 +02:00
Aycan iRiCAN
f578c0ce5d
emacsPackages.js2-mode updated to latest release.
2014-11-20 00:37:37 +02:00
Cillian de Róiste
546ece8f25
emacs24Packages.rainbowDelimiters: update from 1.3.12 to 1.3.13
2014-11-18 21:23:41 +01:00
Aristid Breitkreuz
199e7908a5
emacs-clang-complete-async: fix build (untested, but at least it builds)
2014-11-16 17:12:05 +01:00
Pascal Wittmann
8df0e0b151
Fixed many descriptions
2014-11-11 14:36:34 +01:00
Peter Simons
7da8ef80a7
emacs-ess: update checksum of the tarball
2014-11-08 18:44:15 +01:00
Peter Simons
6835392708
Merge pull request #4895 from joachifm/ess-14_09
...
ess: bump version to 14.09
2014-11-08 16:06:52 +01:00
Joachim Fasting
47bc68a687
ess: bump version to 14.09
2014-11-08 16:01:07 +01:00
Peter Simons
69bb66902f
emacs-icicles: add current icicles snapshot to emacsPackages
2014-11-07 11:55:57 +01:00
Mateusz Kowalczyk
007f80c1d0
Turn more licenses into lib.licenses style
...
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999 , issue #739
2014-11-06 00:48:16 +00:00
Mathijs Kwik
8913f14a5f
emacs-idris-mode: upgrade to 0.9.15
2014-11-05 18:28:59 +01:00
Peter Simons
f2ae7bd844
magit: update to version 90141025
2014-11-03 14:41:05 +01:00
Pascal Wittmann
5b542ec902
org: update from 8.2.8 to 8.2.10
2014-10-28 12:47:09 +01:00
karsten gebbert
3071a57c34
Add hsc3 haskell package.
2014-10-26 16:22:29 +01:00
Peter Simons
b31ac058cc
magit: don't install lisp files into a "magit" sub-directory
...
After this change, Emacs can load the magit-*.el files without further
configuration. Just add
(require 'magit-autoloads)
to ~/.emacs, and run M-x magit-status or any other magit command.
2014-10-22 13:06:43 +02:00
Peter Simons
dba01b2e77
magit: update to the latest release from Melpa
2014-10-22 11:46:56 +02:00
Peter Simons
3b4a72c3d6
git-modes: add git-modes package version 0.15.0-8-g4e10851 for Emacs
...
These files are required by the latest version of Magit.
2014-10-22 11:46:56 +02:00
Mateusz Kowalczyk
917c1638bf
emacs-magit: fix URL (hopefully)
2014-10-21 22:40:28 +01:00
Mateusz Kowalczyk
2026054746
emacs-magit: update to 1.2.1
2014-10-21 20:21:11 +01:00
Pascal Wittmann
806d2aa68c
org-mode: update from 8.2.7c to 8.2.8
2014-10-03 11:23:08 +02:00
Mateusz Kowalczyk
ce4ae2aa1e
Merge pull request #4305 from vbgl/coq-containers
...
Working with Coq
2014-09-30 15:04:30 +01:00
