Commit graph

11725 commits

Author SHA1 Message Date
Michael Raskin
b383ca8d2a Add Vacuum IM
svn path=/nixpkgs/trunk/; revision=23870
2010-09-20 08:40:30 +00:00
Michael Raskin
c77f29daed Allow building EQL applications
svn path=/nixpkgs/trunk/; revision=23869
2010-09-20 08:10:12 +00:00
Michael Raskin
5e32f98f5c Recursive sourceInfo is more convenient
svn path=/nixpkgs/trunk/; revision=23868
2010-09-20 07:48:17 +00:00
Michael Raskin
e8cca19dc7 Update CouchDB. Thanks to Cillian de Róiste for sending a patch..
svn path=/nixpkgs/trunk/; revision=23866
2010-09-19 21:50:38 +00:00
Michael Raskin
7538dcd322 Assert the need for glibc
svn path=/nixpkgs/trunk/; revision=23864
2010-09-19 18:32:25 +00:00
Michael Raskin
7d91a87817 Remove the temporary patch reference
svn path=/nixpkgs/trunk/; revision=23863
2010-09-19 18:22:52 +00:00
Lluís Batlle i Rossell
c00b676654 Making the default vim have multibyte+nls support. Checking with 'du', I think
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/trunk/; revision=23859
2010-09-18 16:29:47 +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
1ba317f3c6 rubyLibs: fix impurity in gem installation. Should not take ruby from user environment.
svn path=/nixpkgs/trunk/; revision=23857
2010-09-18 16:26:14 +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
8ec9590737 Git: fix an impurity: was taking grep from PATH.
svn path=/nixpkgs/trunk/; revision=23853
2010-09-18 12:45:04 +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
48ee2b7efb Fixing EQL evalutaion
svn path=/nixpkgs/trunk/; revision=23845
2010-09-17 22:08:50 +00:00
Yury G. Kudryashov
b8b2e300be soprano-2.5.2
svn path=/nixpkgs/trunk/; revision=23844
2010-09-17 20:36:25 +00:00
Michael Raskin
49bc04ad32 Use git commit as version
svn path=/nixpkgs/trunk/; revision=23843
2010-09-17 20:23:16 +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
83bfd42534 Fixing the mtdutils package (install to proper LSB like directories, and remove 'v' in front
of the version, which annoyed nix-env name matching)

svn path=/nixpkgs/trunk/; revision=23839
2010-09-17 18:57:38 +00:00
David Guibert
8ee5697147 add cherrypy, a pythonic, object-oriented HTTP framework
svn path=/nixpkgs/trunk/; revision=23838
2010-09-17 17:34:08 +00:00
David Guibert
c6f9d17b9a update msmtp up to version 1.4.21
svn path=/nixpkgs/trunk/; revision=23837
2010-09-17 17:34:03 +00:00
Lluís Batlle i Rossell
cb8654eba6 Updating asciidoc (hoping it will run faster)
svn path=/nixpkgs/trunk/; revision=23835
2010-09-17 17:21:56 +00:00
Ludovic Courtès
50e1e6147e Add `guruplug' platform.
svn path=/nixpkgs/trunk/; revision=23834
2010-09-17 15:56:47 +00:00
Ludovic Courtès
078353fc15 Linux: Add GuruPlug-related patches.
svn path=/nixpkgs/trunk/; revision=23833
2010-09-17 15:56:42 +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
Peter Simons
9640592265 pkgs/misc/ghostscript/default.nix: strip trailing white space, no functional change
svn path=/nixpkgs/trunk/; revision=23828
2010-09-17 14:46:49 +00:00
Eelco Dolstra
fd538ef53d * Fix some more paths in Xen, and make it use /etc/xen for its
configuration files.

svn path=/nixpkgs/trunk/; revision=23821
2010-09-16 15:21:28 +00:00
Eelco Dolstra
fac8ff8d71 * Firefox 3.6.10.
svn path=/nixpkgs/trunk/; revision=23820
2010-09-16 11:44:48 +00:00
Yury G. Kudryashov
72ab62e8f5 krename meta
svn path=/nixpkgs/trunk/; revision=23819
2010-09-16 08:41:03 +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
Marco Maggesi
44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Yury G. Kudryashov
139de1ea2f Don't try to build Qt guis if qt is unsupported on the platform
svn path=/nixpkgs/trunk/; revision=23812
2010-09-15 18:52:07 +00:00
Yury G. Kudryashov
f139236666 podofo-0.8.2, metainfo
svn path=/nixpkgs/trunk/; revision=23811
2010-09-15 18:37:38 +00:00
Yury G. Kudryashov
48c13f4096 Update cmake
Use system libraries, make curses optional, add optional qt4 gui etc.

svn path=/nixpkgs/trunk/; revision=23810
2010-09-15 18:37:21 +00:00
Yury G. Kudryashov
10376e7ba1 More metadata
svn path=/nixpkgs/trunk/; revision=23808
2010-09-15 12:57:49 +00:00
Lluís Batlle i Rossell
e6a787f44a Making lua and boost cross-build.
svn path=/nixpkgs/trunk/; revision=23807
2010-09-15 09:56:06 +00:00
Michael Raskin
6babe5dea4 Update Veracity
svn path=/nixpkgs/trunk/; revision=23806
2010-09-15 08:42:46 +00:00
Yury G. Kudryashov
dd37d34e5f kdeadmin-4.5.1, kdeplasma-addons-4.5.1. Have no time to split
svn path=/nixpkgs/trunk/; revision=23805
2010-09-15 05:19:44 +00:00
Yury G. Kudryashov
f0418c74b6 kdegames-4.5.1
svn path=/nixpkgs/trunk/; revision=23804
2010-09-15 05:19:35 +00:00
Marco Maggesi
8ab6f9861c Add coq-8.3rc1
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Ludovic Courtès
11a446272a GNU IceCat 3.6.9.
svn path=/nixpkgs/trunk/; revision=23802
2010-09-14 16:39:42 +00:00
Lluís Batlle i Rossell
d0b42b2927 Making the firefox java plugin work in i686-linux and x86_64-linux.
It should work for both firefox 3.6 and firefox 3.5 (said roconnor on irc).

Thanks to the wiki page http://wiki.nixos.org/wiki/Java_in_Firefox which explained
why what we had did not work.

svn path=/nixpkgs/trunk/; revision=23801
2010-09-14 15:14:18 +00:00
Lluís Batlle i Rossell
76a02e762a Allowing boost build enabling parallelBuilds
svn path=/nixpkgs/trunk/; revision=23800
2010-09-14 14:47:16 +00:00
Lluís Batlle i Rossell
7471ffb76d Fixing the plugin directory for the jdk6 i686-linux
svn path=/nixpkgs/trunk/; revision=23799
2010-09-14 14:47:12 +00:00
Yury G. Kudryashov
ecc9b176b0 kdemultimedia: tunepimp, musicbrainz
svn path=/nixpkgs/trunk/; revision=23798
2010-09-14 14:29:49 +00:00
Yury G. Kudryashov
647ccb48ad Forgotten to add patch to patches array
svn path=/nixpkgs/trunk/; revision=23797
2010-09-14 14:29:43 +00:00
Yury G. Kudryashov
2ecfb5cd9d Add libtunepimp
svn path=/nixpkgs/trunk/; revision=23796
2010-09-14 14:29:37 +00:00
Yury G. Kudryashov
163e453e10 Add mp4v2
svn path=/nixpkgs/trunk/; revision=23795
2010-09-14 14:29:31 +00:00
Yury G. Kudryashov
5f4795b5f1 Add libofa
svn path=/nixpkgs/trunk/; revision=23794
2010-09-14 14:29:25 +00:00
Yury G. Kudryashov
09c85666cd Add libmusicbrainz 2.x and 3.x
svn path=/nixpkgs/trunk/; revision=23793
2010-09-14 14:29:19 +00:00
Yury G. Kudryashov
359b360fc2 Add libdiscid
svn path=/nixpkgs/trunk/; revision=23792
2010-09-14 14:29:13 +00:00
Yury G. Kudryashov
95b08e5381 kdegraphics-4.5.1
svn path=/nixpkgs/trunk/; revision=23791
2010-09-14 14:29:08 +00:00
Yury G. Kudryashov
76a3eb02d3 kdeutils-4.5.1
svn path=/nixpkgs/trunk/; revision=23790
2010-09-14 14:29:01 +00:00
Yury G. Kudryashov
bb568e7467 Delete unused files
svn path=/nixpkgs/trunk/; revision=23789
2010-09-14 14:28:55 +00:00
Eelco Dolstra
cdecced3b0 * Fix various references to /usr.
svn path=/nixpkgs/trunk/; revision=23788
2010-09-14 13:50:32 +00:00
Eelco Dolstra
7f2af6acfd svn path=/nixpkgs/trunk/; revision=23784 2010-09-14 12:15:06 +00:00
Eelco Dolstra
9dbbae2c0c * bridge-utils updated to 1.4.
svn path=/nixpkgs/trunk/; revision=23778
2010-09-14 10:54:50 +00:00
Lluís Batlle i Rossell
daea455d15 Removing coreutils_real from release-cross.
It had to be 'coreutils' instead, but I don't think they cross-build. They
cross-build only in stdenv-updates I tihnk.

svn path=/nixpkgs/trunk/; revision=23774
2010-09-13 21:16:10 +00:00
Michael Raskin
b49a2d16b2 Add overridability to gnome
svn path=/nixpkgs/trunk/; revision=23773
2010-09-13 20:54:46 +00:00
Yury G. Kudryashov
75f08dffa6 kdewebdev-4.5.1, splitted
svn path=/nixpkgs/trunk/; revision=23771
2010-09-13 20:14:45 +00:00
Yury G. Kudryashov
ddce0423d9 Fix kde-4.5 kscreensaver
svn path=/nixpkgs/trunk/; revision=23768
2010-09-13 17:34:19 +00:00
Yury G. Kudryashov
82d07ebaa2 Fix libktorrent compilation with kde-4.4
svn path=/nixpkgs/trunk/; revision=23767
2010-09-13 17:34:14 +00:00
Andres Löh
772abcfaaa bugfix
svn path=/nixpkgs/trunk/; revision=23763
2010-09-13 16:01:33 +00:00
Eelco Dolstra
2202d32006 * Add stringAfter' as a synonym of fullDepEntry', with the arguments
flipped to denote what it actually does (i.e., a string fragment
  that comes *after* the named fragments).  One day we can have
  `stringBefore'.

svn path=/nixpkgs/trunk/; revision=23761
2010-09-13 15:31:06 +00:00
Yury G. Kudryashov
ea18f17f8c kdetoys-4.5.1, splitted
svn path=/nixpkgs/trunk/; revision=23759
2010-09-13 14:23:36 +00:00
Yury G. Kudryashov
20b190b582 kdesdk-4.5.1, splitted
svn path=/nixpkgs/trunk/; revision=23758
2010-09-13 14:23:29 +00:00
Yury G. Kudryashov
c4beccaf1a Remove unused patch
svn path=/nixpkgs/trunk/; revision=23757
2010-09-13 14:23:21 +00:00
Yury G. Kudryashov
84040e15cc kdenetwork-4.5.1, kdeedu-4.5.1
svn path=/nixpkgs/trunk/; revision=23756
2010-09-13 14:23:16 +00:00
Yury G. Kudryashov
e723e53699 Use new ktorrent in kde44
svn path=/nixpkgs/trunk/; revision=23755
2010-09-13 14:23:08 +00:00
Yury G. Kudryashov
38dec40ddc Upgrade ktorrent
svn path=/nixpkgs/trunk/; revision=23754
2010-09-13 14:23:02 +00:00
Yury G. Kudryashov
61dd03faa8 Upgrade libktorrent
svn path=/nixpkgs/trunk/; revision=23753
2010-09-13 14:22:56 +00:00
Yury G. Kudryashov
d611b0aedb Upgrade&split kdeartwork
svn path=/nixpkgs/trunk/; revision=23752
2010-09-13 14:22:51 +00:00
Yury G. Kudryashov
20a0469f1c kdebase-{runtime,workspace}, kdebindings
svn path=/nixpkgs/trunk/; revision=23751
2010-09-13 14:22:43 +00:00
Yury G. Kudryashov
255acffe14 ebook-tools-0.2.0
svn path=/nixpkgs/trunk/; revision=23750
2010-09-13 14:22:37 +00:00
Andres Löh
c7f570b473 Addressing problem with conflicting versions of Haskell's time library.
svn path=/nixpkgs/trunk/; revision=23746
2010-09-13 12:07:14 +00:00
Michael Raskin
58722fa393 Update veracity
svn path=/nixpkgs/trunk/; revision=23745
2010-09-13 11:54:30 +00:00
Andres Löh
ae49a474ff Added Hakyll and dependencies.
svn path=/nixpkgs/trunk/; revision=23742
2010-09-13 10:30:54 +00:00
Eelco Dolstra
b63de97e4c * Updated gecko-mediaplayer and gnome-mplayer.
svn path=/nixpkgs/trunk/; revision=23737
2010-09-11 17:16:42 +00:00
Eelco Dolstra
bf7c353ad1 * Updated Chromium.
svn path=/nixpkgs/trunk/; revision=23736
2010-09-11 14:20:46 +00:00
Nicolas Pierron
7f8037cfd7 Add additional shortcuts frequently used in NixOS.
svn path=/nixpkgs/trunk/; revision=23733
2010-09-10 18:03:16 +00:00
Eelco Dolstra
13f346058c * Add a branch of the Linux kernel that can be used in Xen's Dom0.
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x

svn path=/nixpkgs/trunk/; revision=23729
2010-09-10 16:27:39 +00:00
Eelco Dolstra
3b4c29781b * Turn off obsolete kernels.
svn path=/nixpkgs/trunk/; revision=23722
2010-09-10 14:12:15 +00:00
Eelco Dolstra
ead1b8bc5c * Move config-blocks.nix to zen-kernel where it's used.
svn path=/nixpkgs/trunk/; revision=23721
2010-09-10 14:07:22 +00:00
Eelco Dolstra
9ff5c12798 * Remove the systemtap option from linux-2.6.32.nix and use
extraConfig instead.

svn path=/nixpkgs/trunk/; revision=23720
2010-09-10 14:06:56 +00:00
Ludovic Courtès
193799ec3d nixBuild: Add `buildOutOfSourceTree' option.
svn path=/nixpkgs/trunk/; revision=23717
2010-09-10 12:39:57 +00:00
Eelco Dolstra
6021bcf0dc * Updated the GRUB 0.97 patchset from Gentoo to 1.10.
svn path=/nixpkgs/trunk/; revision=23715
2010-09-10 12:21:43 +00:00
Ludovic Courtès
582c02b1c0 GNU Parallel 20100906.
svn path=/nixpkgs/trunk/; revision=23714
2010-09-10 11:50:17 +00:00
Ludovic Courtès
9fd0fdebd9 GNU Mailutils 2.2.
svn path=/nixpkgs/trunk/; revision=23713
2010-09-10 11:50:11 +00:00
Eelco Dolstra
6d1f247646 * Firefox 3.6.9.
svn path=/nixpkgs/trunk/; revision=23711
2010-09-10 10:56:44 +00:00
Eelco Dolstra
cea083bec9 * Set the Python search path for Xen's Python scripts. As an
experiment, do this by patching a line setting sys.path into the
  script, rather than using makeWrapper.
* Xen requires pythonFull because it needs https/ssl support.

svn path=/nixpkgs/trunk/; revision=23710
2010-09-10 10:53:17 +00:00
Eelco Dolstra
df1d0752eb * Get rid of the template argument in mkOverride.
svn path=/nixpkgs/trunk/; revision=23709
2010-09-10 09:31:31 +00:00
Yury G. Kudryashov
fb8e2ed6be Verbose copy, use pkg-config to find dependencies
svn path=/nixpkgs/trunk/; revision=23708
2010-09-09 20:05:00 +00:00
Yury G. Kudryashov
e7c7d6a00d kdepim, kdepim-runtime, kdebase upgrade
svn path=/nixpkgs/trunk/; revision=23707
2010-09-09 20:04:56 +00:00
Yury G. Kudryashov
e7ca8b0d84 (un)propagate some buildInputs
svn path=/nixpkgs/trunk/; revision=23706
2010-09-09 20:04:50 +00:00
Eelco Dolstra
d4c7538648 * Add "gtk" to the top-level scope (just like "glib") and remove all
those "inherit (gtkLibs) gtk" lines.

svn path=/nixpkgs/trunk/; revision=23699
2010-09-09 16:48:13 +00:00
Eelco Dolstra
c1867fe704 * Get Xen to build. It's not tested yet and doesn't include a Dom0
kernel.

svn path=/nixpkgs/trunk/; revision=23698
2010-09-09 16:45:18 +00:00
Peter Simons
c66aa309be pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2
svn path=/nixpkgs/trunk/; revision=23697
2010-09-09 16:06:34 +00:00
Peter Simons
220025a6ec pkgs/development/libraries/eventlog: updated to version 0.2.12
svn path=/nixpkgs/trunk/; revision=23696
2010-09-09 16:06:31 +00:00
Peter Simons
9b8a491a73 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.3
svn path=/nixpkgs/trunk/; revision=23695
2010-09-09 16:06:26 +00:00
Rob Vermaas
03706558a9 maven-build: do full assembly without tests, add site to build products
svn path=/nixpkgs/trunk/; revision=23694
2010-09-09 10:47:54 +00:00
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