Commit graph

4126 commits

Author SHA1 Message Date
Yury G. Kudryashov d1781e4b41 Add pdftops CUPS filter
I've packaged this as a separate expression because it depends on poppler (why
don't they look for pdftops on runtime?..).

svn path=/nixpkgs/trunk/; revision=25124
2010-12-14 13:30:17 +00:00
Yury G. Kudryashov b93fed7f31 poppler-0.14.5
svn path=/nixpkgs/trunk/; revision=25122
2010-12-14 13:30:06 +00:00
Eelco Dolstra 975ec6c177 * Added PostgreSQL 9.0.1.
svn path=/nixpkgs/trunk/; revision=25106
2010-12-13 21:55:34 +00:00
Ludovic Courtès 532e844a0c Fix `binutilsCross'.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25094
2010-12-13 08:04:14 +00:00
Ludovic Courtès ac9fac1ba1 GNU Binutils 2.21.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25091
2010-12-12 23:35:16 +00:00
Ludovic Courtès 2ad6c9c6c2 Parted (cross-GNU): Only refer to `.hostDrv' when cross-building.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25090
2010-12-12 23:35:10 +00:00
Ludovic Courtès 65e0e4dd68 GNU Hurd: Add dependency on Parted.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25089
2010-12-12 23:21:42 +00:00
Ludovic Courtès ef8619b4b2 GNU Parted: Allow cross-GNU builds.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25088
2010-12-12 23:21:35 +00:00
Ludovic Courtès 0847b74a2c libuuid: Fix cross-GNU builds.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25087
2010-12-12 23:21:29 +00:00
Michael Raskin d922bfcfc2 Making the current versions of flex/bison the default. Evaluation test passes. Please explicitly pass older versions to any package that can be adversely affected by too-fresh versions.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25086
2010-12-12 21:48:29 +00:00
Marco Maggesi f3eb5769ca * Add ocamlnet
svn path=/nixpkgs/trunk/; revision=25072
2010-12-12 17:53:13 +00:00
Lluís Batlle i Rossell e949c432a2 Fixing the evaluation of eval-release.nix. I don't understand why, but something ends up
evaluating glibc.hostDrv.


svn path=/nixpkgs/branches/stdenv-updates/; revision=25070
2010-12-12 17:07:54 +00:00
Lluís Batlle i Rossell a000072893 Adding evopedia. Contributed by Joachim Schiele.
svn path=/nixpkgs/trunk/; revision=25066
2010-12-11 22:04:13 +00:00
Marco Maggesi ba8bc4dd33 * Add ocaml-sqlite3
svn path=/nixpkgs/trunk/; revision=25065
2010-12-11 15:05:26 +00:00
Marco Maggesi acbc67e004 * Put ocaml 3.12.0 at lower priority because it is not tested very much yet
svn path=/nixpkgs/trunk/; revision=25063
2010-12-11 14:39:49 +00:00
Lluís Batlle i Rossell ee04ffcb55 Updating from trunk. I resolved simple conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
2010-12-11 12:47:00 +00:00
Eelco Dolstra 97d4a54698 * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 also
gives random "database image is malformed" errors.

svn path=/nixpkgs/trunk/; revision=25050
2010-12-10 10:22:23 +00:00
Tobias Hammerschmidt 4c9fe18b8a broadcom wireless driver - patch by Vladimír Čunát
svn path=/nixpkgs/trunk/; revision=25044
2010-12-09 19:05:19 +00:00
Marco Maggesi ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
Marco Maggesi 114fa21c48 * Add ocaml 3.12.0
svn path=/nixpkgs/trunk/; revision=25040
2010-12-09 14:03:13 +00:00
Eelco Dolstra 41cffbd0c3 * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed
disk image" errors.

svn path=/nixpkgs/trunk/; revision=25023
2010-12-07 12:03:07 +00:00
Lluís Batlle i Rossell 09bcba17f5 Adding the nanonote openwrt 2.6.36 kernel
svn path=/nixpkgs/branches/stdenv-updates/; revision=25005
2010-12-06 15:30:19 +00:00
Eelco Dolstra bf0fa02bff * Fix the GRUB 1 build on x86_64-linux. It didn't build because
gcc43_multi is broken in the stdenv branch.  However, for GRUB 1 we
  can just use the 32-bit build of GRUB (using callPackage_i686).

svn path=/nixpkgs/branches/stdenv-updates/; revision=25003
2010-12-06 14:25:58 +00:00
Yury G. Kudryashov c87a2ea713 Add Netlink library
svn path=/nixpkgs/trunk/; revision=24996
2010-12-06 12:04:36 +00:00
Yury G. Kudryashov eeda98a673 Remove qt-4.5
svn path=/nixpkgs/trunk/; revision=24991
2010-12-06 12:04:09 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP
svn path=/nixpkgs/trunk/; revision=24983
2010-12-05 19:11:21 +00:00
Michael Raskin 242d04a69a Adding Singular CAS
svn path=/nixpkgs/trunk/; revision=24980
2010-12-05 18:36:07 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
2010-12-05 17:28:41 +00:00
Michael Raskin c9c133ab11 Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)
svn path=/nixpkgs/trunk/; revision=24972
2010-12-05 11:42:24 +00:00
Lluís Batlle i Rossell 1b62c9c061 I made changes to achieve a working cross-built gcc wrapper. Now,
"gcc45.hostDrv" works in the host system, together with libc, binutils, dynamic
linker, ...


svn path=/nixpkgs/branches/stdenv-updates/; revision=24971
2010-12-04 21:45:37 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin 86e44e72bf Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Lluís Batlle i Rossell b5f1600e49 Fixing the build of dev86 (it does not like gnumake 3.82)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24940
2010-11-30 14:46:07 +00:00
Michael Raskin f5e7bc623f Adding crrcsim model airplane flight simulator
svn path=/nixpkgs/trunk/; revision=24931
2010-11-29 21:12:53 +00:00
Michael Raskin cfce1c0b98 Adding GL-117
svn path=/nixpkgs/trunk/; revision=24930
2010-11-29 20:51:09 +00:00
Peter Simons 50a167ba7b pkgs/shells/ipython: added initial version of ipython 0.10.1
Committing on behalf of Cillian de Róiste <cillian.deroiste@gmail.com>.

svn path=/nixpkgs/trunk/; revision=24928
2010-11-29 18:04:56 +00:00
Lluís Batlle i Rossell ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
2010-11-29 18:03:03 +00:00
Ludovic Courtès 0d122e7c6f OProfile: Add dependency on zlib.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24925
2010-11-29 17:42:50 +00:00
Eelco Dolstra aa01c8abd6 * Added xdelta.
svn path=/nixpkgs/trunk/; revision=24907
2010-11-28 16:37:48 +00:00
Michael Raskin a095746651 Add stardust
svn path=/nixpkgs/trunk/; revision=24905
2010-11-28 13:16:47 +00:00
Tobias Hammerschmidt 1db5a9df76 added tmux
svn path=/nixpkgs/trunk/; revision=24904
2010-11-28 12:38:35 +00:00
Evgeny Egorochkin 51492e5533 openbox: packaged. Patch by rixed@happyleptic.org.
svn path=/nixpkgs/trunk/; revision=24902
2010-11-28 10:07:49 +00:00
Evgeny Egorochkin 676562ac15 encfs: packaged. Patch by Ambrus Kaposi.
svn path=/nixpkgs/trunk/; revision=24900
2010-11-28 09:59:13 +00:00
Evgeny Egorochkin b89f2ef1e4 system-config-printer: fix runtime errors. Patch by Karn Kallio.
svn path=/nixpkgs/trunk/; revision=24899
2010-11-28 09:46:51 +00:00
Evgeny Egorochkin 5e994b9153 ekiga: fix build failure. Patch by Karn Kallio.
svn path=/nixpkgs/trunk/; revision=24897
2010-11-28 09:21:36 +00:00
Michael Raskin 94585b9776 Add CGUI library
svn path=/nixpkgs/trunk/; revision=24894
2010-11-27 19:38:34 +00:00
Michael Raskin e5137b9bbf Adding atanks
svn path=/nixpkgs/trunk/; revision=24893
2010-11-27 19:18:22 +00:00
Michael Raskin ec741fee8c Adding Allegro library
svn path=/nixpkgs/trunk/; revision=24891
2010-11-27 18:31:05 +00:00
Tobias Hammerschmidt 57c1632f11 added flvstreamer
svn path=/nixpkgs/trunk/; revision=24884
2010-11-26 20:04:07 +00:00
Lluís Batlle i Rossell e18cbe33e6 Adding a fbterm variant building with stdenv to get cross-build-ability
(I want it in the nanonote)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24880
2010-11-26 17:56:23 +00:00
Lluís Batlle i Rossell 0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell 5387036c50 Adding php 5.2 (5.3 does not build on arm), although not the default in the attribute 'php'.
svn path=/nixpkgs/trunk/; revision=24872
2010-11-26 14:26:15 +00:00
Rob Vermaas 0c455b53ac gettext, now properly
svn path=/nixpkgs/trunk/; revision=24869
2010-11-26 12:38:42 +00:00
Rob Vermaas b37f799732 gettext, now properly
svn path=/nixpkgs/branches/stdenv-updates/; revision=24868
2010-11-26 12:38:09 +00:00
Rob Vermaas 8d9d42f773 add gettext_0_17, gettext_0_18 aliases to gettext, preparation for stdenv merge, concerning gnu hydra build configuration
svn path=/nixpkgs/branches/stdenv-updates/; revision=24867
2010-11-26 12:34:46 +00:00
Rob Vermaas 4db5a0b5a9 add gettext_0_17 alias to gettext, preparation for stdenv merge, concerning gnu hydra build configuration
svn path=/nixpkgs/trunk/; revision=24866
2010-11-26 12:33:48 +00:00
Lluís Batlle i Rossell 4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
Michael Raskin 5af12418ef Pass parameters with correct arch to DF
svn path=/nixpkgs/trunk/; revision=24843
2010-11-24 20:05:43 +00:00
Michael Raskin 81fd05cdd3 Dwarf fortress asserts the need for i686-linux; give it to it even on amd64
svn path=/nixpkgs/trunk/; revision=24842
2010-11-24 20:02:35 +00:00
Michael Raskin 823f34a075 Adding Anonymous Pro font
svn path=/nixpkgs/trunk/; revision=24840
2010-11-24 11:51:50 +00:00
Michael Raskin a94fc3966d Add inconsolata font
svn path=/nixpkgs/trunk/; revision=24839
2010-11-24 11:19:38 +00:00
Michael Raskin 31b22ed108 Merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
2010-11-23 08:57:29 +00:00
Michael Raskin 9813c8feb6 Adding untie - a tool for manipulating namespaces
svn path=/nixpkgs/trunk/; revision=24819
2010-11-23 07:52:57 +00:00
Michael Raskin 6162fffede Adding IOtop
svn path=/nixpkgs/trunk/; revision=24818
2010-11-23 07:46:18 +00:00
Lluís Batlle i Rossell 8cd20e6f61 Adding valkyrie, a frontend for some valgrind 3.6 tools.
svn path=/nixpkgs/trunk/; revision=24815
2010-11-22 19:10:15 +00:00
Rob Vermaas 1c86c832c1 add google v8 engine
svn path=/nixpkgs/trunk/; revision=24809
2010-11-22 14:23:06 +00:00
Michael Raskin 6af8a1debd Merging from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
2010-11-22 11:39:42 +00:00
Michael Raskin 6a9414d938 Adding dd_rescue - this is not the same as GNU ddrescue which has not been updated for a long time
svn path=/nixpkgs/trunk/; revision=24801
2010-11-22 08:40:10 +00:00
Lluís Batlle i Rossell 13a8b34a81 Fix for a syscall restart bug on linux-mips
svn path=/nixpkgs/branches/stdenv-updates/; revision=24791
2010-11-21 15:26:36 +00:00
Lluís Batlle i Rossell 79c06ac912 Updating qemu
svn path=/nixpkgs/trunk/; revision=24784
2010-11-20 14:48:23 +00:00
Rob Vermaas db8748b170 added eclipse 3.6.1, maven3, szip
svn path=/nixpkgs/trunk/; revision=24772
2010-11-19 13:24:11 +00:00
Eelco Dolstra 165a3df7f5 * Update nixSqlite.
svn path=/nixpkgs/trunk/; revision=24764
2010-11-19 10:39:48 +00:00
Michael Raskin fb58f74d82 Updating from trunk again
svn path=/nixpkgs/branches/stdenv-updates/; revision=24745
2010-11-17 17:03:09 +00:00
Evgeny Egorochkin 61e9a549f6 cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>.
svn path=/nixpkgs/trunk/; revision=24739
2010-11-17 15:20:57 +00:00
Peter Simons 63f114c3dd This patch adds the cmus console music player.
svn path=/nixpkgs/trunk/; revision=24738
2010-11-17 15:03:12 +00:00
Ludovic Courtès 44c11bdf47 Fiddle with priorities to provide a smoother upgrade path.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24726
2010-11-17 10:43:04 +00:00
Ludovic Courtès d3c50a23f4 SuperTuxKart: Use GNU Make 3.81.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24725
2010-11-17 10:43:00 +00:00
Rob Vermaas de68a76cf8 added netcdf-4.1.1
svn path=/nixpkgs/trunk/; revision=24722
2010-11-17 10:05:46 +00:00
Michael Raskin 52ea4804e2 Correctly override cairo for firefox 4.0 beta
svn path=/nixpkgs/trunk/; revision=24715
2010-11-16 23:19:08 +00:00
Michael Raskin e59ddf7bcb Update Cairo, Pixman; update FF4beta - still broken, cannot pass fresh cairo correctly to it yet
svn path=/nixpkgs/trunk/; revision=24714
2010-11-16 21:05:54 +00:00
Michael Raskin 1b4fe21978 Use FPC 2.4.0 for Lazarus
svn path=/nixpkgs/trunk/; revision=24705
2010-11-15 21:10:18 +00:00
Andres Löh feecbd4ee3 Trying to fix priorities of various GHC/Haskell package versions.
svn path=/nixpkgs/trunk/; revision=24701
2010-11-15 20:28:42 +00:00
Lluís Batlle i Rossell b9c159416c Adding keepnote
svn path=/nixpkgs/trunk/; revision=24695
2010-11-15 19:44:53 +00:00
Evgeny Egorochkin b9b7665edd lshw: Packaged
svn path=/nixpkgs/trunk/; revision=24688
2010-11-15 09:52:57 +00:00
Evgeny Egorochkin 2e516fab70 Gemrb: replace the ugly workaround with a less ugly one.
svn path=/nixpkgs/trunk/; revision=24684
2010-11-14 08:57:49 +00:00
Tobias Hammerschmidt 1314fde101 wesnoth 1.8.5 (patch by Karn Kallio)
svn path=/nixpkgs/trunk/; revision=24682
2010-11-13 11:50:43 +00:00
Evgeny Egorochkin 5029db2160 Spring RTS: packaged along with its deps and utils: libDevIL, libtorrent-rasterbar, spring-lobby.
svn path=/nixpkgs/trunk/; revision=24681
2010-11-13 07:47:04 +00:00
Lluís Batlle i Rossell 8746de3ae8 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Michael Raskin e870391644 Adding acpi-call
svn path=/nixpkgs/trunk/; revision=24668
2010-11-11 22:00:57 +00:00
Rob Vermaas 523c1de575 re-add gettext 0.17
svn path=/nixpkgs/branches/stdenv-updates/; revision=24663
2010-11-11 14:42:35 +00:00
Michael Raskin eed53122c1 Remove ttmkfdir reference
svn path=/nixpkgs/trunk/; revision=24659
2010-11-11 12:27:39 +00:00
Ludovic Courtès 1410156f2a OpenOffice.org 3.2.1.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24644
2010-11-10 16:22:29 +00:00
Rob Vermaas 5e70f43ead reinstate gmp 4.3.1 for i686-darwin (like in trunk)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24641
2010-11-10 15:05:18 +00:00
Michael Raskin d19aa61253 Update Botan
svn path=/nixpkgs/trunk/; revision=24639
2010-11-10 14:48:42 +00:00
Ludovic Courtès 0ef4e570c8 OpenOffice.org: Build with GCC 4.4.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24636
2010-11-10 09:30:03 +00:00
Ludovic Courtès c317c7f4bd GNU grep: Fix build on non-GNU platforms.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24627
2010-11-09 13:12:31 +00:00
Ludovic Courtès 9e46c5b3e2 Fix libcanberra.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24625
2010-11-09 09:14:16 +00:00
Ludovic Courtès a09b3a9d0a Fix GNU Emacs 22.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24624
2010-11-09 09:14:12 +00:00
Ludovic Courtès 7ecc652da4 Re-add GNU Make 3.81.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24623
2010-11-09 09:14:07 +00:00
Evgeny Egorochkin 55be5106fd Amule, Quassel: use appendToName to provide different names for common/named overrides.
svn path=/nixpkgs/trunk/; revision=24622
2010-11-08 23:45:58 +00:00
Marco Maggesi caf0e7209a Add CMUCL Common Lisp compiler
svn path=/nixpkgs/trunk/; revision=24618
2010-11-08 08:58:50 +00:00
Lluís Batlle i Rossell 6e1659b7d1 I also had forgot to enable opengl support in SDL.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24616
2010-11-07 21:55:01 +00:00
Lluís Batlle i Rossell 7f6469fd44 Enabling x11Support in SDL. I think I had committed in error the x11Support = false at some point.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24613
2010-11-07 21:17:23 +00:00
Michael Raskin 384eefe26b Adding andagii font
svn path=/nixpkgs/trunk/; revision=24610
2010-11-06 09:45:13 +00:00
Marco Maggesi 0430167083 Update Coq
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
Michael Raskin 2db7a9dfbd Add stalonetray
svn path=/nixpkgs/trunk/; revision=24595
2010-11-04 08:28:24 +00:00
Eelco Dolstra a2102af6df * buildEnv: use $SHELL (i.e. bash) rather than /bin/sh. This allows
NixOS VM tests to be built on Ubuntu, where /bin/sh is dash rather
  than bash.

svn path=/nixpkgs/trunk/; revision=24592
2010-11-03 22:37:00 +00:00
Piotr Pietraszkiewicz be71209dd3 added bibletime - a Bible study tool
svn path=/nixpkgs/trunk/; revision=24587
2010-11-03 20:42:26 +00:00
Piotr Pietraszkiewicz f540277f97 added the sword framework
svn path=/nixpkgs/trunk/; revision=24586
2010-11-03 20:36:36 +00:00
Yury G. Kudryashov 3baea16bc6 Add guitone.
It compiles. Haven't checked whether it works.

svn path=/nixpkgs/trunk/; revision=24566
2010-11-02 12:23:01 +00:00
Sander van der Burg 76e26dd7a1 - Renamed DisnixService => DisnixWebService
- Updated to latest unstable version


svn path=/nixpkgs/trunk/; revision=24559
2010-11-01 17:33:24 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00
Ludovic Courtès eb40c213dd Add Tokyo Cabinet, a key-value database that performs better.
svn path=/nixpkgs/trunk/; revision=24548
2010-10-30 21:44:29 +00:00
Ludovic Courtès b6072abeac Add Google's Protocol Buffers.
svn path=/nixpkgs/trunk/; revision=24547
2010-10-30 21:44:22 +00:00
Michael Raskin d0251d68df Give Bison 2.4, Flex 2.5.35 to Nix
svn path=/nixpkgs/trunk/; revision=24542
2010-10-30 12:14:20 +00:00
Michael Raskin 9a6c3e6fe9 Nix trunk requires pkgconfig
svn path=/nixpkgs/trunk/; revision=24541
2010-10-30 12:01:02 +00:00
Michael Raskin 9af1c42473 Pass BoehmGC to Nix
svn path=/nixpkgs/trunk/; revision=24540
2010-10-30 11:21:06 +00:00
Russell O'Connor cb72dd1ba8 Dwarf Fortress
The wrapper script works by creating an image of the distribution in the users home directory
(defaulting to $HOME/.config/df_linux).  This is done because the program expects to write
state into it's own distribution.

Better ideas are welcome!

What further is needed is to allow users to configure the init.  One way is to use nix-config
to apply patches to the init.txt file, though this would break sharing of the package between
different users.


svn path=/nixpkgs/trunk/; revision=24538
2010-10-30 06:00:44 +00:00
Eelco Dolstra 8aa38f953c * Get Teamspeak 3 to work. This is the x86_64-linux build, I'll add
i686-linux later.

svn path=/nixpkgs/trunk/; revision=24516
2010-10-28 17:45:18 +00:00
Peter Simons 7ec0584160 Added fileschanged version 0.6.9.
svn path=/nixpkgs/trunk/; revision=24511
2010-10-28 11:10:09 +00:00
Lluís Batlle i Rossell fdc0738e0b Adding lxc userland tools.
svn path=/nixpkgs/trunk/; revision=24502
2010-10-26 21:11:47 +00:00
Lluís Batlle i Rossell f823e5c4ef Removing some lines I committed by accident
svn path=/nixpkgs/branches/stdenv-updates/; revision=24501
2010-10-26 21:08:35 +00:00
Eelco Dolstra 85a0cd1385 * A better fix for the Xen clock problem.
svn path=/nixpkgs/trunk/; revision=24488
2010-10-26 13:08:51 +00:00
Peter Simons 4f784157f1 pkgs/development/tools/misc/distcc: allow users to override sysconfdir
svn path=/nixpkgs/trunk/; revision=24486
2010-10-26 11:14:40 +00:00
Eelco Dolstra 5762edd607 * Linux 2.6.32: revert upstream patch
489fb490dbf8dab0249ad82b56688ae3842a79e8.  It causes the DomU clock
  to jump into the future and freeze after being saved and restored
  across a Dom0 reboot.  See 

    http://lists.xensource.com/archives/html/xen-devel/2010-10/msg00498.html
    http://lists.xensource.com/archives/html/xen-devel/2010-10/msg01174.html

svn path=/nixpkgs/trunk/; revision=24473
2010-10-25 16:36:42 +00:00
Peter Simons ef4a03f3da Moved tools/misc/psmisc to os-specific/linux/psmisc.
svn path=/nixpkgs/trunk/; revision=24469
2010-10-25 14:38:37 +00:00
Michael Raskin ec500ae264 Add libfixposix
svn path=/nixpkgs/trunk/; revision=24462
2010-10-25 05:52:13 +00:00
Lluís Batlle i Rossell d6f4a6d968 Updating eaglemode.
svn path=/nixpkgs/trunk/; revision=24456
2010-10-24 21:27:31 +00:00
Lluís Batlle i Rossell 0cb7f90cac Adding caneda
svn path=/nixpkgs/trunk/; revision=24450
2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell 227c632d18 Adding qucs
svn path=/nixpkgs/trunk/; revision=24449
2010-10-24 17:00:57 +00:00
Michael Raskin 65ec046a15 Fix uzbl build
svn path=/nixpkgs/trunk/; revision=24440
2010-10-23 20:54:07 +00:00
Lluís Batlle i Rossell 3592b9a796 Adding unarj
svn path=/nixpkgs/trunk/; revision=24430
2010-10-23 14:55:14 +00:00
Lluís Batlle i Rossell 6dc839d344 Merging from trunk. I resolved some conflicts; I hope that well.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24429
2010-10-23 14:52:21 +00:00
Lluís Batlle i Rossell 327a2eae30 Changing the 'enableAdobeFlash' firefox/icecat wrapper option, so its negative
value does not mean "install gnash". I added an enableGnash check instead.

I've kept the default of Adobe Flash.

svn path=/nixpkgs/trunk/; revision=24428
2010-10-23 14:42:36 +00:00
Eelco Dolstra 2677562f8c * Remove Compiz Fusion (obsolete).
svn path=/nixpkgs/trunk/; revision=24414
2010-10-22 11:00:02 +00:00
Michael Raskin fb8e4c950f Adding fdm
svn path=/nixpkgs/trunk/; revision=24409
2010-10-21 22:03:36 +00:00
Peter Simons 7b630f442c Added an expression for mod_wsgi-3.3, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24408
2010-10-21 15:39:58 +00:00
Peter Simons c7a87b1669 Added an expression for mod_fastcgi-2.4.6, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24406
2010-10-21 15:39:48 +00:00
Michael Raskin ac19af507f Adding Linux 2.6.36
svn path=/nixpkgs/trunk/; revision=24403
2010-10-21 12:28:14 +00:00
Peter Simons 5019f883f3 pkgs/tools/text/recode: added (heavily patched) version 3.6
svn path=/nixpkgs/trunk/; revision=24384
2010-10-20 13:05:49 +00:00
Rob Vermaas 202774b93e added ftgl, gource
svn path=/nixpkgs/trunk/; revision=24379
2010-10-20 10:53:45 +00:00
Eelco Dolstra f58a799695 * Updated Compiz to 0.8.6 (replacing the old Compiz and Compiz Fusion
expressions).  Also added patches to allow Compiz and ccsm to find
  plugins installed outside of its prefix.

svn path=/nixpkgs/trunk/; revision=24373
2010-10-19 23:22:24 +00:00
Ludovic Courtès c75c5a5991 Add MP3Info, an MP3 tag editor.
svn path=/nixpkgs/trunk/; revision=24363
2010-10-19 13:19:59 +00:00
Ludovic Courtès ce292f38f9 Add IcedTea.
This is an old attempt at making it work.  Help welcome!

svn path=/nixpkgs/trunk/; revision=24360
2010-10-19 08:19:46 +00:00
Yury G. Kudryashov c55c317e24 Fix evaluation
svn path=/nixpkgs/trunk/; revision=24349
2010-10-18 12:18:07 +00:00
Sander van der Burg 0cc4ca1fcd Changed my dirty libiconv hacks I once made for i686-freebsd, into a more consistent manner by checking for a non-Linux platform in the build expressions. Hopefully, this increases portability for non-Linux platforms
svn path=/nixpkgs/trunk/; revision=24347
2010-10-18 11:30:44 +00:00
Yury G. Kudryashov 4f27541261 Advance k3b version to 2.0.1.
Submitted by Karn Kallio

svn path=/nixpkgs/trunk/; revision=24338
2010-10-18 09:48:32 +00:00
Michael Raskin bc73cd0f7e Add ripmime - MIME attachment extractor tool
svn path=/nixpkgs/trunk/; revision=24337
2010-10-18 09:43:17 +00:00
Michael Raskin b2e9e9757c Adding philter mail sorter
svn path=/nixpkgs/trunk/; revision=24336
2010-10-18 05:33:31 +00:00
Michael Raskin e53d966a21 Add getmail
svn path=/nixpkgs/trunk/; revision=24334
2010-10-17 19:30:59 +00:00
Yury G. Kudryashov c703c1d560 hspell (another KDE dependency)
svn path=/nixpkgs/trunk/; revision=24331
2010-10-17 18:44:00 +00:00
Ludovic Courtès 80fee739e2 GNU Automake: Default to 1.11.x.
svn path=/nixpkgs/trunk/; revision=24299
2010-10-15 12:09:10 +00:00
Eelco Dolstra 1758b488e6 * Some hackery to make the split KDE packages available both
individually and combined.  For instance, you can say

    environment.systemPackages = [ pkgs.kde4.kdesdk.kcachegrind ];

  for just kcachegrind, or 

    environment.systemPackages = [ pkgs.kde4.kdesdk ];

  to get all of kdesdk.  Everything can also be installed by name
  through nix-env.  (There is a name clash between the ColorSchemes
  packages in kdeaccessibility and kdeartwork, though.)

svn path=/nixpkgs/trunk/; revision=24294
2010-10-14 16:49:41 +00:00
Evgeny Egorochkin 66e7ed0a89 IPW2100 Firmware: Packaged
svn path=/nixpkgs/trunk/; revision=24283
2010-10-14 12:12:27 +00:00
Evgeny Egorochkin cd9d20d2e7 incrTcl: packaged
svn path=/nixpkgs/trunk/; revision=24279
2010-10-14 11:54:13 +00:00
Evgeny Egorochkin 5a4bc5b072 URT library: packaged
svn path=/nixpkgs/trunk/; revision=24278
2010-10-14 11:54:06 +00:00
Evgeny Egorochkin 0dfc76901b JaMa library: packaged
svn path=/nixpkgs/trunk/; revision=24277
2010-10-14 11:53:59 +00:00
Evgeny Egorochkin 41ff904b91 TNT library: packaged
svn path=/nixpkgs/trunk/; revision=24276
2010-10-14 11:53:53 +00:00
Michael Raskin dc1f986944 Remove libcv; reference opencv instead.
svn path=/nixpkgs/trunk/; revision=24272
2010-10-14 10:45:36 +00:00
Michael Raskin 494ba6a813 Add unicap
svn path=/nixpkgs/trunk/; revision=24271
2010-10-14 10:10:45 +00:00
Michael Raskin ae55f51ab6 Add missing XRender buildinputs for WebKit
svn path=/nixpkgs/trunk/; revision=24265
2010-10-13 13:11:50 +00:00
Michael Raskin 68324f8d09 Pass needed "which" to WebKit
svn path=/nixpkgs/trunk/; revision=24261
2010-10-13 11:53:58 +00:00
Eelco Dolstra cdb8d4dfc8 * Typo.
svn path=/nixpkgs/trunk/; revision=24253
2010-10-12 22:03:37 +00:00
Lluís Batlle i Rossell 57df19fe85 utf-8 was not working in cross-built ncurses programs due to some old problem
cross-building ncursesw not present anymore. I reenable unicode cross-building.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24245
2010-10-12 19:06:04 +00:00
Lluís Batlle i Rossell 18372e5a56 Reverting the patch that disabled using the 'binutils snapshot', because it's
needed for the fuloong minipc. It was not enough having the loongson2f patches;
only having the patches, we got troubles building cups with a segfault on the
dynamic loader running their 'genstrings' program.  And if sysvinit needs newer
binutils (I can't remember why, but I wrote it in the all-packages.nix before),
then let's use the snapshot.

As a note about "why this snapshot" (civodul was interested), when I knew that
we needed an unreleased version of binutils I went to download the snapshot of
the day. And it worked. This is all the story.

svn path=/nixpkgs/branches/stdenv-updates/; revision=24229
2010-10-11 23:18:00 +00:00
Yury G. Kudryashov 14d76affde Cleanup
svn path=/nixpkgs/trunk/; revision=24224
2010-10-11 19:59:22 +00:00
Yury G. Kudryashov 08adc088e5 Really switch to kde-4.5
svn path=/nixpkgs/trunk/; revision=24212
2010-10-11 07:11:19 +00:00
Eelco Dolstra 0fcf6e1f40 * Added xfce4-mixer. This requires gstreamer and gst-plugins-base.
* Allow gst-plugins-base to be built with a minimal set of dependencies
  (to prevent dependency bloat in Xfce).
* Updated gstreamer.

svn path=/nixpkgs/trunk/; revision=24207
2010-10-10 22:34:48 +00:00
Lluís Batlle i Rossell e7e103b8eb Updating from trunk (to catch cron changes)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24200
2010-10-10 11:44:28 +00:00
Yury G. Kudryashov d8d6ffefb6 Switch to kde-4.5 by default
svn path=/nixpkgs/trunk/; revision=24192
2010-10-10 07:39:01 +00:00
Michael Raskin 429ee87b89 Adding GNU barcode
svn path=/nixpkgs/trunk/; revision=24173
2010-10-08 08:48:34 +00:00
Michael Raskin 981e71fa3e Add FF4.0 beta 6
svn path=/nixpkgs/trunk/; revision=24172
2010-10-08 08:28:00 +00:00
Michael Raskin 9f5b63a7d1 Adding a top-level attribute for libpng-apng
svn path=/nixpkgs/trunk/; revision=24169
2010-10-08 05:58:00 +00:00
Lluís Batlle i Rossell bdb096bb92 Instead of using binutils snapshot for the loongson2f, let's use the released version + patches.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24164
2010-10-07 22:44:18 +00:00
Lluís Batlle i Rossell bf6f39fb7c Adding a patch fixing ARM trouble on the recent linux 2.6.35
svn path=/nixpkgs/branches/stdenv-updates/; revision=24158
2010-10-07 22:10:28 +00:00
Lluís Batlle i Rossell fca582bff0 Updating from trunk. I had to resolve the pcre and some stdenv2 in all-packages
svn path=/nixpkgs/branches/stdenv-updates/; revision=24155
2010-10-07 21:21:31 +00:00
Ludovic Courtès 40e57793f9 Add Check, a unit testing framework for C.
svn path=/nixpkgs/trunk/; revision=24127
2010-10-07 07:29:36 +00:00
Lluís Batlle i Rossell b7ce93bfc4 Making wxGTK28 use gtkLibs instead of the older gtkLibs218 (this gave trouble
when linking wxGTK28 programs with other glib based things like gstreamer, ...)

svn path=/nixpkgs/trunk/; revision=24117
2010-10-06 15:32:25 +00:00
Yury G. Kudryashov d25e79afec Pass pango to kmplayer
svn path=/nixpkgs/trunk/; revision=24095
2010-10-05 18:08:40 +00:00
Yury G. Kudryashov 673e66e3a3 Move most kde-extragear apps to top-level
svn path=/nixpkgs/trunk/; revision=24092
2010-10-05 17:44:33 +00:00
Yury G. Kudryashov d7d8f7d64f Force stdenv2 in kde4 scope
svn path=/nixpkgs/trunk/; revision=24090
2010-10-05 17:44:11 +00:00
Yury G. Kudryashov 739f82a526 Digikam-1.4.0, move to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24089
2010-10-05 17:44:05 +00:00
Yury G. Kudryashov bf340ad55a Move kipi-plugins to apps/graphics
svn path=/nixpkgs/trunk/; revision=24088
2010-10-05 17:43:57 +00:00
Eelco Dolstra 0bd5f00696 * Updated Tomcat to 5.0.27.
svn path=/nixpkgs/trunk/; revision=24066
2010-10-05 10:39:12 +00:00
Yury G. Kudryashov 1099a83b54 Make kadu build in chroot. TODO: re-enable icons
svn path=/nixpkgs/trunk/; revision=24064
2010-10-05 05:43:59 +00:00
Yury G. Kudryashov 67b5d732a2 Move kdevplatform and kdevelop to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24063
2010-10-05 05:43:39 +00:00
Ludovic Courtès bcba3664d9 Add U-Boot for the GuruPlug.
svn path=/nixpkgs/trunk/; revision=24060
2010-10-04 22:23:57 +00:00
Russell O'Connor b36f4c74bd openjade requires a version of opensp built with gcc33 in order to compile.
svn path=/nixpkgs/trunk/; revision=24057
2010-10-04 17:05:22 +00:00
Russell O'Connor 228303d47e Merging roconnor's and ludo' texmacs derivations.
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.

svn path=/nixpkgs/trunk/; revision=24054
2010-10-04 15:07:38 +00:00
Peter Simons a0bee2ae1b pkgs/top-level/all-packages.nix: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=24045
2010-10-04 09:49:25 +00:00
Peter Simons 600b4b7ee7 Moved "flup" from all-packages.nix into python-packages.nix.
svn path=/nixpkgs/trunk/; revision=24044
2010-10-04 09:49:09 +00:00
Evgeny Egorochkin ef403beb48 Gobby: rename to gobby5 because it's apparently still considered very new and incompatible with stable gobby4
svn path=/nixpkgs/trunk/; revision=24043
2010-10-04 04:15:55 +00:00
Evgeny Egorochkin c9ad6ec90a Packaged Gobby
svn path=/nixpkgs/trunk/; revision=24040
2010-10-04 04:15:23 +00:00
Lluís Batlle i Rossell cd4b54748a Updating from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24038
2010-10-03 09:25:34 +00:00
Lluís Batlle i Rossell 5032b693b2 Fix for mips64 for mldonkey (I'll submit it upstream)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24035
2010-10-03 09:18:44 +00:00
Lluís Batlle i Rossell 0c7429f8cc My attempts to build mldonkey on the fuloong
svn path=/nixpkgs/branches/stdenv-updates/; revision=24034
2010-10-03 09:18:31 +00:00
Lluís Batlle i Rossell bc92057a17 Making vim some configurable options go through getConfig.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24033
2010-10-03 09:18:14 +00:00
Russell O'Connor f947527f18 removing tsocks as it has been replaced by torsocks.
svn path=/nixpkgs/trunk/; revision=24013
2010-10-01 04:00:45 +00:00
Russell O'Connor 90aa3c3c3c New derivation for torsocks.
This will replace tsocks.


svn path=/nixpkgs/trunk/; revision=24011
2010-10-01 02:38:03 +00:00
Lluís Batlle i Rossell 1019692db7 Adding the game engine 'instead' and some games.
svn path=/nixpkgs/trunk/; revision=24009
2010-09-30 18:58:48 +00:00
Michael Raskin cffebf17a2 Add Git version of mdbtools - UCS-2 capable
svn path=/nixpkgs/trunk/; revision=24007
2010-09-30 16:50:37 +00:00
Eelco Dolstra 3cae924440 * Updated WebDSL.
* Made Stratego/XT 0.18 the default.

svn path=/nixpkgs/trunk/; revision=23994
2010-09-30 10:49:02 +00:00
Lluís Batlle i Rossell 7eb92a7821 Adding kadu
(patch by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23988
2010-09-28 22:37:44 +00:00
Lluís Batlle i Rossell cecffb9df5 Adding crack-attack
(patch sent by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23987
2010-09-28 22:37:27 +00:00
Andres Löh f6e3110b74 Preliminarily added ghc-7.0.1-rc1 and current HEAD.
svn path=/nixpkgs/trunk/; revision=23985
2010-09-28 13:48:22 +00:00
Evgeny Egorochkin a774549139 uni2ascii: packaged
Patch by Cillian de Róiste

svn path=/nixpkgs/trunk/; revision=23984
2010-09-28 09:48:15 +00:00
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
2010-09-28 09:33:56 +00:00
Evgeny Egorochkin 352b0de4a6 libctemplate: packaged.
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=23981
2010-09-28 09:33:42 +00:00
Evgeny Egorochkin e143b506e9 Taglib: packaged a pre-1.7 snapshot
svn path=/nixpkgs/trunk/; revision=23979
2010-09-28 09:33:28 +00:00
Yury G. Kudryashov 25de2c279b Split libcap package
libcap can be splitted for free (just cd subdir; make install).
So I've decided not to raise up disscussions "should we build cap_pam.so?" etc.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23967
2010-09-27 13:49:13 +00:00
Yury G. Kudryashov 5017cdb706 Add json-glib
svn path=/nixpkgs/trunk/; revision=23961
2010-09-27 11:18:28 +00:00
Yury G. Kudryashov b9fb4fee61 Move amarok from kde4. to applications/audio
svn path=/nixpkgs/trunk/; revision=23956
2010-09-26 19:40:30 +00:00
Yury G. Kudryashov 086945942d Add mutagen, upgrade libgpod
svn path=/nixpkgs/trunk/; revision=23955
2010-09-26 19:40:22 +00:00
Yury G. Kudryashov 842e80dd60 Add two lastfm libraries
svn path=/nixpkgs/trunk/; revision=23954
2010-09-26 19:40:15 +00:00
Yury G. Kudryashov f81af3dce0 Add libimobiledevice
svn path=/nixpkgs/trunk/; revision=23953
2010-09-26 19:40:07 +00:00
Yury G. Kudryashov cb623539b0 Add sg3_utils
svn path=/nixpkgs/trunk/; revision=23949
2010-09-26 19:39:42 +00:00
Yury G. Kudryashov 74abd6e9ad Add usbmuxd
svn path=/nixpkgs/trunk/; revision=23948
2010-09-26 19:39:35 +00:00
Yury G. Kudryashov 1eda454543 Add libmtp
svn path=/nixpkgs/trunk/; revision=23947
2010-09-26 19:39:28 +00:00
Yury G. Kudryashov 1f20ccb9e6 Add libplist
svn path=/nixpkgs/trunk/; revision=23946
2010-09-26 19:39:21 +00:00
Yury G. Kudryashov e04cdd1204 Add libusb-1.x
svn path=/nixpkgs/trunk/; revision=23945
2010-09-26 19:39:02 +00:00
Evgeny Egorochkin e41a0ef012 Flash player: part 2
svn path=/nixpkgs/trunk/; revision=23934
2010-09-26 05:05:24 +00:00
Evgeny Egorochkin e91ff5eabd Wine with patches for Warcraft 3
svn path=/nixpkgs/trunk/; revision=23933
2010-09-26 05:05:18 +00:00
Yury G. Kudryashov 58c09d0ff2 Move koffice to applications/office
svn path=/nixpkgs/trunk/; revision=23900
2010-09-22 18:04:55 +00:00
Yury G. Kudryashov 8e8662d828 Add libwpg
svn path=/nixpkgs/trunk/; revision=23898
2010-09-22 18:04:41 +00:00
Yury G. Kudryashov ca7165a043 Add xbase
svn path=/nixpkgs/trunk/; revision=23897
2010-09-22 18:04:34 +00:00
Evgeny Egorochkin 84a1800124 TSocks library: packaged
svn path=/nixpkgs/trunk/; revision=23890
2010-09-22 06:23:15 +00:00
Evgeny Egorochkin 7a607648dc KBluetooth: packaged
svn path=/nixpkgs/trunk/; revision=23889
2010-09-22 00:41:31 +00:00
Michael Raskin f82a0576ea Add ttf2pt1-cl-pdf which produces unicode maps for fonts
svn path=/nixpkgs/trunk/; revision=23883
2010-09-21 14:35:07 +00:00
Ludovic Courtès 332eca4ad9 Add Nix expression for Racket.
Patch by Karn Kallio <tierpluspluslists@gmail.com>.

svn path=/nixpkgs/trunk/; revision=23881
2010-09-21 12:31:11 +00:00
Evgeny Egorochkin 020cba6b98 Arora: packaged
svn path=/nixpkgs/trunk/; revision=23877
2010-09-20 22:16:16 +00:00
Evgeny Egorochkin 9c30b6d8cc Quassel: quick client fix
svn path=/nixpkgs/trunk/; revision=23871
2010-09-20 11:03:59 +00:00
Michael Raskin b383ca8d2a Add Vacuum IM
svn path=/nixpkgs/trunk/; revision=23870
2010-09-20 08:40:30 +00:00
Lluís Batlle i Rossell 812420fab6 Adding lxdvdrip (it builds, but I still don't know how to make it work)
svn path=/nixpkgs/trunk/; revision=23858
2010-09-18 16:29:07 +00:00
Evgeny Egorochkin 9f696ae43e Revert "Make kernel work for me". Committed this by accident.
This reverts commit 8a2cd2c99f26e5bd5c5a324e2a1712db8991379e.

svn path=/nixpkgs/trunk/; revision=23856
2010-09-18 16:22:04 +00:00
Evgeny Egorochkin 5bc3007bf6 Make kernel work for me
svn path=/nixpkgs/trunk/; revision=23855
2010-09-18 16:20:06 +00:00
Evgeny Egorochkin cfd73f3c41 Quassel: added convenience packages for daemon and client
svn path=/nixpkgs/trunk/; revision=23847
2010-09-18 11:26:35 +00:00
Evgeny Egorochkin fafcfa4f5f AMule: Convenience packages for daemon and clent
svn path=/nixpkgs/trunk/; revision=23846
2010-09-18 11:26:30 +00:00
Michael Raskin b2c555ee02 Add EQL (Embeddable Common Lisp + Qt)
svn path=/nixpkgs/trunk/; revision=23842
2010-09-17 19:52:50 +00:00
Lluís Batlle i Rossell 2221432acd Fixing one missed trouble coming from the merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=23841
2010-09-17 19:14:47 +00:00
Lluís Batlle i Rossell 2c5de61327 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
2010-09-17 19:10:21 +00:00
Ludovic Courtès 2739c3aa1e Update Nix unstable.
svn path=/nixpkgs/trunk/; revision=23832
2010-09-17 15:56:15 +00:00
Peter Simons 84302a3554 pkgs/top-level/all-packages.nix: strip trailing white space, no functional change
svn path=/nixpkgs/trunk/; revision=23830
2010-09-17 14:47:02 +00:00
Peter Simons c8fbebe6b6 pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.

svn path=/nixpkgs/trunk/; revision=23829
2010-09-17 14:46:55 +00:00
Yury G. Kudryashov 69032f3d1d Add krename
svn path=/nixpkgs/trunk/; revision=23818
2010-09-16 08:40:56 +00:00
Yury G. Kudryashov bd6da9f5f3 Use stdenv2 in podofo
svn path=/nixpkgs/trunk/; revision=23817
2010-09-16 08:40:47 +00:00
Marco Maggesi 4e5db40581 Update HOL Light to version 20100820 (rev57 on google code).
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00