Marco Maggesi
5ca0b381e0
Update HOL Light to rev 141
...
svn path=/nixpkgs/trunk/; revision=34290
2012-05-30 20:53:13 +00:00
Peter Simons
272753809c
haskell-hledger-interest: updated to version 1.4.1
...
svn path=/nixpkgs/trunk/; revision=34285
2012-05-29 20:47:29 +00:00
Andres Löh
854ebba387
Whitespace.
...
svn path=/nixpkgs/trunk/; revision=34274
2012-05-29 14:02:31 +00:00
Andres Löh
4e10015cab
Added gnumeric.
...
svn path=/nixpkgs/trunk/; revision=34272
2012-05-29 12:21:33 +00:00
Mathijs Kwik
b82a8f6319
xmobar: enable optional wireless support
...
svn path=/nixpkgs/trunk/; revision=34268
2012-05-29 07:44:01 +00:00
Russell O'Connor
dace27b4c4
Revert accidentaly patch of ssreflect.
...
svn path=/nixpkgs/trunk/; revision=34264
2012-05-28 20:57:54 +00:00
Russell O'Connor
417a07a0e9
Updatings ssreflect to depend on camlp5 version 6.
...
svn path=/nixpkgs/trunk/; revision=34263
2012-05-28 20:53:17 +00:00
Russell O'Connor
f02a71103a
add support to make building coqide optional.
...
svn path=/nixpkgs/trunk/; revision=34262
2012-05-28 19:45:14 +00:00
Cillian de Roiste
9b0cf4ca5d
Updating Ardour 3 to beta 4a
...
svn path=/nixpkgs/trunk/; revision=34250
2012-05-26 17:29:31 +00:00
Peter Simons
ac64ba04bd
git-annex: updated to version 3.20120522
...
svn path=/nixpkgs/trunk/; revision=34213
2012-05-22 19:46:37 +00:00
Peter Simons
d628fd3d34
ikiwiki: updated to version 3.20120516
...
svn path=/nixpkgs/trunk/; revision=34212
2012-05-22 19:46:33 +00:00
Rickard Nilsson
3724758a96
Fixed stupid syntax error in gnome-terminator's default.nix.
...
svn path=/nixpkgs/trunk/; revision=34196
2012-05-21 15:45:03 +00:00
Rickard Nilsson
61ef2ff439
gnome-terminator 0.96.
...
svn path=/nixpkgs/trunk/; revision=34195
2012-05-21 15:08:16 +00:00
Cillian de Roiste
4550700ec9
Updating Yoshimi, no need for the fluid patch any more.
...
svn path=/nixpkgs/trunk/; revision=34187
2012-05-20 18:15:23 +00:00
Eelco Dolstra
920eedb75f
* Audacious updated to 3.2.2.
...
svn path=/nixpkgs/trunk/; revision=34185
2012-05-20 03:23:31 +00:00
Eelco Dolstra
5e7f049fc9
* svn2git-kde 1.0.5.
...
svn path=/nixpkgs/trunk/; revision=34169
2012-05-18 15:01:54 +00:00
Michael Raskin
f5211427b4
Adding zgrviewer
...
svn path=/nixpkgs/trunk/; revision=34166
2012-05-18 09:32:02 +00:00
Russell O'Connor
cfc8538326
Updating coq and ssreflect to patch level 4.
...
svn path=/nixpkgs/trunk/; revision=34146
2012-05-16 22:04:02 +00:00
Eelco Dolstra
503576d277
* Pan 0.137.
...
svn path=/nixpkgs/trunk/; revision=34139
2012-05-16 20:04:56 +00:00
Rickard Nilsson
840b2b013c
opera 11.64.
...
svn path=/nixpkgs/trunk/; revision=34129
2012-05-15 21:46:56 +00:00
Rickard Nilsson
c12005ef56
spotify 0.8.3.278.
...
svn path=/nixpkgs/trunk/; revision=34109
2012-05-15 14:31:43 +00:00
Peter Simons
201bdca962
Updated Haskell packages.
...
- cryptocipher: updated to version 0.3.2
- Crypto: updated to version 4.2.5
- darcs: updated to version 2.8.1
- hamlet: updated to version 1.0.1.3
- monad-par-extras: updated to version 0.3.2
- persistent-template: updated to version 0.9.0.2
- pool-conduit: updated to version 0.1.0.2
- shakespeare-css: updated to version 1.0.1.2
- shakespeare-i18n: updated to version 1.0.0.2
- shakespeare-js: updated to version 1.0.0.2
- shakespeare-text: updated to version 1.0.0.2
- shakespeare: updated to version 1.0.0.2
- warp: updated to version 1.2.1
- wxcore: updated to version 0.90.0.1
- wxc: updated to version 0.90.0.3
- wx: updated to version 0.90.0.1
- xml-conduit: updated to version 0.7.0.3
- xss-sanitize: updated to version 0.3.2
- yesod-auth: updated to version 1.0.2.1
- yesod-core: updated to version 1.0.1.2
- yesod-default: updated to version 1.0.1.1
- yesod-form: updated to version 1.0.0.4
- yesod-json: updated to version 1.0.0.1
- yesod-persistent: updated to version 1.0.0.1
- yesod-routes: updated to version 1.0.1.2
- yesod-static: updated to version 1.0.0.2
- yesod: updated to version 1.0.1.6
svn path=/nixpkgs/trunk/; revision=34102
2012-05-15 11:50:48 +00:00
Russell O'Connor
bc43657f1e
Updating calibre to 0.8.51
...
svn path=/nixpkgs/trunk/; revision=34075
2012-05-12 20:56:47 +00:00
Russell O'Connor
ff1fa88e3d
Adding pdftohtml to the PATH for calibre.
...
svn path=/nixpkgs/trunk/; revision=34074
2012-05-12 20:34:01 +00:00
Eelco Dolstra
7c1612d6f2
* svn2git -> svn2git-kde to distinguish it from the other svn2git.
...
svn path=/nixpkgs/trunk/; revision=34071
2012-05-12 19:45:55 +00:00
Joachim Schiele
2a6579bdb6
virtinst installs now. still most tools don't work and virt-manager still has problems with finding libvirt.
...
svn path=/nixpkgs/trunk/; revision=34052
2012-05-10 19:29:54 +00:00
Eelco Dolstra
bf2d945a02
* Disable some failing builds on specific platforms.
...
svn path=/nixpkgs/trunk/; revision=34033
2012-05-09 21:10:12 +00:00
Mathijs Kwik
aac9492dde
mplayer: enabled speex support
...
I enabled it by default, as ffmpeg/libav/vlc/xine all have speex enabled by
default too, so it's probably on most systems already
svn path=/nixpkgs/trunk/; revision=34024
2012-05-09 10:01:35 +00:00
Lluís Batlle i Rossell
97abdd38a5
Adding the Allied Technologies libdc1394 variant and the cc1394 viewer.
...
svn path=/nixpkgs/trunk/; revision=34013
2012-05-08 09:50:58 +00:00
Lluís Batlle i Rossell
9b2efc0a33
Adding support in VLC for 1394 cameras.
...
svn path=/nixpkgs/trunk/; revision=34012
2012-05-08 09:49:38 +00:00
Joachim Schiele
2b126e57b2
virtinst is still missing, but i will finish this tomorrow
...
svn path=/nixpkgs/trunk/; revision=33999
2012-05-06 23:08:20 +00:00
Joachim Schiele
38ec761dcf
nearly there, please someone check: libvirt/default.nix and see this post: http://www.redhat.com/archives/libvir-list/2007-May/msg00064.html
...
svn path=/nixpkgs/trunk/; revision=33998
2012-05-06 22:39:39 +00:00
Joachim Schiele
f6c6bdda81
virt-manager is not working yet, but as we are not using git yet, i use this to cooperate with viric ;-)
...
svn path=/nixpkgs/trunk/; revision=33997
2012-05-06 19:25:01 +00:00
Karn Kallio
e96679b973
Apply patch from Michel Alexandre Salim advancing mysql workbench version to 5.2.39.
...
svn path=/nixpkgs/trunk/; revision=33996
2012-05-06 02:59:25 +00:00
Marco Maggesi
2cef87022c
Update HOL Light to r134
...
svn path=/nixpkgs/trunk/; revision=33992
2012-05-05 16:46:53 +00:00
Lluís Batlle i Rossell
7a4c5e084c
Updating calibre, and adding sourceforge as a backup url, suggested by roconnor.
...
svn path=/nixpkgs/trunk/; revision=33983
2012-05-04 19:01:51 +00:00
Lluís Batlle i Rossell
593eeb54d0
Fixing a typo, semicolon, in the coriander expression.
...
svn path=/nixpkgs/trunk/; revision=33980
2012-05-03 12:07:45 +00:00
Lluís Batlle i Rossell
6209407d7a
Adding the license meta for two packages I added today.
...
svn path=/nixpkgs/trunk/; revision=33977
2012-05-03 09:41:11 +00:00
Lluís Batlle i Rossell
f9526cd7f1
Adding coriander. I don't know how to make its gconf thing work, so it shows a
...
warning at gui start.
svn path=/nixpkgs/trunk/; revision=33976
2012-05-03 09:38:36 +00:00
Peter Simons
e0bd67afd7
git-annex: updated to version 3.20120430
...
svn path=/nixpkgs/trunk/; revision=33970
2012-05-02 09:25:28 +00:00
Eelco Dolstra
87693235b8
* Dropbox updated to 1.4.0. Patch by Michel Alexandre Salim
...
<michel@sylvestre.me>.
svn path=/nixpkgs/trunk/; revision=33965
2012-05-01 16:25:48 +00:00
Michael Raskin
304facbf3b
Adding LCI lambda calculus interpreter
...
svn path=/nixpkgs/trunk/; revision=33962
2012-05-01 05:07:39 +00:00
Rob Vermaas
97cac0a58c
Added i3wm. Added newer version of file. (this time tested, I screwed up a patch by garbas)
...
svn path=/nixpkgs/trunk/; revision=33952
2012-04-30 14:34:57 +00:00
Rob Vermaas
0823167b43
Revert my previous 2 commits.
...
svn path=/nixpkgs/trunk/; revision=33951
2012-04-30 14:28:08 +00:00
Rob Vermaas
0362f55a22
add missing files from previous commit
...
svn path=/nixpkgs/trunk/; revision=33950
2012-04-30 13:45:50 +00:00
Eelco Dolstra
5287bbf3a8
* Don't build mysql-workbench on i686-linux since it just hangs
...
(http://hydra.nixos.org/build/2482930 ).
svn path=/nixpkgs/trunk/; revision=33939
2012-04-27 09:31:11 +00:00
Eelco Dolstra
48b2a26898
* Firefox 12.0.
...
svn path=/nixpkgs/trunk/; revision=33931
2012-04-26 13:25:20 +00:00
Peter Simons
2e44afa7bb
ikiwiki: updated to version 3.20120419
...
svn path=/nixpkgs/trunk/; revision=33924
2012-04-26 08:09:31 +00:00
Lluís Batlle i Rossell
f5da2fe902
Updating calibre
...
svn path=/nixpkgs/trunk/; revision=33922
2012-04-25 21:31:09 +00:00
Lluís Batlle i Rossell
86232ad5f7
Updating mldonkey. Upstream picked the patch we had.
...
svn path=/nixpkgs/trunk/; revision=33900
2012-04-24 07:54:57 +00:00