Commit graph

2174 commits

Author SHA1 Message Date
Peter Simons ff1a93282f pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.3.1
svn path=/nixpkgs/trunk/; revision=23995
2010-09-30 13:27:17 +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
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
2010-09-28 09:33:56 +00:00
Michael Raskin d63a20e353 Update veracity
svn path=/nixpkgs/trunk/; revision=23977
2010-09-28 04:27:01 +00:00
Yury G. Kudryashov 76b211a81f More homepages
svn path=/nixpkgs/trunk/; revision=23973
2010-09-27 18:41:59 +00:00
Yury G. Kudryashov 3a9ff9d607 Add pkgconfig to amarok buildInputs
svn path=/nixpkgs/trunk/; revision=23965
2010-09-27 11:19:42 +00:00
Yury G. Kudryashov 5f38d49440 typo
svn path=/nixpkgs/trunk/; revision=23959
2010-09-27 08:16:25 +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
Evgeny Egorochkin 0488c4516a Flash player: works in Konqueror now, fixed missing library link.
Fixed hash: Stupid Adobe changed the file again :(

svn path=/nixpkgs/trunk/; revision=23931
2010-09-26 03:22:55 +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 f726884df5 Old flashplayer is not available anymore
svn path=/nixpkgs/trunk/; revision=23896
2010-09-22 18:04:29 +00:00
Marco Maggesi 209c32c4c9 Update fossil
svn path=/nixpkgs/trunk/; revision=23894
2010-09-22 13:10:43 +00:00
Michael Raskin 3410afb706 Fix arora platform
svn path=/nixpkgs/trunk/; revision=23892
2010-09-22 08:59:50 +00:00
Michael Raskin 9effe4ad77 Update Veracity nightly
svn path=/nixpkgs/trunk/; revision=23885
2010-09-21 20:25:59 +00:00
Evgeny Egorochkin 5581a546ec Arora: fix homepage
svn path=/nixpkgs/trunk/; revision=23884
2010-09-21 15:47:20 +00:00
Evgeny Egorochkin 020cba6b98 Arora: packaged
svn path=/nixpkgs/trunk/; revision=23877
2010-09-20 22:16:16 +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 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 8ec9590737 Git: fix an impurity: was taking grep from PATH.
svn path=/nixpkgs/trunk/; revision=23853
2010-09-18 12:45:04 +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
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
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
Michael Raskin 6babe5dea4 Update Veracity
svn path=/nixpkgs/trunk/; revision=23806
2010-09-15 08:42:46 +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
Eelco Dolstra cdecced3b0 * Fix various references to /usr.
svn path=/nixpkgs/trunk/; revision=23788
2010-09-14 13:50:32 +00:00
Yury G. Kudryashov 38dec40ddc Upgrade ktorrent
svn path=/nixpkgs/trunk/; revision=23754
2010-09-13 14:23:02 +00:00
Michael Raskin 58722fa393 Update veracity
svn path=/nixpkgs/trunk/; revision=23745
2010-09-13 11:54:30 +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
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
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
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 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
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
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 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 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