Commit graph

11550 commits

Author SHA1 Message Date
Michael Raskin 091be03f65 Update E prover
svn path=/nixpkgs/trunk/; revision=23433
2010-08-25 22:23:55 +00:00
Eelco Dolstra 412bd09ec1 * OpenSSH 5.6.
svn path=/nixpkgs/trunk/; revision=23432
2010-08-25 21:12:36 +00:00
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version
svn path=/nixpkgs/trunk/; revision=23430
2010-08-25 19:50:24 +00:00
Michael Raskin 9570117dc4 Make TeXLive-linkdir skip not try to wrap directories in libexec
svn path=/nixpkgs/trunk/; revision=23429
2010-08-25 19:31:23 +00:00
Rob Vermaas 9fa88c5291 added libxpdf and pdf2xml
svn path=/nixpkgs/trunk/; revision=23427
2010-08-25 14:25:51 +00:00
Andres Löh 907b921c61 Applied (with edits) the patch provided by James Cook to add the
Haskell fingertree library. Thanks for the contribution.

svn path=/nixpkgs/trunk/; revision=23424
2010-08-25 13:08:32 +00:00
Ludovic Courtès 821c95173f libuuid: Add static cross-build for GNU/Hurd.
svn path=/nixpkgs/trunk/; revision=23419
2010-08-25 12:49:54 +00:00
Ludovic Courtès a806414146 libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted).
svn path=/nixpkgs/trunk/; revision=23415
2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell 02e4b5ffa4 Adding another nvidia legacy driver. (they have one more, '71').
I use their major numbers to distinguish.
They seem to do so in http://www.nvidia.com/object/unix.html .

svn path=/nixpkgs/trunk/; revision=23411
2010-08-24 21:56:47 +00:00
Lluís Batlle i Rossell 4ecebb6465 Updating xmoto
svn path=/nixpkgs/trunk/; revision=23409
2010-08-24 19:59:06 +00:00
Lluís Batlle i Rossell 03ccbe3f78 Adding a more-or-less working 'egoboo'. I'll update to a better expression after some
egoboo upstream work.

svn path=/nixpkgs/trunk/; revision=23408
2010-08-24 19:36:42 +00:00
Lluís Batlle i Rossell 66b325ebbd Revert "Updating kipi-plugins"
I did not mean this to go upstream. This simple change was not enough.

svn path=/nixpkgs/trunk/; revision=23406
2010-08-24 18:12:43 +00:00
Lluís Batlle i Rossell 62f191bf6f Updating kipi-plugins
svn path=/nixpkgs/trunk/; revision=23405
2010-08-24 17:40:40 +00:00
Lluís Batlle i Rossell d5d2458003 Fixing the nvidia legacy driver builder. The legacy driver needs the old builder script.
svn path=/nixpkgs/trunk/; revision=23404
2010-08-24 17:40:00 +00:00
Lluís Batlle i Rossell 232ee1bd17 Updating nvidia legacy drivers
svn path=/nixpkgs/trunk/; revision=23403
2010-08-24 17:37:12 +00:00
Eelco Dolstra b9f2f1dc46 * Zabbix 1.8.3.
svn path=/nixpkgs/trunk/; revision=23401
2010-08-24 15:18:06 +00:00
Michael Raskin 90603fd593 Update Midori
svn path=/nixpkgs/trunk/; revision=23397
2010-08-24 13:58:57 +00:00
Rob Vermaas 68a6fa773a added seperate meta-environment packages, use callpackage for aterm28
svn path=/nixpkgs/trunk/; revision=23394
2010-08-24 13:20:55 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=23391
2010-08-24 10:00:19 +00:00
Eelco Dolstra 8e73500282 * Gens/GS doesn't build on 64-bit systems.
svn path=/nixpkgs/trunk/; revision=23390
2010-08-24 09:57:57 +00:00
Eelco Dolstra 509fa794dd * Linux 2.6.32.20, 2.6.27.52. This fixes the "scheduling while
atomic" regression.

svn path=/nixpkgs/trunk/; revision=23386
2010-08-24 09:01:48 +00:00
Lluís Batlle i Rossell 4d8eea0c6b Updating the nvidia drivers
svn path=/nixpkgs/trunk/; revision=23385
2010-08-24 08:31:32 +00:00
Peter Simons bb0e55c238 pkgs/development/compilers/urweb: correct mysql search paths
svn path=/nixpkgs/trunk/; revision=23384
2010-08-24 08:27:55 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share".
svn path=/nixpkgs/trunk/; revision=23383
2010-08-24 08:26:48 +00:00
Peter Simons 14760d869b Add Nix expression for Emacs mode htmlize.
svn path=/nixpkgs/trunk/; revision=23382
2010-08-24 08:25:51 +00:00
Peter Simons ed19b4faf0 Add Nix expression for Ur/Web.
svn path=/nixpkgs/trunk/; revision=23381
2010-08-24 08:25:07 +00:00
Peter Simons d64e59b56e Patch libmhash to correct autotools config.h collision.
The autotools build was passing package generic parameters via config.h
in such a way as to generate name collisions with other autotool packages
using libmhash.

svn path=/nixpkgs/trunk/; revision=23380
2010-08-24 08:24:48 +00:00
Peter Simons f101a46d19 Add libmhash, a cryptographic hash library.
Add Nix expression to package libmhash, a library providing a collection
of cryptographic hash algorithms.

svn path=/nixpkgs/trunk/; revision=23379
2010-08-24 08:24:33 +00:00
Peter Simons f17a4cfbf9 Add package mlton, an optimizing compiler for Standard ML.
This commit packages mlton.  Note that the documentation has not
been built or included.

svn path=/nixpkgs/trunk/; revision=23378
2010-08-24 08:23:16 +00:00
Eelco Dolstra 261a3eec35 * Added Gens/GS, a Mega Drive emulator.
svn path=/nixpkgs/trunk/; revision=23377
2010-08-23 20:28:14 +00:00
Michael Raskin 1d067af2ec Update StumpWM
svn path=/nixpkgs/trunk/; revision=23374
2010-08-23 19:31:28 +00:00
Peter Simons 08244152cc pkgs/development/interpreters/lua-5: overriding CFLAGS on the make command-line breaks the build
svn path=/nixpkgs/trunk/; revision=23367
2010-08-23 15:20:49 +00:00
Peter Simons 8170f3b73b pkgs/development/interpreters/lua-5: FreeBSD can't handle "install -D"; use "ensureDir" instead
svn path=/nixpkgs/trunk/; revision=23366
2010-08-23 15:09:02 +00:00
Ludovic Courtès 8d6af9d471 GNU Gnash 0.8.8.
svn path=/nixpkgs/trunk/; revision=23365
2010-08-23 14:52:48 +00:00
Ludovic Courtès 6ffaf59086 GtkGLExt 1.2.0.
svn path=/nixpkgs/trunk/; revision=23364
2010-08-23 14:52:00 +00:00
Ludovic Courtès 3002aafcf3 Build GNU Nettle.
svn path=/nixpkgs/trunk/; revision=23363
2010-08-23 14:50:55 +00:00
Peter Simons c50ae128d5 pkgs/development/interpreters/lua-5: added support for all Unix platforms
svn path=/nixpkgs/trunk/; revision=23362
2010-08-23 14:41:03 +00:00
Peter Simons 960323ec73 pkgs/stdenv/generic: cosmetic changes
svn path=/nixpkgs/trunk/; revision=23361
2010-08-23 14:40:37 +00:00
Peter Simons eb9c20eaf3 pkgs/stdenv/generic: added stdenv attributes isFreeBSD, isOpenBSD, and isBSD
svn path=/nixpkgs/trunk/; revision=23360
2010-08-23 14:39:46 +00:00
Peter Simons f79f257c88 pkgs/development/interpreters/lua-5: $makeFlags is not a list
svn path=/nixpkgs/trunk/; revision=23359
2010-08-23 14:29:26 +00:00
Peter Simons a65aab0171 pkgs/development/interpreters/lua-5: cosmetic changes
svn path=/nixpkgs/trunk/; revision=23358
2010-08-23 14:27:33 +00:00
Peter Simons d3a8a3f7d0 pkgs/development/interpreters/lua-5: added meta section to the expression
svn path=/nixpkgs/trunk/; revision=23357
2010-08-23 14:26:26 +00:00
Michael Raskin fb24277ef2 Update Linux kernel to 2.6.35.3 - 2.6.35.2 has a few lockup regressions
svn path=/nixpkgs/trunk/; revision=23356
2010-08-23 11:49:17 +00:00
Eelco Dolstra 554b5f804a * Added libcloud.
svn path=/nixpkgs/trunk/; revision=23355
2010-08-23 10:17:30 +00:00
Lluís Batlle i Rossell 53b8411c7a Adding torcs
svn path=/nixpkgs/trunk/; revision=23354
2010-08-22 14:18:58 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad
svn path=/nixpkgs/trunk/; revision=23352
2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell 5c8b4043ee Adding espeak (and one of the libraries it needs, portaudio)
svn path=/nixpkgs/trunk/; revision=23351
2010-08-22 12:08:55 +00:00
Lluís Batlle i Rossell f093c8fb18 Making the navipowm store some files in it's $out/share, needed to make it work.
Nevertheless it still looks for the ini file in the same directory as the executable.

svn path=/nixpkgs/trunk/; revision=23350
2010-08-22 12:07:50 +00:00
Lluís Batlle i Rossell 9558cf93c4 Updating 'navit' to the latest svn version
svn path=/nixpkgs/trunk/; revision=23349
2010-08-22 12:07:03 +00:00
Lluís Batlle i Rossell 63eaf8dd0f Adding NaviPOWM (I don't know how to use it though)
svn path=/nixpkgs/trunk/; revision=23348
2010-08-22 12:04:03 +00:00