Michael Raskin
48ee2b7efb
Fixing EQL evalutaion
...
svn path=/nixpkgs/trunk/; revision=23845
2010-09-17 22:08:50 +00:00
Yury G. Kudryashov
b8b2e300be
soprano-2.5.2
...
svn path=/nixpkgs/trunk/; revision=23844
2010-09-17 20:36:25 +00:00
Michael Raskin
49bc04ad32
Use git commit as version
...
svn path=/nixpkgs/trunk/; revision=23843
2010-09-17 20:23:16 +00:00
Michael Raskin
b2c555ee02
Add EQL (Embeddable Common Lisp + Qt)
...
svn path=/nixpkgs/trunk/; revision=23842
2010-09-17 19:52:50 +00:00
Lluís Batlle i Rossell
83bfd42534
Fixing the mtdutils package (install to proper LSB like directories, and remove 'v' in front
...
of the version, which annoyed nix-env name matching)
svn path=/nixpkgs/trunk/; revision=23839
2010-09-17 18:57:38 +00:00
David Guibert
8ee5697147
add cherrypy, a pythonic, object-oriented HTTP framework
...
svn path=/nixpkgs/trunk/; revision=23838
2010-09-17 17:34:08 +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
Lluís Batlle i Rossell
cb8654eba6
Updating asciidoc (hoping it will run faster)
...
svn path=/nixpkgs/trunk/; revision=23835
2010-09-17 17:21:56 +00:00
Ludovic Courtès
50e1e6147e
Add `guruplug' platform.
...
svn path=/nixpkgs/trunk/; revision=23834
2010-09-17 15:56:47 +00:00
Ludovic Courtès
078353fc15
Linux: Add GuruPlug-related patches.
...
svn path=/nixpkgs/trunk/; revision=23833
2010-09-17 15:56:42 +00:00
Ludovic Courtès
2739c3aa1e
Update Nix unstable.
...
svn path=/nixpkgs/trunk/; revision=23832
2010-09-17 15:56:15 +00:00
Peter Simons
84302a3554
pkgs/top-level/all-packages.nix: strip trailing white space, no functional change
...
svn path=/nixpkgs/trunk/; revision=23830
2010-09-17 14:47:02 +00:00
Peter Simons
c8fbebe6b6
pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX
...
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.
svn path=/nixpkgs/trunk/; revision=23829
2010-09-17 14:46:55 +00:00
Peter Simons
9640592265
pkgs/misc/ghostscript/default.nix: strip trailing white space, no functional change
...
svn path=/nixpkgs/trunk/; revision=23828
2010-09-17 14:46:49 +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
Yury G. Kudryashov
bd6da9f5f3
Use stdenv2 in podofo
...
svn path=/nixpkgs/trunk/; revision=23817
2010-09-16 08:40:47 +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
Yury G. Kudryashov
f139236666
podofo-0.8.2, metainfo
...
svn path=/nixpkgs/trunk/; revision=23811
2010-09-15 18:37:38 +00:00
Yury G. Kudryashov
48c13f4096
Update cmake
...
Use system libraries, make curses optional, add optional qt4 gui etc.
svn path=/nixpkgs/trunk/; revision=23810
2010-09-15 18:37:21 +00:00
Yury G. Kudryashov
10376e7ba1
More metadata
...
svn path=/nixpkgs/trunk/; revision=23808
2010-09-15 12:57:49 +00:00
Lluís Batlle i Rossell
e6a787f44a
Making lua and boost cross-build.
...
svn path=/nixpkgs/trunk/; revision=23807
2010-09-15 09:56:06 +00:00
Michael Raskin
6babe5dea4
Update Veracity
...
svn path=/nixpkgs/trunk/; revision=23806
2010-09-15 08:42:46 +00:00
Yury G. Kudryashov
dd37d34e5f
kdeadmin-4.5.1, kdeplasma-addons-4.5.1. Have no time to split
...
svn path=/nixpkgs/trunk/; revision=23805
2010-09-15 05:19:44 +00:00
Yury G. Kudryashov
f0418c74b6
kdegames-4.5.1
...
svn path=/nixpkgs/trunk/; revision=23804
2010-09-15 05:19:35 +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
Lluís Batlle i Rossell
d0b42b2927
Making the firefox java plugin work in i686-linux and x86_64-linux.
...
It should work for both firefox 3.6 and firefox 3.5 (said roconnor on irc).
Thanks to the wiki page http://wiki.nixos.org/wiki/Java_in_Firefox which explained
why what we had did not work.
svn path=/nixpkgs/trunk/; revision=23801
2010-09-14 15:14:18 +00:00
Lluís Batlle i Rossell
76a02e762a
Allowing boost build enabling parallelBuilds
...
svn path=/nixpkgs/trunk/; revision=23800
2010-09-14 14:47:16 +00:00
Lluís Batlle i Rossell
7471ffb76d
Fixing the plugin directory for the jdk6 i686-linux
...
svn path=/nixpkgs/trunk/; revision=23799
2010-09-14 14:47:12 +00:00
Yury G. Kudryashov
ecc9b176b0
kdemultimedia: tunepimp, musicbrainz
...
svn path=/nixpkgs/trunk/; revision=23798
2010-09-14 14:29:49 +00:00
Yury G. Kudryashov
647ccb48ad
Forgotten to add patch to patches array
...
svn path=/nixpkgs/trunk/; revision=23797
2010-09-14 14:29:43 +00:00
Yury G. Kudryashov
2ecfb5cd9d
Add libtunepimp
...
svn path=/nixpkgs/trunk/; revision=23796
2010-09-14 14:29:37 +00:00
Yury G. Kudryashov
163e453e10
Add mp4v2
...
svn path=/nixpkgs/trunk/; revision=23795
2010-09-14 14:29:31 +00:00
Yury G. Kudryashov
5f4795b5f1
Add libofa
...
svn path=/nixpkgs/trunk/; revision=23794
2010-09-14 14:29:25 +00:00
Yury G. Kudryashov
09c85666cd
Add libmusicbrainz 2.x and 3.x
...
svn path=/nixpkgs/trunk/; revision=23793
2010-09-14 14:29:19 +00:00
Yury G. Kudryashov
359b360fc2
Add libdiscid
...
svn path=/nixpkgs/trunk/; revision=23792
2010-09-14 14:29:13 +00:00
Yury G. Kudryashov
95b08e5381
kdegraphics-4.5.1
...
svn path=/nixpkgs/trunk/; revision=23791
2010-09-14 14:29:08 +00:00
Yury G. Kudryashov
76a3eb02d3
kdeutils-4.5.1
...
svn path=/nixpkgs/trunk/; revision=23790
2010-09-14 14:29:01 +00:00
Yury G. Kudryashov
bb568e7467
Delete unused files
...
svn path=/nixpkgs/trunk/; revision=23789
2010-09-14 14:28:55 +00:00
Eelco Dolstra
cdecced3b0
* Fix various references to /usr.
...
svn path=/nixpkgs/trunk/; revision=23788
2010-09-14 13:50:32 +00:00
Eelco Dolstra
7f2af6acfd
svn path=/nixpkgs/trunk/; revision=23784
2010-09-14 12:15:06 +00:00
Eelco Dolstra
9dbbae2c0c
* bridge-utils updated to 1.4.
...
svn path=/nixpkgs/trunk/; revision=23778
2010-09-14 10:54:50 +00:00
Lluís Batlle i Rossell
daea455d15
Removing coreutils_real from release-cross.
...
It had to be 'coreutils' instead, but I don't think they cross-build. They
cross-build only in stdenv-updates I tihnk.
svn path=/nixpkgs/trunk/; revision=23774
2010-09-13 21:16:10 +00:00
Michael Raskin
b49a2d16b2
Add overridability to gnome
...
svn path=/nixpkgs/trunk/; revision=23773
2010-09-13 20:54:46 +00:00
Yury G. Kudryashov
75f08dffa6
kdewebdev-4.5.1, splitted
...
svn path=/nixpkgs/trunk/; revision=23771
2010-09-13 20:14:45 +00:00
Yury G. Kudryashov
ddce0423d9
Fix kde-4.5 kscreensaver
...
svn path=/nixpkgs/trunk/; revision=23768
2010-09-13 17:34:19 +00:00
Yury G. Kudryashov
82d07ebaa2
Fix libktorrent compilation with kde-4.4
...
svn path=/nixpkgs/trunk/; revision=23767
2010-09-13 17:34:14 +00:00
Andres Löh
772abcfaaa
bugfix
...
svn path=/nixpkgs/trunk/; revision=23763
2010-09-13 16:01:33 +00:00
Eelco Dolstra
2202d32006
* Add stringAfter' as a synonym of
fullDepEntry', with the arguments
...
flipped to denote what it actually does (i.e., a string fragment
that comes *after* the named fragments). One day we can have
`stringBefore'.
svn path=/nixpkgs/trunk/; revision=23761
2010-09-13 15:31:06 +00:00
Yury G. Kudryashov
ea18f17f8c
kdetoys-4.5.1, splitted
...
svn path=/nixpkgs/trunk/; revision=23759
2010-09-13 14:23:36 +00:00
Yury G. Kudryashov
20b190b582
kdesdk-4.5.1, splitted
...
svn path=/nixpkgs/trunk/; revision=23758
2010-09-13 14:23:29 +00:00
Yury G. Kudryashov
c4beccaf1a
Remove unused patch
...
svn path=/nixpkgs/trunk/; revision=23757
2010-09-13 14:23:21 +00:00
Yury G. Kudryashov
84040e15cc
kdenetwork-4.5.1, kdeedu-4.5.1
...
svn path=/nixpkgs/trunk/; revision=23756
2010-09-13 14:23:16 +00:00
Yury G. Kudryashov
e723e53699
Use new ktorrent in kde44
...
svn path=/nixpkgs/trunk/; revision=23755
2010-09-13 14:23:08 +00:00
Yury G. Kudryashov
38dec40ddc
Upgrade ktorrent
...
svn path=/nixpkgs/trunk/; revision=23754
2010-09-13 14:23:02 +00:00
Yury G. Kudryashov
61dd03faa8
Upgrade libktorrent
...
svn path=/nixpkgs/trunk/; revision=23753
2010-09-13 14:22:56 +00:00
Yury G. Kudryashov
d611b0aedb
Upgrade&split kdeartwork
...
svn path=/nixpkgs/trunk/; revision=23752
2010-09-13 14:22:51 +00:00
Yury G. Kudryashov
20a0469f1c
kdebase-{runtime,workspace}, kdebindings
...
svn path=/nixpkgs/trunk/; revision=23751
2010-09-13 14:22:43 +00:00
Yury G. Kudryashov
255acffe14
ebook-tools-0.2.0
...
svn path=/nixpkgs/trunk/; revision=23750
2010-09-13 14:22:37 +00:00
Andres Löh
c7f570b473
Addressing problem with conflicting versions of Haskell's time library.
...
svn path=/nixpkgs/trunk/; revision=23746
2010-09-13 12:07:14 +00:00
Michael Raskin
58722fa393
Update veracity
...
svn path=/nixpkgs/trunk/; revision=23745
2010-09-13 11:54:30 +00:00
Andres Löh
ae49a474ff
Added Hakyll and dependencies.
...
svn path=/nixpkgs/trunk/; revision=23742
2010-09-13 10:30:54 +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
Nicolas Pierron
7f8037cfd7
Add additional shortcuts frequently used in NixOS.
...
svn path=/nixpkgs/trunk/; revision=23733
2010-09-10 18:03:16 +00:00
Eelco Dolstra
13f346058c
* Add a branch of the Linux kernel that can be used in Xen's Dom0.
...
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x
svn path=/nixpkgs/trunk/; revision=23729
2010-09-10 16:27:39 +00:00
Eelco Dolstra
3b4c29781b
* Turn off obsolete kernels.
...
svn path=/nixpkgs/trunk/; revision=23722
2010-09-10 14:12:15 +00:00
Eelco Dolstra
ead1b8bc5c
* Move config-blocks.nix to zen-kernel where it's used.
...
svn path=/nixpkgs/trunk/; revision=23721
2010-09-10 14:07:22 +00:00
Eelco Dolstra
9ff5c12798
* Remove the systemtap option from linux-2.6.32.nix and use
...
extraConfig instead.
svn path=/nixpkgs/trunk/; revision=23720
2010-09-10 14:06:56 +00:00
Ludovic Courtès
193799ec3d
nixBuild: Add `buildOutOfSourceTree' option.
...
svn path=/nixpkgs/trunk/; revision=23717
2010-09-10 12:39:57 +00:00
Eelco Dolstra
6021bcf0dc
* Updated the GRUB 0.97 patchset from Gentoo to 1.10.
...
svn path=/nixpkgs/trunk/; revision=23715
2010-09-10 12:21:43 +00:00
Ludovic Courtès
582c02b1c0
GNU Parallel 20100906.
...
svn path=/nixpkgs/trunk/; revision=23714
2010-09-10 11:50:17 +00:00
Ludovic Courtès
9fd0fdebd9
GNU Mailutils 2.2.
...
svn path=/nixpkgs/trunk/; revision=23713
2010-09-10 11:50:11 +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
Eelco Dolstra
df1d0752eb
* Get rid of the template argument in mkOverride.
...
svn path=/nixpkgs/trunk/; revision=23709
2010-09-10 09:31:31 +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
Yury G. Kudryashov
e7c7d6a00d
kdepim, kdepim-runtime, kdebase upgrade
...
svn path=/nixpkgs/trunk/; revision=23707
2010-09-09 20:04:56 +00:00
Yury G. Kudryashov
e7ca8b0d84
(un)propagate some buildInputs
...
svn path=/nixpkgs/trunk/; revision=23706
2010-09-09 20:04:50 +00:00
Eelco Dolstra
d4c7538648
* Add "gtk" to the top-level scope (just like "glib") and remove all
...
those "inherit (gtkLibs) gtk" lines.
svn path=/nixpkgs/trunk/; revision=23699
2010-09-09 16:48:13 +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
220025a6ec
pkgs/development/libraries/eventlog: updated to version 0.2.12
...
svn path=/nixpkgs/trunk/; revision=23696
2010-09-09 16:06:31 +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
Rob Vermaas
03706558a9
maven-build: do full assembly without tests, add site to build products
...
svn path=/nixpkgs/trunk/; revision=23694
2010-09-09 10:47:54 +00:00
Peter Simons
3bb0a18f0c
pkgs/development/libraries/t1lib: updated to version 5.1.2
...
svn path=/nixpkgs/trunk/; revision=23693
2010-09-09 09:43:33 +00:00
Rob Vermaas
62eb8741ce
maven-build: only copy site dir if it exists
...
svn path=/nixpkgs/trunk/; revision=23692
2010-09-09 07:22:45 +00:00
Rob Vermaas
b601947bcb
maven-build: copy whole site dir and adapted hydra-build-products
...
svn path=/nixpkgs/trunk/; revision=23691
2010-09-09 07:19:12 +00:00
Peter Simons
7b4678b6d8
pkgs/tools/misc/syslog-ng: updated to version 3.1.2
...
svn path=/nixpkgs/trunk/; revision=23686
2010-09-08 13:28:05 +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
Marco Maggesi
a280a31f56
Add a patch to dmtcp to allow the restart of checkpointed programs with a different uid.
...
(This is required in order to generate hol_light_binaries).
Also do a bit of cleanup.
svn path=/nixpkgs/trunk/; revision=23684
2010-09-08 11:40:32 +00:00
Yury G. Kudryashov
f802a70d87
Update gem-nix patch to use ''...'' instead of "..."
...
Also update ruby libs
svn path=/nixpkgs/trunk/; revision=23683
2010-09-08 09:56:59 +00:00
Yury G. Kudryashov
17c70d3efd
Mass rubygems update
...
* Upgrade to rubygems-1.3.7
* Upgrade all gems
* Add rails3
svn path=/nixpkgs/trunk/; revision=23682
2010-09-08 09:56:53 +00:00
Yury G. Kudryashov
40a7243ed3
ruby: upgrade, optional docs
...
svn path=/nixpkgs/trunk/; revision=23681
2010-09-08 09:56:46 +00:00
Yury G. Kudryashov
14a8df0615
kdepimlibs-4.5.1
...
svn path=/nixpkgs/trunk/; revision=23680
2010-09-08 09:56:40 +00:00