Commit graph

2138 commits

Author SHA1 Message Date
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
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
Michael Raskin
ee731b9a4d Updating veracity
svn path=/nixpkgs/trunk/; revision=23590
2010-09-01 10:12:56 +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
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