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
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