Commit graph

11521 commits

Author SHA1 Message Date
Peter Simons
3bb0a18f0c pkgs/development/libraries/t1lib: updated to version 5.1.2
svn path=/nixpkgs/trunk/; revision=23693
2010-09-09 09:43:33 +00:00
Rob Vermaas
62eb8741ce maven-build: only copy site dir if it exists
svn path=/nixpkgs/trunk/; revision=23692
2010-09-09 07:22:45 +00:00
Rob Vermaas
b601947bcb maven-build: copy whole site dir and adapted hydra-build-products
svn path=/nixpkgs/trunk/; revision=23691
2010-09-09 07:19:12 +00:00
Peter Simons
7b4678b6d8 pkgs/tools/misc/syslog-ng: updated to version 3.1.2
svn path=/nixpkgs/trunk/; revision=23686
2010-09-08 13:28:05 +00:00
Marco Maggesi
df21c86e08 Improve hol_light:
*   Upgrade hol_light to the latest svn version on google code (r57).

  *   Improve and semplify the mechanism for the generation of checkpointed binaries.

  *   Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).

  *   Remove ocaml_with_sources which is not needed anymore.

svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Marco Maggesi
a280a31f56 Add a patch to dmtcp to allow the restart of checkpointed programs with a different uid.
(This is required in order to generate hol_light_binaries).

Also do a bit of cleanup.

svn path=/nixpkgs/trunk/; revision=23684
2010-09-08 11:40:32 +00:00
Yury G. Kudryashov
f802a70d87 Update gem-nix patch to use ''...'' instead of "..."
Also update ruby libs

svn path=/nixpkgs/trunk/; revision=23683
2010-09-08 09:56:59 +00:00
Yury G. Kudryashov
17c70d3efd Mass rubygems update
* Upgrade to rubygems-1.3.7
* Upgrade all gems
* Add rails3

svn path=/nixpkgs/trunk/; revision=23682
2010-09-08 09:56:53 +00:00
Yury G. Kudryashov
40a7243ed3 ruby: upgrade, optional docs
svn path=/nixpkgs/trunk/; revision=23681
2010-09-08 09:56:46 +00:00
Yury G. Kudryashov
14a8df0615 kdepimlibs-4.5.1
svn path=/nixpkgs/trunk/; revision=23680
2010-09-08 09:56:40 +00:00
Rob Vermaas
a074da499c vm/default.nix: updating debian lenny hashes
svn path=/nixpkgs/trunk/; revision=23674
2010-09-07 14:33:46 +00:00
Andres Löh
07cabc717b Version bump for uu-parsinglib.
svn path=/nixpkgs/trunk/; revision=23673
2010-09-07 13:40:02 +00:00
Andres Löh
9534550af5 gitit should now work with ghc-6.12.3
svn path=/nixpkgs/trunk/; revision=23671
2010-09-07 13:11:21 +00:00
Andres Löh
923d30959f Added yst; updated happstack, pandoc, gitit and dependencies.
svn path=/nixpkgs/trunk/; revision=23670
2010-09-07 12:58:07 +00:00
Andres Löh
b936683cc4 Small refactoring to prepare for future changes.
svn path=/nixpkgs/trunk/; revision=23669
2010-09-07 12:58:01 +00:00
Rob Vermaas
d9f435106c lua5: re-enable -fPIC for lua5
svn path=/nixpkgs/trunk/; revision=23668
2010-09-07 12:56:49 +00:00
Lluís Batlle i Rossell
08a4373125 Bump awesome.
(patch by Carles Pagès)

svn path=/nixpkgs/trunk/; revision=23667
2010-09-07 12:52:30 +00:00
Sander van der Burg
8d1cc5fcc2 Upgraded VirtualBox guest additions to version 3.2.8 and fixed it to make it work with xorg-server-1.8.x again. The RandR support still doesn't work properly, however
svn path=/nixpkgs/trunk/; revision=23664
2010-09-07 12:08:24 +00:00
Evgeny Egorochkin
919ae70e01 Make hydra compile QGit
svn path=/nixpkgs/trunk/; revision=23662
2010-09-07 09:54:11 +00:00
Ludovic Courtès
d460ffc554 uucp: Fetch from mirror://gnu; add `meta'.
svn path=/nixpkgs/trunk/; revision=23661
2010-09-07 08:02:36 +00:00
Ludovic Courtès
e4ef870382 Remove another reference to attribute `guileLib'.
svn path=/nixpkgs/trunk/; revision=23660
2010-09-06 15:36:41 +00:00
Ludovic Courtès
420adcd354 Remove another reference to attribute `guileLib'.
svn path=/nixpkgs/trunk/; revision=23659
2010-09-06 08:45:24 +00:00
Ludovic Courtès
f2b9328a31 Fix references to the guileLib' attribute, now guile_lib'.
svn path=/nixpkgs/trunk/; revision=23658
2010-09-06 07:58:17 +00:00
Ludovic Courtès
78adb9fbf1 org-mode: Pass the full path to which'; use callPackage'.
svn path=/nixpkgs/trunk/; revision=23657
2010-09-06 07:58:13 +00:00
Eelco Dolstra
b724075063 * Audacious 2.4.0.
svn path=/nixpkgs/trunk/; revision=23656
2010-09-06 07:29:18 +00:00
Lluís Batlle i Rossell
7e27052bd6 Applying the patch adding 'detox' from Tom Ridge and Karn Kallio.
svn path=/nixpkgs/trunk/; revision=23655
2010-09-06 07:21:08 +00:00
Lluís Batlle i Rossell
f01245ee4a Improving a bit the configure options for mutt:
Enable debug
Fix a copy and paste error in --without-sasl

svn path=/nixpkgs/trunk/; revision=23654
2010-09-06 07:17:20 +00:00
Michael Raskin
29db2ca0c9 Adding Ekiga
svn path=/nixpkgs/trunk/; revision=23653
2010-09-05 23:37:54 +00:00
Michael Raskin
8479512626 Step back PyGTK from the update requiring a lot of too-new code
svn path=/nixpkgs/trunk/; revision=23652
2010-09-05 18:57:43 +00:00
Michael Raskin
4926bd7256 Update PyGTK
svn path=/nixpkgs/trunk/; revision=23651
2010-09-05 18:10:16 +00:00
Ludovic Courtès
895ba33eb4 Guile-Lib 0.1.9.
svn path=/nixpkgs/trunk/; revision=23650
2010-09-05 15:19:23 +00:00
Ludovic Courtès
1ecee338e8 GNU Guile 1.9.12.
svn path=/nixpkgs/trunk/; revision=23649
2010-09-05 15:19:17 +00:00
Ludovic Courtès
db61930195 GNU ddrescue 1.13.
svn path=/nixpkgs/trunk/; revision=23648
2010-09-05 15:19:12 +00:00
Ludovic Courtès
e9dc9a374a GDB 7.2.
svn path=/nixpkgs/trunk/; revision=23647
2010-09-05 15:19:07 +00:00
Ludovic Courtès
95486795ad GNU Parallel 20100822.
svn path=/nixpkgs/trunk/; revision=23646
2010-09-05 15:19:02 +00:00
Ludovic Courtès
c23a9903fe GNU Sharutils 4.10.
svn path=/nixpkgs/trunk/; revision=23645
2010-09-05 15:18:57 +00:00
Michael Raskin
7ad068644e Adding GNOME rarian - scrollkeeper replacement
svn path=/nixpkgs/trunk/; revision=23643
2010-09-05 12:48:39 +00:00
Michael Raskin
9090138f5e Updating Gajim
svn path=/nixpkgs/trunk/; revision=23642
2010-09-05 12:29:44 +00:00
Yury G. Kudryashov
99015c8de7 kdeaccessibility-4.5.1, splitted
svn path=/nixpkgs/trunk/; revision=23637
2010-09-04 19:53:39 +00:00
Yury G. Kudryashov
ac1823a3b4 grantlee.meta
svn path=/nixpkgs/trunk/; revision=23636
2010-09-04 19:53:32 +00:00
Ludovic Courtès
2878beff40 Minicom 2.4.
svn path=/nixpkgs/trunk/; revision=23634
2010-09-03 20:52:32 +00:00
Michael Raskin
cc616fbada Update Veraity nightly version
svn path=/nixpkgs/trunk/; revision=23633
2010-09-03 19:59:51 +00:00
Yury G. Kudryashov
6ee7628a19 Oops.. Forgotten ';'
svn path=/nixpkgs/trunk/; revision=23627
2010-09-03 18:55:36 +00:00
Yury G. Kudryashov
8312b2e5b9 Move kdeutils components into kdeutils. prefix
Now one can use lib.attrValues kde45.kdeutils to install full kdeutils.

svn path=/nixpkgs/trunk/; revision=23626
2010-09-03 17:41:00 +00:00
Yury G. Kudryashov
aa7164d7de Add grantlee
svn path=/nixpkgs/trunk/; revision=23625
2010-09-03 17:40:55 +00:00
Yury G. Kudryashov
83dac52cc9 qt-4.7.0-rc1
svn path=/nixpkgs/trunk/; revision=23624
2010-09-03 17:40:49 +00:00
Yury G. Kudryashov
2c31d81cdb kdelibs-4.5.1
svn path=/nixpkgs/trunk/; revision=23623
2010-09-03 17:40:45 +00:00
Yury G. Kudryashov
b11040eb38 oxygen-icons-4.5.1
svn path=/nixpkgs/trunk/; revision=23622
2010-09-03 17:40:29 +00:00
Eelco Dolstra
9b22cac306 * Fix the nvi URL.
svn path=/nixpkgs/trunk/; revision=23621
2010-09-03 15:32:40 +00:00
Marco Maggesi
1df4ff6aae Remove configure file for OCaml 3.09.1 which is not used anymore.
svn path=/nixpkgs/trunk/; revision=23619
2010-09-03 14:05:49 +00:00
Marco Maggesi
b508e9445b Include directory for OCaml's C headers.
Make an include directory and symlinks ocaml's C header files into
that directory.  By having an include directory it is automatically
propogated as to NIX_CFLAGS_COMPILE for anyone who uses ocaml as a
build input.

(Proposed on the mailing list by Russell O'Connor.)

svn path=/nixpkgs/trunk/; revision=23618
2010-09-03 13:48:35 +00:00
Eelco Dolstra
2c424208f9 * man-pages 3.25.
svn path=/nixpkgs/trunk/; revision=23617
2010-09-03 13:21:38 +00:00
Peter Simons
4be79671b4 pkgs/development/python-modules/pygobject: ensure that python code can be found
svn path=/nixpkgs/trunk/; revision=23616
2010-09-03 13:18:38 +00:00
Eelco Dolstra
3cfc942bdc * Added a function `applyGlobalOverrides' to return Nixpkgs with the
specified overrides applied.  This does the same as the
  `packageOverrides' attribute in ~/.nixpkgs/config.nix, but can be
  used within all-packages.nix to do a "deep" override for some
  specific package.  For instance, to build Thunderbird with an older
  version of Glib, you can say:

    thunderbird3 =
      let
        pkgs = applyGlobalOverrides (pkgsOrig:
          { gtkLibs220 = pkgsOrig.gtkLibs220 // 
              { glib = pkgsOrig.gtkLibs218.glib; };
          });
      in
        pkgs.callPackage .../thunderbird/3.x.nix {
          inherit (pkgs.gnome) libIDL;
        };

  Note that `pkgsFun' now has an argument `pkgs' to refer to its own
  result.

* Moved callPackage etc. into pkgsFun so that it uses the right
  overriden packages, if applicable.  `defaultScope' isn't in the
  result set because that causes nix-env to go into an apparently
  infinite recursion.

* Dropped the optional pkgsOrig argument to ~/.nixpkgs/config.nix,
  because it's probably not useful or used.

svn path=/nixpkgs/trunk/; revision=23613
2010-09-03 10:46:18 +00:00
Andres Löh
c51b2a8beb Minor syntactic simplification.
svn path=/nixpkgs/trunk/; revision=23607
2010-09-03 07:16:57 +00:00
Andres Löh
e208e8ae76 Added HaRe, the Haskell Refactorer.
svn path=/nixpkgs/trunk/; revision=23599
2010-09-02 10:02:26 +00:00
Nicolas Pierron
5e4adf0e4b Update oRTP (0.13.1 -> 0.16.3)
svn path=/nixpkgs/trunk/; revision=23595
2010-09-01 17:40:37 +00:00
Michael Raskin
797263abb9 Rolling back to latest known-good WebKit to check whether the build errors are because of other changes
svn path=/nixpkgs/trunk/; revision=23593
2010-09-01 11:18:39 +00:00
Michael Raskin
ee731b9a4d Updating veracity
svn path=/nixpkgs/trunk/; revision=23590
2010-09-01 10:12:56 +00:00
Michael Raskin
26b3c63e32 Going further back with WebKit
svn path=/nixpkgs/trunk/; revision=23573
2010-09-01 08:32:59 +00:00
Michael Raskin
a33c1d2788 Stepping back roughly halfway to our previous version of Webkit
svn path=/nixpkgs/trunk/; revision=23572
2010-08-31 18:47:07 +00:00
Andres Löh
6609f91e61 Fixing Haskell Platform attribute names in release.nix.
svn path=/nixpkgs/trunk/; revision=23569
2010-08-31 15:54:08 +00:00
Michael Raskin
ed7f0ddfc3 Step back WebKit upgrade
svn path=/nixpkgs/trunk/; revision=23565
2010-08-31 14:20:44 +00:00
Eelco Dolstra
1d236b4dcc svn path=/nixpkgs/trunk/; revision=23562 2010-08-31 13:18:12 +00:00
Michael Raskin
ca75f024ab Update WebKit
svn path=/nixpkgs/trunk/; revision=23558
2010-08-31 11:51:40 +00:00
Andres Löh
fec5966932 Fix renamed argument problem.
svn path=/nixpkgs/trunk/; revision=23556
2010-08-31 10:40:28 +00:00
Michael Raskin
b7a15bae9f Adding libosip - GNU SIP library
svn path=/nixpkgs/trunk/; revision=23555
2010-08-31 09:58:09 +00:00
Lluís Batlle i Rossell
6acc186e0e Fixing the catalan locale for kicad (it had the wrong encoding written)
svn path=/nixpkgs/trunk/; revision=23554
2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2 Fixing kicad so it not only builds, but it also runs and finds the library of components.
svn path=/nixpkgs/trunk/; revision=23552
2010-08-31 08:19:28 +00:00
Andres Löh
e94147754c Switching haskell-packages.nix to callPackage ...
svn path=/nixpkgs/trunk/; revision=23551
2010-08-30 17:10:21 +00:00
Andres Löh
d58a372ca2 Version bump for Haskell text library.
svn path=/nixpkgs/trunk/; revision=23542
2010-08-30 10:31:39 +00:00
Rob Vermaas
1776b95afe added open-iscsi
svn path=/nixpkgs/trunk/; revision=23541
2010-08-30 09:40:44 +00:00
Rob Vermaas
f6e0a38226 added iscsitarget
svn path=/nixpkgs/trunk/; revision=23540
2010-08-30 09:15:27 +00:00
Eelco Dolstra
43ac966abb * lsof 4.84, psmisc 22.12.
svn path=/nixpkgs/trunk/; revision=23537
2010-08-29 23:22:26 +00:00
Eelco Dolstra
73eb2ce265 svn path=/nixpkgs/trunk/; revision=23535 2010-08-29 22:45:14 +00:00
Eelco Dolstra
25555b48e0 svn path=/nixpkgs/trunk/; revision=23531 2010-08-29 22:00:33 +00:00
Eelco Dolstra
3cdc3c4abe * Mark the VM builds as requiring KVM support.
svn path=/nixpkgs/trunk/; revision=23526
2010-08-29 21:27:06 +00:00
Yury G. Kudryashov
6473176133 Split kdeutils, adopt kdePackage
Also migrate existing kdePackage users to new API

svn path=/nixpkgs/trunk/; revision=23525
2010-08-29 21:20:38 +00:00
Eelco Dolstra
5e19006c1e * Add mountall to the channel.
svn path=/nixpkgs/trunk/; revision=23523
2010-08-29 20:50:38 +00:00
Michael Raskin
d53af6407c Fix changed patch hash (checked new page)
svn path=/nixpkgs/trunk/; revision=23522
2010-08-29 20:10:39 +00:00
Yury G. Kudryashov
aaeac7d5d7 Upgrade to system-config-printer-1.2.4
TODO: make it work with udev (add helpers to udev PATH etc.)

svn path=/nixpkgs/trunk/; revision=23520
2010-08-29 19:37:02 +00:00
Yury G. Kudryashov
0a28239504 Make pyqt-dbus work
svn path=/nixpkgs/trunk/; revision=23519
2010-08-29 19:36:54 +00:00
Lluís Batlle i Rossell
5994279104 The main id3v2 default.nix! I forgot it.
svn path=/nixpkgs/trunk/; revision=23518
2010-08-29 19:27:44 +00:00
Michael Raskin
3a0bf4d42d Update wireshark
svn path=/nixpkgs/trunk/; revision=23516
2010-08-29 19:17:00 +00:00
Michael Raskin
faf4d8ca8d Now AUFS2 has proper source for 2.6.35 and 2.6.32
svn path=/nixpkgs/trunk/; revision=23515
2010-08-29 18:31:51 +00:00
Lluís Batlle i Rossell
d570082ad7 Fixing id3v2 runtime error (allocation/free error)
svn path=/nixpkgs/trunk/; revision=23514
2010-08-29 15:56:11 +00:00
Lluís Batlle i Rossell
65e7754f51 Allowing abcde to make mp3. I had to add id3v2, and fix the id3lib build.
svn path=/nixpkgs/trunk/; revision=23513
2010-08-29 15:53:42 +00:00
Michael Raskin
89c3aed22e Update AUFS2 to latest git for 2.6.35 - old version does not work with newer kernels
svn path=/nixpkgs/trunk/; revision=23511
2010-08-29 14:39:35 +00:00
Armijn Hemel
ccf724b8a8 d'oh! forgot "
svn path=/nixpkgs/trunk/; revision=23508
2010-08-29 13:49:58 +00:00
Armijn Hemel
fe7e41324c update to 0.6.19, add meta information
svn path=/nixpkgs/trunk/; revision=23507
2010-08-29 13:47:59 +00:00
Armijn Hemel
733b2893a7 update to 2.4.10.1, add correct license
svn path=/nixpkgs/trunk/; revision=23506
2010-08-29 13:40:02 +00:00
Lluís Batlle i Rossell
66004ecba7 Update fuse and make wdfs build with the latest neon. neon026 does not build with the current
SSL. We should either remove neon026 or fix it.

svn path=/nixpkgs/trunk/; revision=23505
2010-08-29 12:27:41 +00:00
Michael Raskin
d5f6f72342 Enable AUFS2 patch
svn path=/nixpkgs/trunk/; revision=23499
2010-08-29 10:38:39 +00:00
Michael Raskin
a73c3a96e6 Correct patch for AUFS2 2.6.35.*
svn path=/nixpkgs/trunk/; revision=23498
2010-08-29 10:37:58 +00:00
Lluís Batlle i Rossell
ce73a758aa Updating Warzone2100
svn path=/nixpkgs/trunk/; revision=23491
2010-08-29 09:43:56 +00:00
Lluís Batlle i Rossell
2377a46c8f Adding the game Advanced Strategic Command.
I had to add an old version of libsigc++ for it.

svn path=/nixpkgs/trunk/; revision=23490
2010-08-29 09:43:46 +00:00
Lluís Batlle i Rossell
159474361c Adding the game UFO: Alien Invasion.
svn path=/nixpkgs/trunk/; revision=23488
2010-08-29 00:45:29 +00:00
Lluís Batlle i Rossell
2ab5f25607 Updating 'tig' (for garbas@freenode)
svn path=/nixpkgs/trunk/; revision=23487
2010-08-28 14:10:49 +00:00
Eelco Dolstra
867707c07d * Thunderbird 3.1.2.
svn path=/nixpkgs/trunk/; revision=23484
2010-08-27 14:32:58 +00:00
Eelco Dolstra
656bffd7e2 * SQLite 3.7.2.
svn path=/nixpkgs/trunk/; revision=23479
2010-08-27 11:08:29 +00:00
Eelco Dolstra
3f400cc2e3 * Latest kernels.
svn path=/nixpkgs/trunk/; revision=23476
2010-08-27 08:44:07 +00:00
Eelco Dolstra
1417d5f300 * Updated the Sqlite Nix.
svn path=/nixpkgs/trunk/; revision=23475
2010-08-27 08:43:51 +00:00
Rob Vermaas
fedbaa9d7a remove pdfssa4met again, because it was added by accident
svn path=/nixpkgs/trunk/; revision=23474
2010-08-27 06:53:36 +00:00
Rob Vermaas
092ab39b1b added rdflib, pdfssa4met python packages
svn path=/nixpkgs/trunk/; revision=23473
2010-08-27 06:32:49 +00:00
Lluís Batlle i Rossell
9884d381c0 Tell hydra to build the kernels 2.6.34 and 2.6.35
svn path=/nixpkgs/trunk/; revision=23472
2010-08-26 20:53:10 +00:00
Peter Simons
62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead
svn path=/nixpkgs/trunk/; revision=23471
2010-08-26 19:03:52 +00:00
Peter Simons
c1469fba93 pkgs/development/libraries/tecla: enable Hydra build on all platforms
svn path=/nixpkgs/trunk/; revision=23470
2010-08-26 18:43:37 +00:00
Peter Simons
b41eb608da pkgs/development/libraries/buddy: enable Hydra build on all platforms
svn path=/nixpkgs/trunk/; revision=23469
2010-08-26 18:43:29 +00:00
Peter Simons
687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2
svn path=/nixpkgs/trunk/; revision=23468
2010-08-26 18:19:19 +00:00
Peter Simons
91f20b6289 pkgs/development/interpreters/maude: updated to version 2.5
svn path=/nixpkgs/trunk/; revision=23467
2010-08-26 18:09:14 +00:00
Peter Simons
49c437a31e pkgs/applications/science/math/maxima: use a correct license tag
Thanks, Ludovic.

svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Eelco Dolstra
a9da4153c4 * Fix an infinite recursion in scons.
svn path=/nixpkgs/trunk/; revision=23464
2010-08-26 13:30:25 +00:00
Eelco Dolstra
6e0911c3cb * Doh.
svn path=/nixpkgs/trunk/; revision=23463
2010-08-26 13:18:47 +00:00
Eelco Dolstra
fee41ba2fb * Make sitecopy build against Neon 0.29.
svn path=/nixpkgs/trunk/; revision=23461
2010-08-26 13:09:52 +00:00
Peter Simons
a2aef1ab80 pkgs/top-level/python-packages.nix: pexpect doesn't have regression tests
svn path=/nixpkgs/trunk/; revision=23459
2010-08-26 12:52:43 +00:00
Peter Simons
25308dd098 pkgs/development/tools/build-managers/scons: updated to version 2.0.1
svn path=/nixpkgs/trunk/; revision=23457
2010-08-26 12:24:16 +00:00
Peter Simons
0bc62c5ad7 pkgs/top-level/all-packages.nix: wrap emacs23Packages in "recurseIntoAttrs" so that these packages are visible in nix-env
svn path=/nixpkgs/trunk/; revision=23456
2010-08-26 12:21:15 +00:00
Marco Maggesi
b7a84503f3 Update fossil to version 2010-08-23 22:24:16
svn path=/nixpkgs/trunk/; revision=23455
2010-08-26 12:10:58 +00:00
Peter Simons
3b94efffe5 pkgs/development/interpreters/python/2.5: removed obsolete python version 2.5
Python 2.5 is unused in nixpkgs -- 2.6 has been the default version for
quite a while.

svn path=/nixpkgs/trunk/; revision=23454
2010-08-26 12:09:42 +00:00
Peter Simons
098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error
svn path=/nixpkgs/trunk/; revision=23453
2010-08-26 12:06:05 +00:00
Peter Simons
eb37b385f9 pkgs/top-level/python-packages.nix: added pexpect version 2.3
svn path=/nixpkgs/trunk/; revision=23452
2010-08-26 12:03:17 +00:00
Peter Simons
2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6
svn path=/nixpkgs/trunk/; revision=23451
2010-08-26 11:53:17 +00:00
Peter Simons
83ae38861e pkgs/applications/science/math/maxima: added license tag
svn path=/nixpkgs/trunk/; revision=23450
2010-08-26 11:51:10 +00:00
Peter Simons
88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows
svn path=/nixpkgs/trunk/; revision=23449
2010-08-26 11:49:54 +00:00
Peter Simons
24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1
svn path=/nixpkgs/trunk/; revision=23448
2010-08-26 11:44:43 +00:00
Peter Simons
403938b004 pkgs/applications/science/logic/prover9: updated homepage and license
svn path=/nixpkgs/trunk/; revision=23447
2010-08-26 11:42:41 +00:00
Peter Simons
340d4a6ddd pkgs/applications/science/logic/prover9: initial version
svn path=/nixpkgs/trunk/; revision=23446
2010-08-26 11:37:05 +00:00
Peter Simons
d25c8b5882 pkgs/top-level/all-packages.nix: stripped trailing whitespace
svn path=/nixpkgs/trunk/; revision=23444
2010-08-26 09:45:10 +00:00
Peter Simons
f79ba3cde3 pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead
svn path=/nixpkgs/trunk/; revision=23443
2010-08-26 09:44:53 +00:00
Peter Simons
a51fc5c66d pkgs/development/tools/documentation/doxygen: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=23442
2010-08-26 09:44:23 +00:00
Peter Simons
40c02f3cd6 pkgs/development/tools/documentation/doxygen: updated to version 1.7.1
svn path=/nixpkgs/trunk/; revision=23441
2010-08-26 09:43:30 +00:00
Peter Simons
9f26d6e101 pkgs/development/tools/documentation/doxygen: updated meta section for Hydra
Build doxygen on all Unix'ish platforms.

svn path=/nixpkgs/trunk/; revision=23440
2010-08-26 09:42:40 +00:00
Peter Simons
0b8f30aa8f pkgs/tools/admin/tightvnc/builder.sh: drop trailing whitespace
svn path=/nixpkgs/trunk/; revision=23439
2010-08-26 09:42:05 +00:00
Peter Simons
7b9b8f9e2e pkgs/tools/admin/tightvnc/default.nix: added meta section (plus various cosmetic changes)
svn path=/nixpkgs/trunk/; revision=23438
2010-08-26 09:41:22 +00:00
Peter Simons
d343d907a9 pkgs/tools/admin/tightvnc/builder.sh: install java classes to $out/share/tightvnc rather than $out/vnc
svn path=/nixpkgs/trunk/; revision=23437
2010-08-26 09:39:32 +00:00
Michael Raskin
4f6c18925d Fix installation for updated E prover release
svn path=/nixpkgs/trunk/; revision=23435
2010-08-26 04:34:20 +00:00
Michael Raskin
05c7e81eaa Move E prover to applications/science/logic
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
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