Commit graph

3268 commits

Author SHA1 Message Date
Michael Raskin c86efaec81 Added E authomated theorem prover and script eproof-tptp for TPTP syntax.
svn path=/nixpkgs/trunk/; revision=9418
2007-10-07 13:37:08 +00:00
Eelco Dolstra 5794f85ed8 * Added XML::DOM, updated some other Perl modules.
svn path=/nixpkgs/trunk/; revision=9417
2007-10-06 18:56:23 +00:00
Michael Raskin 8c7f215381 Uncommented mkDerivationByName. Now it doesn't break everything
svn path=/nixpkgs/trunk/; revision=9415
2007-10-06 18:17:47 +00:00
Michael Raskin 7aec010f6a Added aMule
svn path=/nixpkgs/trunk/; revision=9413
2007-10-06 15:59:35 +00:00
Michael Raskin 3b8b925153 Commented someadditions out and corrected spelling - mkDerivationByConfiguration ruins all-packages.nix
svn path=/nixpkgs/trunk/; revision=9408
2007-10-05 07:26:23 +00:00
Michael Raskin 0de5cbedef Corrected vncserver
svn path=/nixpkgs/trunk/; revision=9406
2007-10-05 05:55:44 +00:00
Michael Raskin 187c737e3c FPC version bump
svn path=/nixpkgs/trunk/; revision=9405
2007-10-04 19:18:31 +00:00
Michael Raskin 3ea21c3fdc Added Xvnc build to tightvnc
svn path=/nixpkgs/trunk/; revision=9404
2007-10-04 18:49:04 +00:00
Marc Weber a6f18fb565 jack added - compiles - haven't done any testing yet
svn path=/nixpkgs/trunk/; revision=9403
2007-10-03 22:38:09 +00:00
Eelco Dolstra 046a7c735a * bakoma-ttf: TrueType versions of the Computer Modern and AMS TeX Fonts.
svn path=/nixpkgs/trunk/; revision=9402
2007-10-03 16:10:22 +00:00
Armijn Hemel 7841a05eb1 bump to 2.2.1
svn path=/nixpkgs/trunk/; revision=9400
2007-10-03 15:38:19 +00:00
Eelco Dolstra 33238a2bbf * findSingle: return a caller-specified value if there are multiple
matching elements in the list.

svn path=/nixpkgs/trunk/; revision=9397
2007-10-03 13:26:24 +00:00
Eelco Dolstra 459b386ff9 * xpdf updated to 3.02pl1. Also patch its configuration file so that
it uses the Base-14 fonts from Ghostscript.

svn path=/nixpkgs/trunk/; revision=9396
2007-10-03 12:16:48 +00:00
Michael Raskin 2d9f1f42b6 Now Guile works
svn path=/nixpkgs/trunk/; revision=9394
2007-10-02 20:48:39 +00:00
Michael Raskin 1bfaf17b14 Bumped Wine version
svn path=/nixpkgs/trunk/; revision=9393
2007-10-02 20:06:24 +00:00
Michael Raskin d2c1953e8d Updated keynav; new features; do not forget to copy keynavrc from share/keynav/doc to ~/.keynavrc
svn path=/nixpkgs/trunk/; revision=9391
2007-10-01 19:47:53 +00:00
Yury G. Kudryashov 7d9d5b1484 Added redland library (also known as librdf)
svn path=/nixpkgs/trunk/; revision=9390
2007-10-01 15:14:50 +00:00
Yury G. Kudryashov 889baf5551 Added exiv2-0.15 library
svn path=/nixpkgs/trunk/; revision=9389
2007-10-01 15:12:41 +00:00
Yury G. Kudryashov ce6aef6574 Added cyrus-sasl-2.1.22 with openssl
svn path=/nixpkgs/trunk/; revision=9388
2007-10-01 15:11:38 +00:00
Yury G. Kudryashov b11756b9e4 Added cppunit (kde4 needs it)
svn path=/nixpkgs/trunk/; revision=9387
2007-10-01 15:09:29 +00:00
Yury G. Kudryashov 82b608d93f Added optional unicode support to pcre. Building old (non-unicode) package by
default.

svn path=/nixpkgs/trunk/; revision=9386
2007-10-01 15:07:55 +00:00
Michael Raskin 1994bd5b6a Some corrections to 2.6.23-rc8; builds now
svn path=/nixpkgs/trunk/; revision=9383
2007-09-28 20:34:48 +00:00
Michael Raskin 0274e5e95a Added something like linux_2_6_23. Really -rc8. Rationale:
1. Not to forget all the systemKernel choices.
2. To learn new problems, so that adding actual 2.6.23 will be easily done.

svn path=/nixpkgs/trunk/; revision=9381
2007-09-28 09:56:47 +00:00
Michael Raskin 2c2a03a2b8 Finally added sane way to add mutiple kernel options without hacking all-packages.nix..
svn path=/nixpkgs/trunk/; revision=9378
2007-09-27 19:12:52 +00:00
Eelco Dolstra aae986fcf9 * Linux 2.6.22.9.
svn path=/nixpkgs/trunk/; revision=9377
2007-09-27 15:57:01 +00:00
Michael Raskin 3dc3021d01 Renamed replace executable to replace-literal (Yurii Kudryashov noticed conflict with MySQL)
svn path=/nixpkgs/trunk/; revision=9376
2007-09-27 14:48:09 +00:00
Eelco Dolstra d4d6b5424d * Chatzilla 0.9.78.1.
svn path=/nixpkgs/trunk/; revision=9374
2007-09-26 18:46:43 +00:00
Michael Raskin dd9777e091 Added some more kernel options advised by PowerTOP.
svn path=/nixpkgs/trunk/; revision=9373
2007-09-26 03:13:37 +00:00
Michael Raskin 8036507a29 Added maxima
svn path=/nixpkgs/trunk/; revision=9372
2007-09-26 00:19:26 +00:00
Michael Raskin dd5daab9d1 Options for kernel and checker for configuration.nix
svn path=/nixpkgs/trunk/; revision=9371
2007-09-25 19:03:07 +00:00
Wouter den Breejen 218ec9ae8b Updated nvidia drivers. (maybe this fixes occasional blackscreens and freezes)
svn path=/nixpkgs/trunk/; revision=9368
2007-09-24 14:28:52 +00:00
Michael Raskin 13551216b3 Corrected synaptics.
svn path=/nixpkgs/trunk/; revision=9365
2007-09-24 08:59:29 +00:00
Michael Raskin 43e0727f04 corrected /dev/null patch
svn path=/nixpkgs/trunk/; revision=9363
2007-09-23 18:05:11 +00:00
Michael Raskin 2c25696b76 Returned timidity and its expression with a last-minute-fix..
svn path=/nixpkgs/trunk/; revision=9362
2007-09-23 16:28:56 +00:00
Armijn Hemel 8edbf115d0 outcomment timidity, since the expressions for it seem to be missing
svn path=/nixpkgs/trunk/; revision=9361
2007-09-23 16:03:07 +00:00
Marc Weber aec8aa6ed1 sorry for the typo
svn path=/nixpkgs/trunk/; revision=9360
2007-09-23 15:17:30 +00:00
Michael Raskin e163ec6ebe Added TiMidity MIDI renderer
svn path=/nixpkgs/trunk/; revision=9359
2007-09-23 14:47:11 +00:00
Armijn Hemel e0d357058b add powertop (www.linuxpowertop.org)
svn path=/nixpkgs/trunk/; revision=9358
2007-09-23 10:59:54 +00:00
Eelco Dolstra 3595fc845d * Fixed gnuplotX.
svn path=/nixpkgs/trunk/; revision=9357
2007-09-22 23:18:55 +00:00
Yury G. Kudryashov 53bd841c1b mirrors: sf: alias for sourceforge
svn path=/nixpkgs/trunk/; revision=9356
2007-09-22 19:59:31 +00:00
Marc Weber fff189ae08 xclip added
svn path=/nixpkgs/trunk/; revision=9355
2007-09-21 21:40:23 +00:00
Eelco Dolstra ebacd32b71 * Added libgd.
* gnuplot 4.2.2.

svn path=/nixpkgs/trunk/; revision=9354
2007-09-21 20:43:43 +00:00
Eelco Dolstra 23f2a18677 * KDE 3.5.7.
* Mirror scheme "mirror://kde/".

svn path=/nixpkgs/trunk/; revision=9353
2007-09-21 13:07:25 +00:00
Marc Weber ec3c6e932a Thanks urkud for pointing me to the wrong implementation of PATH_DELIMITER - fixed
svn path=/nixpkgs/trunk/; revision=9352
2007-09-20 21:06:26 +00:00
Yury G. Kudryashov b840189493 Added prefixKey to stdenv/generic/setup-new-2.sh
Now you can write prefixKey="-prefix " and "-prefix ${out}" will be inserted in
configureFlags (instead of "--prefix ${out}").

svn path=/nixpkgs/trunk/; revision=9351
2007-09-20 19:52:38 +00:00
Yury G. Kudryashov ffeb95502d Added dbus variant with X support
Default is the old variant (without X).

svn path=/nixpkgs/trunk/; revision=9350
2007-09-20 19:40:22 +00:00
Yury G. Kudryashov b6b6888765 cmake hooks changed
svn path=/nixpkgs/trunk/; revision=9349
2007-09-20 19:27:55 +00:00
Yury G. Kudryashov ad5847f250 shared-mime-info: URL corrected & upgrade to 0.22
svn path=/nixpkgs/trunk/; revision=9348
2007-09-20 19:18:55 +00:00
Michael Raskin de45e0e929 svn path=/nixpkgs/trunk/; revision=9347 2007-09-20 18:25:43 +00:00
Wouter den Breejen b67ce21440 Added auctex from mailing list
svn path=/nixpkgs/trunk/; revision=9345
2007-09-20 11:32:20 +00:00