cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
11764 commits 1 branch 0 tags 3.7 GiB
Commit graph

11546 commits

Author SHA1 Message Date
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
Rob Vermaas
a074da499c vm/default.nix: updating debian lenny hashes 
svn path=/nixpkgs/trunk/; revision=23674
 2010-09-07 14:33:46 +00:00
Andres Löh
07cabc717b Version bump for uu-parsinglib. 
svn path=/nixpkgs/trunk/; revision=23673
 2010-09-07 13:40:02 +00:00
Andres Löh
9534550af5 gitit should now work with ghc-6.12.3 
svn path=/nixpkgs/trunk/; revision=23671
 2010-09-07 13:11:21 +00:00
Andres Löh
923d30959f Added yst; updated happstack, pandoc, gitit and dependencies. 
svn path=/nixpkgs/trunk/; revision=23670
 2010-09-07 12:58:07 +00:00
Andres Löh
b936683cc4 Small refactoring to prepare for future changes. 
svn path=/nixpkgs/trunk/; revision=23669
 2010-09-07 12:58:01 +00:00
Rob Vermaas
d9f435106c lua5: re-enable -fPIC for lua5 
svn path=/nixpkgs/trunk/; revision=23668
 2010-09-07 12:56:49 +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
d460ffc554 uucp: Fetch from mirror://gnu; add `meta'. 
svn path=/nixpkgs/trunk/; revision=23661
 2010-09-07 08:02:36 +00:00
Ludovic Courtès
e4ef870382 Remove another reference to attribute `guileLib'. 
svn path=/nixpkgs/trunk/; revision=23660
 2010-09-06 15:36:41 +00:00
Ludovic Courtès
420adcd354 Remove another reference to attribute `guileLib'. 
svn path=/nixpkgs/trunk/; revision=23659
 2010-09-06 08:45:24 +00:00
Ludovic Courtès
f2b9328a31 Fix references to the guileLib' attribute, now guile_lib'. 
svn path=/nixpkgs/trunk/; revision=23658
 2010-09-06 07:58:17 +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