Marco Maggesi
b1e7aac0fd
Add MIT Kerberos implementation krb5.
...
svn path=/nixpkgs/trunk/; revision=18202
2009-11-06 12:57:29 +00:00
Rob Vermaas
e3099a7cec
* added haskell libraries: webserver, json 0.3.6, http 3001, base64string, CS173Tourney
...
* added dep on getopt to couchdb
svn path=/nixpkgs/trunk/; revision=18201
2009-11-06 12:38:54 +00:00
Michael Raskin
159dc0e0cb
Increase robustness of tryEval use a bit
...
svn path=/nixpkgs/trunk/; revision=18200
2009-11-06 12:27:56 +00:00
Sander van der Burg
866bbe32f2
Updated VirtualBox guest additions and changed some files to support Xorg 7.5
...
svn path=/nixpkgs/trunk/; revision=18199
2009-11-06 11:41:34 +00:00
Michael Raskin
81f103f176
Roll back to 1.0.29
...
svn path=/nixpkgs/trunk/; revision=18197
2009-11-06 11:31:35 +00:00
Sander van der Burg
ab55ac28b4
Upgraded VirtualBox to 3.0.10
...
svn path=/nixpkgs/trunk/; revision=18196
2009-11-06 11:31:28 +00:00
Michael Raskin
3b273b945a
Build 2.6.31-zen-stable kernels
...
svn path=/nixpkgs/trunk/; revision=18195
2009-11-06 11:24:49 +00:00
Michael Raskin
e78e88ffcf
Blacklist more versions of SBCL?
...
svn path=/nixpkgs/trunk/; revision=18194
2009-11-06 11:23:06 +00:00
Michael Raskin
fe775f8c71
Oops, forgot to use blacklist-enabled updater
...
svn path=/nixpkgs/trunk/; revision=18193
2009-11-06 10:57:42 +00:00
Andres Löh
1114086eba
Version bump for MazesOfMonad.
...
svn path=/nixpkgs/trunk/; revision=18191
2009-11-06 10:30:51 +00:00
Michael Raskin
27e0421842
Fix SBCL URL..
...
svn path=/nixpkgs/trunk/; revision=18190
2009-11-06 10:28:46 +00:00
Michael Raskin
8334ad8b2a
Roll back SBCL
...
svn path=/nixpkgs/trunk/; revision=18189
2009-11-06 10:13:00 +00:00
Michael Raskin
73933c7f9b
Comment out gcl as broken
...
svn path=/nixpkgs/trunk/; revision=18188
2009-11-06 09:44:03 +00:00
Michael Raskin
2e99554064
Try using latest CLisp for SBCL in case SBCL fixed compatibility issues
...
svn path=/nixpkgs/trunk/; revision=18184
2009-11-06 07:39:59 +00:00
Michael Raskin
b50051494c
goSrcDir unneeded for SBCL now
...
svn path=/nixpkgs/trunk/; revision=18183
2009-11-06 07:17:31 +00:00
Michael Raskin
dbb59beb89
Update uzbl-experimental
...
svn path=/nixpkgs/trunk/; revision=18182
2009-11-06 06:22:22 +00:00
Michael Raskin
183e6593be
One more program needs libXi explicitly passed..
...
svn path=/nixpkgs/trunk/; revision=18181
2009-11-06 05:14:41 +00:00
Eelco Dolstra
ade60645af
* Nix 0.13.
...
svn path=/nixpkgs/trunk/; revision=18175
2009-11-05 23:47:53 +00:00
Michael Raskin
dca59abcca
Update Zen Kernel
...
svn path=/nixpkgs/trunk/; revision=18174
2009-11-05 23:32:48 +00:00
Michael Raskin
0e608788c0
Update SBCL
...
svn path=/nixpkgs/trunk/; revision=18173
2009-11-05 23:30:23 +00:00
Michael Raskin
5638a33600
Update WebKit
...
svn path=/nixpkgs/trunk/; revision=18172
2009-11-05 23:11:34 +00:00
Michael Raskin
ddae0905e3
Update x11vnc arguments
...
svn path=/nixpkgs/trunk/; revision=18171
2009-11-05 22:27:46 +00:00
Sander van der Burg
9d3ccc5116
Fixed kdenetwork and accessibility
...
svn path=/nixpkgs/trunk/; revision=18168
2009-11-05 22:16:31 +00:00
Michael Raskin
cf707c5761
Update GNokii
...
svn path=/nixpkgs/trunk/; revision=18167
2009-11-05 22:11:15 +00:00
Michael Raskin
4d02c927e6
Fix ratpoison dependencies
...
svn path=/nixpkgs/trunk/; revision=18166
2009-11-05 21:53:37 +00:00
Ludovic Courtès
82579d30d0
Remove old, commented GCJ expression.
...
svn path=/nixpkgs/trunk/; revision=18165
2009-11-05 21:43:05 +00:00
Ludovic Courtès
24c70760cd
GCJ 4.4: Fix missing <X11/extensions/XInput.h> by adding `libXi'.
...
That header used to be provided by inputproto-1.4 but is no longer
provided by inputproto-2.0.
svn path=/nixpkgs/trunk/; revision=18164
2009-11-05 21:43:00 +00:00
Lluís Batlle i Rossell
8120292b21
Fixing some wxGTK dangling attributes I forgot in a recent commit.
...
svn path=/nixpkgs/trunk/; revision=18162
2009-11-05 21:34:44 +00:00
Lluís Batlle i Rossell
91c8df91bf
Adding the Unichrome xorg video driver, and updating the Openchrome.
...
svn path=/nixpkgs/trunk/; revision=18161
2009-11-05 21:34:31 +00:00
Michael Raskin
09f38459d3
GCL expression unfinished..
...
svn path=/nixpkgs/trunk/; revision=18160
2009-11-05 21:11:39 +00:00
Michael Raskin
df69473bd2
Add directvnc. Not sure whether it works - for me it hangs, but I have known Radeon issues, it seems
...
svn path=/nixpkgs/trunk/; revision=18159
2009-11-05 21:10:51 +00:00
Michael Raskin
661f082d47
Update directfb
...
svn path=/nixpkgs/trunk/; revision=18158
2009-11-05 21:10:03 +00:00
Michael Raskin
3be216a703
Links2 works in FB without directfb just fine
...
svn path=/nixpkgs/trunk/; revision=18157
2009-11-05 21:09:36 +00:00
Michael Raskin
e4a67dbe5b
Fix wxGTK reference for xchm
...
svn path=/nixpkgs/trunk/; revision=18156
2009-11-05 21:08:53 +00:00
Ludovic Courtès
1e675384b0
Remove reference to libtopology' from release.nix'.
...
svn path=/nixpkgs/trunk/; revision=18154
2009-11-05 18:46:57 +00:00
Ludovic Courtès
0e02b4ccf9
GCC 4.4.2; new `update-gcc.sh' script.
...
svn path=/nixpkgs/trunk/; revision=18153
2009-11-05 18:46:52 +00:00
Ludovic Courtès
05437f62c9
Add hwloc 0.9.2, renamed from libtopology.
...
svn path=/nixpkgs/trunk/; revision=18152
2009-11-05 18:46:46 +00:00
Nicolas Pierron
09bed4bffc
* Report file locations in the stack-trace when multiple option
...
declarations cannot be merged.
svn path=/nixpkgs/trunk/; revision=18149
2009-11-05 16:36:03 +00:00
Nicolas Pierron
d8bbae877a
* Add a type for read-only options. Options which are only declared
...
are used when a module produces read-only data for other modules.
svn path=/nixpkgs/trunk/; revision=18148
2009-11-05 15:39:45 +00:00
Nicolas Pierron
5684506470
* Add isDefined to each options. This will clean-up NixOS introspection.
...
svn path=/nixpkgs/trunk/; revision=18147
2009-11-05 15:39:39 +00:00
Marco Maggesi
c713b0ed67
Preliminary version of package ssreflect
...
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.
svn path=/nixpkgs/trunk/; revision=18145
2009-11-05 15:08:12 +00:00
Eelco Dolstra
d843b24fbe
* Added Ubuntu 9.10 ("Karmic Koala").
...
svn path=/nixpkgs/trunk/; revision=18142
2009-11-05 14:49:17 +00:00
Rob Vermaas
3bfd5b2d9c
added couchdb 0.8.1-incubating
...
svn path=/nixpkgs/trunk/; revision=18141
2009-11-05 14:41:05 +00:00
Eelco Dolstra
f7282b61c3
* Allow additional Deb provides/requires to be specified.
...
svn path=/nixpkgs/trunk/; revision=18139
2009-11-05 14:40:25 +00:00
Ludovic Courtès
9e1729637e
Don't build GNU Emacs on non-gtk-supported platforms.
...
svn path=/nixpkgs/trunk/; revision=18138
2009-11-05 14:36:49 +00:00
Ludovic Courtès
9ec817f18a
ECJ 3.5.1.
...
Includes bug fixes needed for IcedTea, see
http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=375 .
svn path=/nixpkgs/trunk/; revision=18137
2009-11-05 14:36:45 +00:00
Peter Simons
4d675a283e
pkgs/development/interpreters/python/2.6/default.nix: fixed build on Darwin
...
svn path=/nixpkgs/trunk/; revision=18136
2009-11-05 13:44:30 +00:00
Peter Simons
1981322cc5
pkgs/misc/cups/default.nix: don't install files to /etc or /usr
...
The cups build tries to install files into global system directories.
This patch changes those paths to locations underneath of $out.
svn path=/nixpkgs/trunk/; revision=18134
2009-11-05 13:33:36 +00:00
Lluís Batlle i Rossell
9b7670ce5b
Setting wxGTK to use the old gtk libs. Until wxGTK 2.8.11 they will not fix
...
a symbol clash with glib 2.21. So we keep with glib 2.20.
I also changed the default wxGTK from 2.6 to 2.8, caring so no hash is changed due to
this change. Some packages using 2.6 may well build with 2.8, so we can try updating
them for another commit.
svn path=/nixpkgs/trunk/; revision=18133
2009-11-05 13:29:52 +00:00
Sander van der Burg
775075a0e8
Upgraded KDE to 4.3.3
...
svn path=/nixpkgs/trunk/; revision=18132
2009-11-05 12:13:46 +00:00
