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

2240 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
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
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
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
Michael Raskin 9090138f5e Updating Gajim 
svn path=/nixpkgs/trunk/; revision=23642
 2010-09-05 12:29:44 +00:00
Lluís Batlle i Rossell cf6f753176 Fixing the url for nvi (the older was not available anymore) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23638
 2010-09-05 05:59:27 +00:00
Michael Raskin cc616fbada Update Veraity nightly version 
svn path=/nixpkgs/trunk/; revision=23633
 2010-09-03 19:59:51 +00:00
Eelco Dolstra 9b22cac306 * Fix the nvi URL. 
svn path=/nixpkgs/trunk/; revision=23621
 2010-09-03 15:32:40 +00:00
Lluís Batlle i Rossell 0a50f8cc6a Fixing the w3m build on non-mips (this may allow having the 'tarball' built) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23604
 2010-09-02 20:09:27 +00:00
Lluís Batlle i Rossell 488d9103a7 Updating icewm (so yes, gtk included gdk_pixbuf. Thank you niksnut!) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23603
 2010-09-02 19:30:20 +00:00
Michael Raskin ee731b9a4d Updating veracity 
svn path=/nixpkgs/trunk/; revision=23590
 2010-09-01 10:12:56 +00:00
Lluís Batlle i Rossell d984e4bffd New patch for firefox, to avoid a SIGBUS on mips. 
r0bertz gave me the patch through irc:
http://www.gentoo-cn.org/gitweb/?p=loongson.git;a=blob;f=net-libs/xulrunner/files/xulrunner-1.9.2_beta4-mips-bus-error.patch;h=2bf51d77054796ffaf4f4d903dd8560bf96b7844;hb=HEAD
"some insns requires addr to be 8 bytes alignment, xulrunner can't guarantee that"
"instead it guarantees some addr will be sizeof(void *) aligned."

svn path=/nixpkgs/branches/stdenv-updates/; revision=23585
 2010-09-01 08:37:42 +00:00
Lluís Batlle i Rossell e2b1de78c2 Making firefox build on mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23584
 2010-09-01 08:37:28 +00:00
Lluís Batlle i Rossell 82627f99bb New patch for firefox for mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23583
 2010-09-01 08:37:17 +00:00
Lluís Batlle i Rossell c700d8c5ee Patch that allows xulrunner (for firefox 3.6) build further. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23582
 2010-09-01 08:37:07 +00:00
Lluís Batlle i Rossell cd8cd01bad Updating icewm and trying to make it build on mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23581
 2010-09-01 08:36:46 +00:00
Lluís Batlle i Rossell a88f348d5b Make mplayer build on the loongson2f 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23578
 2010-09-01 08:36:09 +00:00
Andres Löh fec5966932 Fix renamed argument problem. 
svn path=/nixpkgs/trunk/; revision=23556
 2010-08-31 10:40:28 +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
Michael Raskin d53af6407c Fix changed patch hash (checked new page) 
svn path=/nixpkgs/trunk/; revision=23522
 2010-08-29 20:10:39 +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
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
Lluís Batlle i Rossell cca1cae042 Updating from trunk. I had to do some changes to make it fit. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
 2010-08-29 11:09:23 +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
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 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 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
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 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 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
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
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version 
svn path=/nixpkgs/trunk/; revision=23430
 2010-08-25 19:50:24 +00:00
Rob Vermaas 9fa88c5291 added libxpdf and pdf2xml 
svn path=/nixpkgs/trunk/; revision=23427
 2010-08-25 14:25:51 +00:00
Michael Raskin 90603fd593 Update Midori 
svn path=/nixpkgs/trunk/; revision=23397
 2010-08-24 13:58:57 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=23391
 2010-08-24 10:00:19 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share". 
svn path=/nixpkgs/trunk/; revision=23383
 2010-08-24 08:26:48 +00:00
Peter Simons 14760d869b Add Nix expression for Emacs mode htmlize. 
svn path=/nixpkgs/trunk/; revision=23382
 2010-08-24 08:25:51 +00:00
Michael Raskin 1d067af2ec Update StumpWM 
svn path=/nixpkgs/trunk/; revision=23374
 2010-08-23 19:31:28 +00:00
Ludovic Courtès 8d6af9d471 GNU Gnash 0.8.8. 
svn path=/nixpkgs/trunk/; revision=23365
 2010-08-23 14:52:48 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad 
svn path=/nixpkgs/trunk/; revision=23352
 2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell 5c8b4043ee Adding espeak (and one of the libraries it needs, portaudio) 
svn path=/nixpkgs/trunk/; revision=23351
 2010-08-22 12:08:55 +00:00
Lluís Batlle i Rossell f093c8fb18 Making the navipowm store some files in it's $out/share, needed to make it work. 
Nevertheless it still looks for the ini file in the same directory as the executable.

svn path=/nixpkgs/trunk/; revision=23350
 2010-08-22 12:07:50 +00:00
Lluís Batlle i Rossell 9558cf93c4 Updating 'navit' to the latest svn version 
svn path=/nixpkgs/trunk/; revision=23349
 2010-08-22 12:07:03 +00:00
Lluís Batlle i Rossell 63eaf8dd0f Adding NaviPOWM (I don't know how to use it though) 
svn path=/nixpkgs/trunk/; revision=23348
 2010-08-22 12:04:03 +00:00
Lluís Batlle i Rossell 201d3ac791 Fixing the navit installation disabling the build of the sample map (so it does not have to 
download anything at build time)

svn path=/nixpkgs/trunk/; revision=23347
 2010-08-22 12:01:41 +00:00
Lluís Batlle i Rossell 86d5e94cda Adding 'navit' (it still does not build because it wants to download maps) 
svn path=/nixpkgs/trunk/; revision=23346
 2010-08-22 11:33:57 +00:00
Lluís Batlle i Rossell b8298c9cdd Adding a patch file I forgot for w3m, while the nix expression already refers to it. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23340
 2010-08-21 20:13:02 +00:00
Yury G. Kudryashov 3537d94672 Move yakuake to pkgs 
svn path=/nixpkgs/trunk/; revision=23331
 2010-08-21 19:30:15 +00:00
Yury G. Kudryashov 682e4ae09e Move konversation to pkgs 
svn path=/nixpkgs/trunk/; revision=23330
 2010-08-21 19:29:47 +00:00
Lluís Batlle i Rossell 7d3e0c542c Making w3m build with a newer boehm-gc 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23318
 2010-08-21 17:07:03 +00:00
Lluís Batlle i Rossell e0b377fd81 Adding mpg123 (it even cross-builds fine for the nanonote) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23313
 2010-08-21 16:54:02 +00:00
Yury G. Kudryashov 62ddc0e6df Use tarball snapshot 
svn:externals cause problems with fetchsvn.

svn path=/nixpkgs/trunk/; revision=23292
 2010-08-20 21:36:11 +00:00
Yury G. Kudryashov 879baa7c58 MPlayer: various updates 
1. Add pulseaudio and xsreensaver support
2. Use default arguments instead of custom args in all-packages.nix.
3. Remove ? null. callPackage passes all these args anyway.
4. Add binary codecs for non-i686 platforms. Have no video to test.
5. Use fetchsvn instead of gentoo-made snapshot.

svn path=/nixpkgs/trunk/; revision=23285
 2010-08-20 20:09:22 +00:00
Lluís Batlle i Rossell f16353b6f2 Updated from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
 2010-08-20 13:41:12 +00:00
Rob Vermaas 544cb2a0c9 updated calibre to 0.7.14 
svn path=/nixpkgs/trunk/; revision=23268
 2010-08-20 09:07:35 +00:00
Ludovic Courtès b4f887b7fb GNU Zile 2.3.19. 
svn path=/nixpkgs/trunk/; revision=23254
 2010-08-19 16:53:28 +00:00
Armijn Hemel f194a8aa93 update to 2.7.3 
svn path=/nixpkgs/trunk/; revision=23215
 2010-08-17 20:28:40 +00:00
Eelco Dolstra 4cbec5ca20 * Latest Flash player. 
svn path=/nixpkgs/trunk/; revision=23204
 2010-08-17 13:13:34 +00:00
Yury G. Kudryashov 5422f21700 xscreensaver: move hacks to default location, use stdenv, more deps 
svn path=/nixpkgs/trunk/; revision=23161
 2010-08-13 14:06:23 +00:00