cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
56886 commits 1 branch 0 tags 3.7 GiB
Commit graph

889 commits

Author SHA1 Message Date
Edward Tjörnhammar
a4d94a0042 idea.desktop: fixed that the item got malformed Comment input 2014-10-12 10:27:10 +02:00
Eelco Dolstra
811de3bfaa Merge remote-tracking branch 'origin/staging' into darwin-clang-stdenv 
Conflicts:
	pkgs/tools/security/gnupg/default.nix
 2014-10-09 10:57:57 +02:00
Michael Raskin
ff371b96df A sigil cleanup 2014-10-07 18:51:33 +04:00
Nick Sauce
bfa942c9bf sigil: new package 2014-10-07 18:51:33 +04:00
Aristid Breitkreuz
c892ba93b4 atom: update from 0.129.0 to 0.135.0 2014-10-06 21:54:59 +02:00
Pascal Wittmann
806d2aa68c org-mode: update from 8.2.7c to 8.2.8 2014-10-03 11:23:08 +02:00
Baptist BENOIST
c35a1b828f geany: Update from 1.23.1 to 1.24.1 
Closes #4359
 2014-10-02 06:39:03 +01: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
Mateusz Kowalczyk
c00b69969f flpsed: update from 0.7.1 to 0.7.2 2014-09-30 10:45:42 +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
Anonymous
e223bc046c android-studio: new package 2014-09-24 12:13:55 +02:00
Anonymous
a3b565f7a3 idea: hack to get fsnotifier working 
more information: https://bugs.archlinux.org/task/34703
 2014-09-24 12:13:54 +02:00
Eelco Dolstra
cd71f7a2e6 Merge branch 'darwin-stdenv' of github.com:joelteon/nixpkgs into staging 
Conflicts:
	pkgs/development/interpreters/ruby/ruby-19.nix
	pkgs/development/libraries/libc++/default.nix
	pkgs/development/libraries/libc++abi/default.nix
	pkgs/tools/text/sgml/opensp/default.nix
 2014-09-23 11:27:53 +02:00
Edward Tjörnhammar
175a40133a ideas: refactored products into common subexpression. 
Closes #4039
 2014-09-21 15:20:21 +01:00
Mateusz Kowalczyk
cdce34d82a Merge pull request #4153 from ambrop72/kdevelop47 
Update KDevelop to 4.7.0.
 2014-09-20 22:52:16 +01:00
Jan Niklas Hasse
3b45556a3b atom: 0.99.0 -> 0.129.0 
[Bjørn Forsman: include fixupPhase, to fix this startup error on NixOS:
 $ ./result/bin/atom
 ./result/bin/atom: /nix/store/q3r5ww6pg5yb4j6p0d8inrhbgzmik0b6-atom-0.129.0/bin/.atom-wrapped: /bin/bash: bad interpreter: No such file or directory
]
 2014-09-20 14:02:08 +02:00
cillianderoiste
1b8d79e0b2 Merge pull request #4143 from geerds/cask 
Add "cask" package
 2014-09-19 13:23:28 +02:00
ambrop7@gmail.com
2bdc12eeed Update KDevelop to 4.7.0. 2014-09-18 22:23:23 +02:00
Jascha Geerds
771d1bd865 Add "cask" package 2014-09-18 00:46:45 +02:00
wyvie
490dc64347 Fixed file name with new version 2014-09-14 21:19:38 +02:00
wyvie
57f62dd2b4 Bumped version of sublime3 2014-09-14 21:13:54 +02:00
Pascal Wittmann
8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Luca Bruno
f5c43d9f62 vanubi: new package 
Programming editor for GTK+ inspired by Emacs

http://vanubi.github.io/vanubi
 2014-09-13 12:39:18 +02:00
Matej Cotman
bca3e21d81 remove nodewebkit patch code and upgrade zed to 0.13 2014-09-13 10:43:28 +02:00
Peter Simons
df4c114252 Merge pull request #4036 from lostdj/ltp/master/ijifix 
IntelliJ IDEA: do not assume that we are using OpenJDK.
 2014-09-12 10:16:55 +02:00
lostdj
f3e0f5e755 IntelliJ IDEA: do not assume that we are using OpenJDK. 2014-09-11 20:51:12 +04:00
Joel Taylor
3e8344d334 suitable clang stdenv 2014-09-09 13:54:24 -07:00
Eelco Dolstra
585983bc95 Merge remote-tracking branch 'origin/staging' 
Conflicts:
	pkgs/applications/version-management/subversion/default.nix
 2014-09-08 11:42:09 +02:00
Vladimír Čunát
06fea81c6e Merge recent master into staging 
Hydra: ?compare=1150594
 2014-09-06 16:52: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
gounnoticed
de03197100 Add luna cpp build for eclipse 
didnt have sha512 so used md5 instead.
 2014-09-05 19:35:28 +01: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
Pascal Wittmann
d812281674 zile: update from 2.4.9 to 2.4.11, adpot it and set platforms to linux 2014-09-02 17:57:09 +02:00
Peter Simons
1c0d15b90e Merge branch 'origin/master' into staging. 
Conflicts:
	pkgs/development/libraries/ffmpeg/2.x.nix
	pkgs/development/libraries/serf/default.nix
 2014-09-02 12:31:03 +02:00
Vladimír Čunát
acba6b4da2 ed: update to 1.10, working around *.lz problem 2014-08-30 23:00:58 +02:00
Eelco Dolstra
74b808a66f Revert "ed: update to 1.10 (close #3852)" 
This reverts commit 60902b97fe. It
breaks building on Darwin:

  http://hydra.nixos.org/build/13832410

It also adds a gratuitous dependency to the stdenv bootstrap.
 2014-08-30 22:41:01 +02:00
Longrin Wischnewski
33cbd6687c wxhexeditor: adding version 0.22 
wxhexeditor: add the package to all-packages.nix

wxhexeditor: fix shebang
 2014-08-30 12:24:43 +01:00
Vladimír Čunát
e51f73652d Merge recent master into staging 
Hydra: ?compare=1149952

Conflicts:
	nixos/doc/manual/configuration.xml (changed split file)
	nixos/modules/config/users-groups.nix (choosing filterNull instead of inline definition)
	pkgs/development/libraries/readline/readline6.3.nix (auto-solved)
 2014-08-30 10:04:02 +02:00
Mateusz Kowalczyk
60902b97fe ed: update to 1.10 (close #3852) 2014-08-29 13:58:51 +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
Edward Tjörnhammar
8bd3c67552 IDEA: 13.1.3 -> 13.1.4 
Changed, attribute name separator changed to dashes and decription.
Added longDescription.
 2014-08-25 11:03:35 +02:00
Bjørn Forsman
c9baba9212 Fix many package descriptions 
(My OCD kicked in today...)

Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.

I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.

I've tried to stay away from generated expressions (and I think I
succeeded).

Some specifics worth mentioning:
 * cron, has "Vixie Cron" in its description. The "Vixie" part is not
   mentioned anywhere else. I kept it in a parenthesis at the end of the
   description.

 * ctags description started with "Exuberant Ctags ...", and the
   "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
   at the end of description.

 * nix has the description "The Nix Deployment System". Since that
   doesn't really say much what it is/does (especially after removing
   the package name!), I changed that to "Powerful package manager that
   makes package management reliable and reproducible" (borrowed from
   nixos.org).

 * Tons of "GNU Foo, Foo is a [the important bits]" descriptions
   is changed to just [the important bits]. If the package name doesn't
   contain GNU I don't think it's needed to say it in the description
   either.
 2014-08-24 22:31:37 +02:00
Cray Elliott
5ec6492ea0 Mark yi and yi-contrib as broken 
They no longer build with lens v4.4.0.1 and up
 2014-08-24 20:28:12 +02:00
Eelco Dolstra
ce6b86cc68 Fix various evaluation problems 
http://hydra.nixos.org/build/13616685
 2014-08-22 11:57:40 +02:00
Moritz Ulrich
10ba4b67e4 Emacs: Use gnutls instead of OpenSSL. 
It looks like this error was introduced accidentally with 0132e1b. Emacs
can't use openssl to make secure connections.
 2014-08-21 12:45:28 +02:00
Vladimír Čunát
56d9b2cc8a merge #3428: nano: bump and add system-wide config 2014-08-14 23:51:29 +02:00
Jascha Geerds
bebdea6ac9 pycharm: add icon in desktop file 2014-08-12 21:21:57 +02:00
Mateusz Kowalczyk
83f532fdfd haskell-yi: update to 0.8.2 
Allows it to work with glib/gtk/pango 0.13.x
 2014-08-11 13:56:12 +02:00
John Wiegley
326ca0f690 Many minor fixes to get things building after recent compiler changes 2014-08-10 23:18:57 -05:00
Eelco Dolstra
0132e1bb48 emacs: On Darwin, don't depend on gconf and cairo 2014-08-09 19:08:37 +02:00
Eelco Dolstra
a7c1541a21 emacs: Fix building on Darwin with recent versions of GCC 
This gets rid of the "unexec: unrecognized section __static_data in
__DATA segment" error while dumping Emacs.
 2014-08-09 19:08:37 +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
Aycan iRiCAN
c35224efb6 Merge remote-tracking branch 'upstream/master' 2014-08-06 10:21:57 +03:00
Bjørn Forsman
310400e0f5 intellij-idea: don't access 'shortName' license attribute 
I don't think packages should poke into the license attributes.
 2014-08-05 07:22:06 +02:00
Jascha Geerds
eaad8d6923 Packaging PyCharm IDE 2014-08-05 07:15:43 +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
Joachim Fasting
2fc0537018 nano: bump to version 2.3.6 2014-08-01 18:19:03 +02:00
Joachim Fasting
decb4266f1 nano: support system-wide nanorc 
This patch does two things
1. builds nano with sysconfdir=/etc; and
2. adds an option programs.nano.nanorc
 2014-08-01 18:19:03 +02:00
Matej Cotman
b1ba1689bd zed: build from source, ditch the installer, upgrade node-webkit 2014-07-30 12:43:24 +02: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
Matej Cotman
dbc829f5d4 new package: zed 0.12.0 (installer) 2014-07-26 14:41:20 +02:00
Eelco Dolstra
3ef40e5004 emacs: Remove 23.x 2014-07-22 13:50:52 +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
Eugene Akentyev
08ca4e2d59 Add Light Table editor. 2014-07-17 12:25:22 +02:00
Pascal Wittmann
70caf388eb org: update from 8.2.7 to 8.2.7b 2014-07-17 12:20:22 +02:00
Paul Colomiets
ab2c7cfff7 vim: Add syntax on and set nocompatible by default 
Its what everybody wants in 2014. They are enabled by default both in
ubuntu and archlinux.
 2014-07-15 14:59:16 +02:00
Paul Colomiets
e376e9731d vim: Update vim to 7.4.335 2014-07-15 14:59:16 +02:00
Paul Colomiets
5e99b0553c vim: Implement sourcing /etc/vimrc and /etc/vim/vimrc 2014-07-15 14:59:16 +02:00
Paul Colomiets
abf19df497 Remove wrapVim 
I don't see a reason for having wrapVim function and vimWrapper and
vimHugeXWrapper packages. If you need a system vimrc, whats wrong with
``environment.etc."vimrc".text`` ?

Also strictly speaking ``vimHugeXWrapper`` didn't wrap, X-version
properly. I.e. running ``gvim`` have console vim version.
 2014-07-15 14:59:16 +02:00
Paul Colomiets
496d12958e Add automatic plugin activation for vim 2014-07-15 14:59:15 +02:00
Eelco Dolstra
ff97b7dbe6 Merge remote-tracking branch 'origin/master' into staging 2014-07-14 17:04:55 +02:00
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
Peter Simons
ac44601157 idea: minor cosmetic chance to fix syntax highlighting in Emacs 2014-07-09 16:10:50 +02:00
Peter Simons
d4fa3e2e54 Rename 'idea_community_1313' attribute to 'idea_community', i.e. drop the 
version number so that it's possible to refer to some "default version of the
package" without knowing what version number that actually is.

The same applies to idea_ultimate_1313.
 2014-07-09 16:10:50 +02:00
Austin Seipp
c734ec6952 Merge pull request #3201 from cstrahan/update-macvim 
Update `macvim` package to v7.4.355
 2014-07-08 11:47:09 -05:00
Moritz Maxeiner
682aadfc91 eclipse: add Eclipse Standard 4.4 Luna 2014-07-08 00:34:56 +02:00
Eelco Dolstra
95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
Charles Strahan
03391f9894 Update macvim package to v7.4.355 
MacVim's maintenance has stagnated, so this moves `macvim` to a new maintainer.
Additionally, the `-headerpad_max_install_names` linker flag is passed to
prevent problems when setting the rpaths.
 2014-07-07 00:16:55 -04: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 c556a6ea46.
 2014-06-30 14:56:10 +02:00
John Wiegley
79aaef4846 Merge pull request #3038 from bennofs/fetch-rev-attr 
fetchbzr, fetchdarcs, fetchhg: use `rev` attr
 2014-06-28 17:04:04 -07:00
Benno Fünfstück
e10001042d fetchbzr, fetchdarcs, fetchhg: use rev attr 
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
 2014-06-28 21:06:10 +02:00
John Wiegley
bf610b79ff structured-haskell-mode: 1.0.2 > 1.0.3 2014-06-28 09:23:22 -07:00
Bjørn Forsman
e395f91607 zile: fix description (don't repeat package name) 2014-06-23 13:36:21 +02: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
Peter Simons
f7c7282964 Merge pull request #2979 from bluescreen303/idris 
Idris: fix wrapper for llvm, upgrade emacs-idris-mode
 2014-06-18 10:00:00 +02:00
Wout Mertens
d619f0ef6d sublime3: fix plugin_host (close #2804) 
Also move the binaries in their own package, so it doesn't pollute the
profile.
 2014-06-17 21:15:37 +02: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
f6eddf9e72 Merge pull request #2863 from Fuuzetsu/yi 
yi: improve expression
 2014-06-09 10:08:54 +02:00
Michael Raskin
ba0cc81737 Merge pull request #2858 from offlinehacker/nixos/atom/add 
Add github atom, a hackable text editor for the 21st Century
 2014-06-09 09:47:09 +04:00
John Wiegley
6a3a9589e2 macvim: add missing call to ensureDir 2014-06-07 20:22:58 +00:00
John Wiegley
c06613a3af macvim: move the .app bundle to $out/Applications 2014-06-07 20:18:27 +00:00
John Wiegley
03bd5f9f44 Merge pull request #2856 from cstrahan/macvim 
add MacVim
 2014-06-07 15:16:48 -05:00
Mateusz Kowalczyk
a91a4e9db2 yi: improve expression 
Disable Haddock docs so that it actually builds (bug in GHC 7.6.3), make
pango optional (OSX people often complain), tell the binary where to
find various libraries needed at runtime (currently it could not find
even its own library).
 2014-06-07 21:33:46 +02:00
Charles Strahan
72cd8ce56c add MacVim 2014-06-07 15:26:01 -04:00
Jaka Hudoklin
905081c029 Add github atom, a hackable text editor for the 21st Century 2014-06-07 12:46:51 +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
Austin Seipp
a470fcff8c Merge pull request #2807 from cstrahan/vim-update 
update vim to v7.4.316
 2014-06-03 20:34:18 -05:00
Austin Seipp
c7f93873db Merge pull request #2805 from edwtjo/idea-13.1.3 
IDEA 13.1.2 -> 13.1.3
 2014-06-03 20:31:20 -05:00
Charles Strahan
0ec25c6f94 update vim to v7.4.316 2014-06-01 21:09:55 -04:00
Edward Tjörnhammar
05dbaa9a17 IDEA 13.1.2 -> 13.1.3 2014-06-01 18:29:27 +02:00
John Wiegley
32c3bcaa80 emacs24Macport: new expression 
This is "Mac port" addition to GNU Emacs 24. This provides a native GUI
support for Mac OS X 10.4 - 10.9. Note that Emacs 23 and later already
contain the official GUI support via the NS (Cocoa) port for Mac OS X
10.4 and later. So if it is good enough for you, then you don't need to
try this.
 2014-05-31 20:39:48 +00:00
Peter Simons
1fddf8d0aa Merge pull request #2733 from pSub/org-update 
Update org-mode to latest stable version
 2014-05-23 20:17:08 +02:00
Pascal Wittmann
8806abe97e Update org-mode to latest stable version 2014-05-23 20:06:02 +02:00
Peter Simons
e2d1b8c60b leksah: remove broken package 2014-05-17 12:56:52 +02:00
Vladimír Čunát
93e65a4d53 codeblocks: fix eval on non-linux, minor refactoring 2014-05-13 20:07:13 +02:00
Linquize
977248ba15 codeblocks: new package 13.12 (close #2533) 
@vcunat: minor refactoring.
 2014-05-13 12:59:19 +02:00
Bjørn Forsman
d2587a014f eclipse: add Eclipse IDE for C/C++ Developers 4.3.2 2014-05-05 22:39:37 +02:00
Edward Tjörnhammar
ec2d52fca8 idea 13.1.1 -> 13.1.2 2014-05-05 21:30:25 +02:00
Peter Simons
0293dc9fbd Merge pull request #2357 from Chaddai/texstudio 
Texstudio : advanced editor for LaTeX
 2014-05-01 13:06:06 +02:00
Thomas Tuegel
7896a84849 qvim: add lua support 2014-04-29 22:19:58 +02:00
Chaddaï Fouché
600bd22f27 Adding myself as maintainer of texstudio 2014-04-29 16:49:21 +02:00
Chaddaï Fouché
ce82a2d6d9 Cleaning up the description and fixing qt to qt4 2014-04-29 16:49:20 +02:00
Chaddaï Fouché
ed3a809a3d Add the necessary preConfigure so that TeXstudio compile (find poppler-qt4.h) 2014-04-29 16:48:22 +02:00
Chaddaï Fouché
89595fbcea Creation of a new package for texstudio, an editor for LaTeX documents 2014-04-29 16:48:22 +02:00
Peter Simons
3445df42a4 Merge pull request #2368 from Chaddai/texmaker 
TeXmaker
 2014-04-28 22:42:47 +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
Chaddaï Fouché
31b58dccfe Added TeXmaker package : an advanced editor for latex 2014-04-24 10:59:29 +02:00
Austin Seipp
6376ac57d8 emacsPackages: add cryptol-mode 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-14 18:23:51 -05:00
Benno Fünfstück
2fd160f027 haskell: update yi to 0.8.1 2014-04-12 20:33:15 +02:00