philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

2180 commits

Author SHA1 Message Date
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
Evgeny Egorochkin c9ad6ec90a Packaged Gobby 
svn path=/nixpkgs/trunk/; revision=24040
 2010-10-04 04:15:23 +00:00
Michael Raskin 2fed251436 Update vim_configurable to 7.3 
svn path=/nixpkgs/trunk/; revision=24014
 2010-10-01 05:01:32 +00:00
Armijn Hemel 8db80a9616 update to 7.3 
svn path=/nixpkgs/trunk/; revision=24008
 2010-09-30 17:00:13 +00:00
Michael Raskin c7ca6b46b2 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24006
 2010-09-30 16:41:45 +00:00
Peter Simons 4bdf53b0f1 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-19-g9404aa1 
svn path=/nixpkgs/trunk/; revision=23996
 2010-09-30 13:27:24 +00:00
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