jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
99,540 Commits 266 Branches 122 Tags 5.3 GiB
46cf112619
Commit Graph

500 Commits

Author SHA1 Message Date
Michael Alan Dorman
c493d6e697 beacon, bug-hunter: un-mark broken 
I am able to successfully build, install and invoke both packages
without problems.
 2016-01-11 05:42:13 -05:00
Thomas Tuegel
727a9ddea8 elpaPackages: remove outdated dash 2016-01-10 09:09:20 -06:00
Tomas Hlavaty
534605e2eb slime: remove obsolete expression 2016-01-08 21:50:30 +01:00
Pascal Wittmann
b84718c8de emacsPackages.org: 8.3.2 -> 8.3.3 2016-01-08 20:03:55 +01:00
Pascal Wittmann
9948d44b40 emacsPackages.org: use new texlive infrastructure 2016-01-08 20:01:36 +01:00
Thomas Tuegel
c266de63ee melpa-stable-packages: use recipeFile 2015-12-29 13:24:42 -06:00
Thomas Tuegel
1d8e3db9ff melpa-packages: use recipeFile 2015-12-29 13:24:28 -06:00
Thomas Tuegel
00aac09d24 melpaPackages: actually build latest packages 2015-12-27 11:05:53 -06:00
Thomas Tuegel
74a1b20108 melpa-stable-packages 2015-12-27 2015-12-27 10:35:34 -06:00
Thomas Tuegel
9602a20835 melpa-packages 2015-12-27 2015-12-27 10:14:57 -06:00
Thomas Tuegel
3eda86cfea elpa-packages 2015-12-27 2015-12-27 08:33:28 -06:00
Thomas Tuegel
a9ca11e82a melpa-stable-packages: fix dependency specification 2015-12-22 06:55:34 -06:00
Thomas Tuegel
f35c3d03d6 melpa-packages: fix dependency specification 2015-12-22 06:55:25 -06:00
Thomas Tuegel
26a7470ce6 elpa-packages: fix dependency specification 2015-12-22 06:55:10 -06:00
Thomas Tuegel
b3949f29cd emacsPackagesNg.ack-menu: broken upstream 2015-12-22 06:50:21 -06:00
Thomas Tuegel
274678b38c melpa-stable-packages: fix evaluation error 2015-12-19 09:49:57 -06:00
Thomas Tuegel
3fbd697b24 melpa-packages: fix evaluation error 2015-12-19 09:49:23 -06:00
Thomas Tuegel
752e4095ec melpa-stable-packages: fix evaluation error 2015-12-19 09:44:55 -06:00
Thomas Tuegel
e5b082fc7b melpa-packages: fix evaluation error 2015-12-19 09:44:21 -06:00
Thomas Tuegel
fbc345fd69 melpa-stable-packages: use fetchFromGitLab 2015-12-19 09:32:25 -06:00
Thomas Tuegel
ecc50e9285 melpa-packages: use fetchFromGitLab 2015-12-19 09:32:24 -06:00
Thomas Tuegel
be568d55da melpa-stable-packages: include fetchFromGitHub 2015-12-19 09:32:24 -06:00
Thomas Tuegel
b72161608a melpa-packages: include fetchFromGitHub 2015-12-19 09:32:24 -06:00
Thomas Tuegel
c39058852e elpa-packages 2015-12-18 2015-12-19 09:32:23 -06:00
Thomas Tuegel
df4a984c60 melpa-stable-packages 2015-12-18 2015-12-19 09:32:23 -06:00
Thomas Tuegel
8eabd09087 melpa-packages 2015-12-18 2015-12-19 09:32:23 -06:00
Thomas Tuegel
e86f93eada melpa-stable-packages: add instructions for updating 2015-12-19 09:32:20 -06:00
Thomas Tuegel
c6a5ade24b melpa-packages: add instructions for updating 2015-12-19 09:32:20 -06:00
Thomas Tuegel
8126ae8c7a elpa-packages: add instructions for updating 2015-12-19 09:32:19 -06:00
Thomas Tuegel
a338959da6 melpaStablePackages: don't import all of pkgs 2015-12-17 07:23:50 -06:00
Thomas Tuegel
28af093438 melpaPackages: don't import all of pkgs 2015-12-17 07:23:50 -06:00
Thomas Tuegel
a4f4d1717d elpaPackages: don't import all of pkgs 2015-12-17 07:23:50 -06:00
Thomas Tuegel
9f55d3f29f elpaPackages: fix typo in midi-kbd 2015-12-17 07:23:50 -06:00
Thomas Tuegel
ccc8265d44 melpa-stable-packages: 2015-12-16 
Fixes Git hashes by using `nix-prefetch-git --fetch-submodules`.
 2015-12-17 07:23:50 -06:00
Thomas Tuegel
bf9b4b03d5 elpa-packages: mark broken packages 
These packages fail to build on Hydra.
 2015-12-17 07:23:50 -06:00
Thomas Tuegel
59f497bc4d melpa-packages: 2015-12-15 
Fixes Git hashes by using `nix-prefetch-git --fetch-submodules`.
 2015-12-17 07:23:50 -06:00
Thomas Tuegel
f574f1c9c9 melpaPackages: fix cvsRoot attribute name 2015-12-17 07:23:50 -06:00
Thomas Tuegel
8e655250bd emacsPackagesNg: add all of MELPA 2015-12-17 07:23:50 -06:00
Thomas Tuegel
4e99a11653 melpa-packages 2015-12-14 2015-12-17 07:23:50 -06:00
Thomas Tuegel
1210eafb8e melpa-stable-packages 2015-12-14 2015-12-17 07:23:50 -06:00
Thomas Tuegel
3cc7e04502 elpa-packages 2015-12-14 2015-12-17 07:23:50 -06:00
Thomas Tuegel
8498f9d46b elpa-packages 2015-12-06 2015-12-06 11:49:50 -06:00
Thomas Tuegel
0c2259629d add elpa-packages.nix 2015-12-06 11:49:50 -06:00
Pascal Wittmann
7fd2796e99 Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
Tomas Hlavaty
b570c6f0ca slime: added The Superior Lisp Interaction Mode for Emacs 2015-11-04 09:09:18 +01:00
Peter Simons
dd3d3110a7 emacs-magit: update to version 2.3.0 2015-10-30 14:34:21 +01:00
Peter Simons
0608615f78 emacs-dash: update to version 2.12.1 2015-10-30 14:34:21 +01:00
Peter Simons
c7105ce939 emacs-markdown-mode: fix misspelled license attribute 2015-10-15 15:14:34 +02:00
Peter Simons
7fb7fafe0f emacs-markdown-mode: add version 2.0-82-gfe30ef7 2015-10-15 14:35:57 +02:00
Pascal Wittmann
7970239f52 org-mode: 8.3.1 -> 8.3.2 2015-10-06 18:14:09 +02:00
Vincent Laporte
34c59894a6 ocaml-mode: fix build for OCaml >= 4.02 2015-09-17 20:58:35 +02:00
Pascal Wittmann
db0819f955 Fix some meta.license attributes 2015-09-15 11:02:09 +02:00
Samuel Rivas
40d26f6730 erlang-mode: refactor maintainers (close #9855) 2015-09-14 23:47:20 +02:00
Arseniy Seroka
54bcc4e446 Merge pull request #9699 from samuelrivas/emacs-erlang-mode 
Add erlang-mode for emacs
 2015-09-08 00:00:33 +03:00
Arseniy Seroka
b70ffedbcc Merge pull request #9694 from samuelrivas/update-emacs-solarized-theme 
update emacs solarized theme and fix the name
 2015-09-07 23:45:20 +03:00
Samuel Rivas
43fe8f2859 color-theme-solarized: initial at 1.0.0 
update emacs solarized theme and fix the name

  * Added myself as maintainer as no one was there
  * Picked the latest version (no tags in that repo)
  * Changed the name, this was (probably mistakenly) named as color-theme, which
    is another package
 2015-09-07 22:35:36 +02:00
Samuel Rivas
ce433f2a5f emacs-mode: initial (same version as erlang) 
This is just extracted from the erlang derivation. Otherwise one needs to know
where the emacs mode is (and the path depends on the version of Erlang used)
 2015-09-07 22:32:26 +02:00
Peter Simons
398fc5d9fe emacs-ido-ubiquitous: add version 3.6-4-gb659bf8 2015-09-04 12:38:51 +02:00
Peter Simons
881fb00fdf emacs-magit: update to version 2.2.1 2015-09-01 16:56:12 +02:00
Peter Simons
bcd3e06f4c emacs-git-modes: update to version 1.2.0 2015-09-01 16:56:12 +02:00
Peter Simons
ebd99dea2f emacs-dash: update to version 2.11.0 2015-09-01 16:56:12 +02:00
Peter Simons
f33f8e1b34 emacs-haskell-mode: update to version 13.14-169-g0d3569d 2015-09-01 16:56:11 +02:00
Jascha Geerds
4e478cbeaa cask: 0.7.2 -> 0.7.3 2015-08-27 22:08:24 +02:00
Peter Simons
58c02a0cbe emacs-haskell-mode: update to latest Git version 
Hopefully, this update fixes the TAB-completion issues in ghci.
 2015-08-20 22:06:07 +02:00
Pascal Wittmann
45c284c955 org: update from 8.3 to 8.3.1 2015-08-07 18:14:17 +02:00
Peter Simons
c67aaca6d9 emacs-haskell-mode: switch default to git version 
We track the git version, because haskell-mode does not provide regular
releases except via MELPA, which our Emacs infrastructure does not support yet.
 2015-08-07 15:13:14 +02:00
Arseniy Seroka
d25014a3cd Merge pull request #9060 from oxij/emacs-cleanup 
Cleanup in emacs-packages
 2015-08-06 20:54:46 +03:00
Pascal Wittmann
3dbdac801c org-mode: update from 8.2.10 to 8.3 2015-08-05 14:35:35 +02:00
Jan Malakhovski
56fbeb7a93 emacs-packages: add automatic meta.homepages to builders, cleanup other expressions 
Because we can.
 2015-07-31 02:02:04 +00:00
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
Mateusz Kowalczyk
f04b0b9879 emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
3043af8838 emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
9d246d2cff emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4 2014-09-30 10:56:11 +01:00
Vincent Laporte
94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00
cillianderoiste
1b8d79e0b2 Merge pull request #4143 from geerds/cask 
Add "cask" package
 2014-09-19 13:23:28 +02:00
Jascha Geerds
771d1bd865 Add "cask" package 2014-09-18 00:46:45 +02:00
Peter Simons
6f819ef4f4 emacs-ensime: depend on scala-mode2 and sbt-mode 2014-09-06 13:30:44 +02:00
Peter Simons
1e92a86240 emacs-rainbow-delimiters: add version 1.3.8 2014-09-06 13:30:44 +02:00
Peter Simons
7f5bc10186 emacs-ensime: add current git snapshot 2014-09-05 16:06:16 +02:00
Peter Simons
e8bff6f838 emacs-s: add version 1.9.0 2014-09-05 16:06:16 +02:00
Peter Simons
a4ec7a6316 emacs-dash: add version 1.5.0 2014-09-05 16:06:16 +02:00
Peter Simons
309851f999 scala-mode2: update to latest version 2014-09-05 16:06:16 +02:00
Mathijs Kwik
0e1ed7bbc9 fix js2-mode revision 2014-08-25 13:56:53 +02:00
Mathijs Kwik
fb2449c026 add emacs color-theme solarized 2014-08-25 13:56:53 +02:00
Mathijs Kwik
3be7d4b478 idris-mode: upgrade to 0.9.14 2014-08-25 13:56:52 +02:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Peter Simons
9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging. 
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
 2014-08-04 16:51:47 +02:00
Aycan iRiCAN
307a08c9a3 removed rev 2014-08-03 21:21:52 +03:00
Aycan iRiCAN
02dcf1e493 Upgrade js2-mod to 20140114 2014-08-03 21:20:26 +03:00
Pascal Wittmann
cf744cb715 org: update from 8.2.7b to 8.2.7c 2014-07-30 12:14:15 +02:00
Peter Simons
d0ca8c237e Fix broken license references. 2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/applications/audio/espeak/edit.nix
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
 2014-07-28 11:30:49 +02:00
Moritz Ulrich
e4f978d09f bbdb3: New package. 2014-07-27 10:55:43 +02:00
Eelco Dolstra
7f410ef923 Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/misc/vim-plugins/default.nix
 2014-07-22 11:00:00 +02:00
Pascal Wittmann
70caf388eb org: update from 8.2.7 to 8.2.7b 2014-07-17 12:20:22 +02:00
Eelco Dolstra
95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
cillianderoiste
00cb266c4f Merge pull request #3163 from pSub/writegood-mode 
Update writegood-mode from 1.3 to 2.0
 2014-07-02 14:15:10 +02:00
Pascal Wittmann
da8b931738 Update writegood-mode from 1.3 to 2.0 2014-07-02 13:03:01 +02:00
Eelco Dolstra
06fc1ec34d Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/servers/serfdom/default.nix
 2014-07-01 11:25:41 +02:00
Eelco Dolstra
40f7b0f9df Another attempt to eradicate ensureDir 
See c556a6ea46e71e1907d78b71fab36df30297b3ad.
 2014-06-30 14:56:10 +02:00
John Wiegley
bf610b79ff structured-haskell-mode: 1.0.2 > 1.0.3 2014-06-28 09:23:22 -07:00
John Wiegley
3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral 
proofgeneral_4_3_pre: Add expression needed for current prooftree
 2014-06-21 09:22:29 -07:00
John Wiegley
bfe77718d4 emacs-modes-emms, emacs-modes-org: Relax platform qualifier 2014-06-20 22:37:09 -07:00
John Wiegley
073933101e proofgeneral: Delete default.nix for proofgeneral 2014-06-20 22:36:06 -07:00
John Wiegley
0cf6e55a70 proofgeneral_4_3_pre: Add expression needed for current prooftree 2014-06-20 22:31:55 -07:00
Austin Seipp
85c70f642f Merge pull request #2977 from bluescreen303/emacs-org2blog 
Emacs org2blog - bring up to date - now works with org-8.* again
 2014-06-18 16:21:02 -05:00
John Wiegley
4643126d10 Merge pull request #2938 from pSub/org-mode 
Org-mode 8.2.7 depends on texlive-cm-super.
 2014-06-18 09:42:12 -07:00
Mathijs Kwik
ff995adb0d emacs-idris-mode: upgrade to 0.9.13.1 2014-06-16 22:43:51 +02:00
Mathijs Kwik
b193dd5d77 emacs-org2blog: upgrade to 0.8.1 2014-06-16 22:43:11 +02:00
Mathijs Kwik
ab8337e4fc add emacs-metaweblog 2014-06-16 22:43:10 +02:00
Pascal Wittmann
63ee29b808 Org-mode 8.2.7 depends on texlive-cm-super. 2014-06-16 21:58:59 +02:00
Pascal Wittmann
19110c9a53 Update org-mode from 8.2.6 to 8.2.7 and add myself as a maintainer. 2014-06-13 14:21:39 +02:00
Peter Simons
80a60810ca emacs-sbt-mode: add initial version 2014-06-05 14:34:32 +02:00
Peter Simons
1fc21bd6a9 emacs-scala-mode: package version 2 2014-06-05 14:34:31 +02:00
Pascal Wittmann
8806abe97e Update org-mode to latest stable version 2014-05-23 20:06:02 +02:00
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
Austin Seipp
9ef104cbad cryptol-mode: 0.1.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-26 12:51:08 -05:00
Austin Seipp
6376ac57d8 emacsPackages: add cryptol-mode 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-14 18:23:51 -05:00
Peter Simons
79f19f687c flymake-cursor: the sha256 hash of the file has changed 
No change was documented on the emacs wiki. Not sure what happened. :-(
 2014-04-08 12:48:22 +02:00
Peter Simons
1b1225fb0b flymake-cursor: remove redundant 'meta.platforms = stdenv.lib.platforms.all' setting 2014-04-08 12:48:22 +02:00
Mathijs Kwik
593c633aa8 emacs-idris-mode: upgrade to support idris 0.9.12 2014-04-08 08:38:43 +02:00
Peter Simons
69b53c990a structured-haskell-mode: re-generate with latest cabal2nix 2014-03-31 23:10:56 +02:00
Shea Levy
5a38bfdb9c Merge branch 'darcsum' of git://github.com/falsifian/nixpkgs 
Added darcsum, "a pcl-cvs like interface for managing darcs patches".
 2014-03-14 19:42:27 -04:00
Pascal Wittmann
af3cf0dbeb Add structured-haskell-mode 2014-03-03 11:55:26 +01:00
Mathijs Kwik
d2dd22651d idris-mode: upgrade to current version 2014-03-02 08:41:45 +01:00
Peter Simons
c3dc693586 writegood-mode: update to version 1.3 
https://github.com/bnbeckwith/writegood-mode/issues/7
 2014-02-13 22:29:34 +01:00
cillianderoiste
19757df9dc Merge pull request #1673 from pSub/writegood-mode 
Add emacs minor mode writegood
 2014-02-12 01:52:01 +01:00
Pascal Wittmann
e8b0001268 idris-mode: fixed link to homepage (merge #1671) 2014-02-04 18:56:24 +01:00
Pascal Wittmann
351e070366 Add emacs minor mode writegood 2014-02-04 16:01:35 +01:00
Petr Rockai
6f5be260b4 Adopt packages. 2014-01-28 17:31:17 +01:00
Peter Simons
c1209b5144 emacs-bbdb: update to version 2.36 2014-01-21 20:18:27 +01:00
Shea Levy
fea2266290 llvm: Split llvmFull into separate derivations 
Now most packages in the llvm suite are built as separate derivations.
The exceptions are:

* compiler-rt must currently be built with llvm. This increases llvm's
  size by 6 MB
* clang-tools-extra must be built with clang

In addition, the top-level llvm attribute is defaulted to llvm 3.4, and
llvm 3.3 must be accessed by the llvm_33 attribute. This is to make the
out-of-date packages obvious in the hope that eventually all will be
updated to work with 3.4 and 3.3 can be removed. I think we should keep
this policy in the future (latest llvm gets top-level name, the rest are
versioned until they can be removed).

The llvm packages (except libc++, which exception I will try to remove
on the next update) can all be accessed via the llvmPackages attribute,
and there are also aliases for the packages that already existed (llvm,
clang, and dragonegg).

Signed-off-by: Shea Levy <shea@shealevy.com>
 2014-01-20 20:33:06 -05:00
Shea Levy
55e6303d6a Add full llvm build, update libc++ and dragonegg 
Some packages in the llvm suite (e.g. compiler-rt) cannot be built
separate from the build of llvm, and while some others (e.g. clang) can
the combined build is much better tested (we've had to work around
annoying issues before). So this puts llvm, clang, clang-tools-extra,
compiler-rt, lld, lldb, and polly all into one big build (llvmFull).
This build includes a static llvm, as dynamic is similarly less tested
and has known failures.

This also updates libc++ and dragonegg. libc++ now builds against
libc++abi as a separate package rather than building it during the
libc++ build.

The clang purity patch is gone. Instead, we simply set --sysroot to
/var/empty for pure builds, as all impure paths are either looked up in
the gcc prefix (which we hard-code at compile time) or in the sysroot.
This also means that if NIX_ENFORCE_PURITY is 0 then clang will look in
the normal Linux paths by default, which is the proper behavior IMO.

polly required an updated isl. When stdenv-updates is merged, perhaps we
can update the isl used by gcc and avoid having two versions.

Since llvm on its own is now separate from the llvm used by clang, I've
removed myself as maintainer from llvm and will leave maintenance of
that to those who are interested in llvm separate from clang.

Signed-off-by: Shea Levy <shea@shealevy.com>
 2014-01-20 05:42:38 -05:00
James Cook
638e1586cf Added darcsum, "a pcl-cvs like interface for managing darcs patches". 2014-01-18 12:25:34 -08:00
Nixpkgs Monitor
16cd5aba6a emacs24Packages.haskellMode: update from 13.07 to 13.10 2014-01-13 17:05:45 +01:00
Eelco Dolstra
6fb27abf33 Merge branch 'java' 2014-01-13 13:16:17 +01:00
Eelco Dolstra
16e626a80d Replace lib/java -> share/java 2014-01-09 13:01:38 +01:00
Mathijs Kwik
8fad5a72ec add emacs/idris-mode 2014-01-07 07:16:47 +01:00
Peter Simons
778a55d352 ess-mode: enable Hydra builds on Linux 2013-12-21 00:05:29 +01:00
Peter Simons
1a996759a5 ess-mode: update to version 13.09 2013-12-03 12:44:52 +01:00
Rok Garbas
f685b08d0d emacs offlineimap mode added 2013-11-12 11:00:58 +01:00
Bjørn Forsman
083d0890f5 More description fixes 
* Remove package name
* Start with upper case letter
* Remove trailing period

Also reword some descriptions and move some long descriptions to
longDescription.

I'm not touching generated packages.
 2013-10-06 12:01:38 +02:00
Mathijs Kwik
4d32a074a2 org-mode: install to proper dir 2013-10-04 09:07:45 +02:00
Pascal Wittmann
296da4bfae Updating org-mode to 8.2.1 2013-10-01 15:52:31 +02:00
Ludovic Courtès
2e937c437a unmaintain several packages 2013-08-16 23:45:01 +02:00
Mathijs Kwik
9230619ee7 haskell-mode: upgrade to 13.07 2013-07-21 09:08:16 +02:00
Evgeny Egorochkin
da4be371e9 make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
Evgeny Egorochkin
b084b29d26 Even more mirror:// fixes 2013-07-14 04:17:07 +03:00