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

4482 commits

Author SHA1 Message Date
Ludovic Courtès bcba3664d9 Add U-Boot for the GuruPlug. 
svn path=/nixpkgs/trunk/; revision=24060
 2010-10-04 22:23:57 +00:00
Russell O'Connor b36f4c74bd openjade requires a version of opensp built with gcc33 in order to compile. 
svn path=/nixpkgs/trunk/; revision=24057
 2010-10-04 17:05:22 +00:00
Russell O'Connor 228303d47e Merging roconnor's and ludo' texmacs derivations. 
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.

svn path=/nixpkgs/trunk/; revision=24054
 2010-10-04 15:07:38 +00:00
Peter Simons a0bee2ae1b pkgs/top-level/all-packages.nix: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=24045
 2010-10-04 09:49:25 +00:00
Peter Simons 600b4b7ee7 Moved "flup" from all-packages.nix into python-packages.nix. 
svn path=/nixpkgs/trunk/; revision=24044
 2010-10-04 09:49:09 +00:00
Evgeny Egorochkin ef403beb48 Gobby: rename to gobby5 because it's apparently still considered very new and incompatible with stable gobby4 
svn path=/nixpkgs/trunk/; revision=24043
 2010-10-04 04:15:55 +00:00
Evgeny Egorochkin c9ad6ec90a Packaged Gobby 
svn path=/nixpkgs/trunk/; revision=24040
 2010-10-04 04:15:23 +00:00
Russell O'Connor f947527f18 removing tsocks as it has been replaced by torsocks. 
svn path=/nixpkgs/trunk/; revision=24013
 2010-10-01 04:00:45 +00:00
Russell O'Connor 90aa3c3c3c New derivation for torsocks. 
This will replace tsocks.


svn path=/nixpkgs/trunk/; revision=24011
 2010-10-01 02:38:03 +00:00
Lluís Batlle i Rossell 1019692db7 Adding the game engine 'instead' and some games. 
svn path=/nixpkgs/trunk/; revision=24009
 2010-09-30 18:58:48 +00:00
Michael Raskin cffebf17a2 Add Git version of mdbtools - UCS-2 capable 
svn path=/nixpkgs/trunk/; revision=24007
 2010-09-30 16:50:37 +00:00
Eelco Dolstra 3cae924440 * Updated WebDSL. 
* Made Stratego/XT 0.18 the default.

svn path=/nixpkgs/trunk/; revision=23994
 2010-09-30 10:49:02 +00:00
Andres Löh 9d5f981913 Updated the Idris compiler. 
svn path=/nixpkgs/trunk/; revision=23991
 2010-09-29 19:24:29 +00:00
Lluís Batlle i Rossell 7eb92a7821 Adding kadu 
(patch by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23988
 2010-09-28 22:37:44 +00:00
Lluís Batlle i Rossell cecffb9df5 Adding crack-attack 
(patch sent by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23987
 2010-09-28 22:37:27 +00:00
Andres Löh f6e3110b74 Preliminarily added ghc-7.0.1-rc1 and current HEAD. 
svn path=/nixpkgs/trunk/; revision=23985
 2010-09-28 13:48:22 +00:00
Evgeny Egorochkin a774549139 uni2ascii: packaged 
Patch by Cillian de Róiste

svn path=/nixpkgs/trunk/; revision=23984
 2010-09-28 09:48:15 +00:00
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
 2010-09-28 09:33:56 +00:00
Evgeny Egorochkin 352b0de4a6 libctemplate: packaged. 
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=23981
 2010-09-28 09:33:42 +00:00
Evgeny Egorochkin f3ad9868b4 Paramiko: packaged. 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23980
 2010-09-28 09:33:35 +00:00
Evgeny Egorochkin e143b506e9 Taglib: packaged a pre-1.7 snapshot 
svn path=/nixpkgs/trunk/; revision=23979
 2010-09-28 09:33:28 +00:00
Yury G. Kudryashov 5017cdb706 Add json-glib 
svn path=/nixpkgs/trunk/; revision=23961
 2010-09-27 11:18:28 +00:00
Yury G. Kudryashov b9fb4fee61 Move amarok from kde4. to applications/audio 
svn path=/nixpkgs/trunk/; revision=23956
 2010-09-26 19:40:30 +00:00
Yury G. Kudryashov 086945942d Add mutagen, upgrade libgpod 
svn path=/nixpkgs/trunk/; revision=23955
 2010-09-26 19:40:22 +00:00
Yury G. Kudryashov 842e80dd60 Add two lastfm libraries 
svn path=/nixpkgs/trunk/; revision=23954
 2010-09-26 19:40:15 +00:00
Yury G. Kudryashov f81af3dce0 Add libimobiledevice 
svn path=/nixpkgs/trunk/; revision=23953
 2010-09-26 19:40:07 +00:00
Yury G. Kudryashov cb623539b0 Add sg3_utils 
svn path=/nixpkgs/trunk/; revision=23949
 2010-09-26 19:39:42 +00:00
Yury G. Kudryashov 74abd6e9ad Add usbmuxd 
svn path=/nixpkgs/trunk/; revision=23948
 2010-09-26 19:39:35 +00:00
Yury G. Kudryashov 1eda454543 Add libmtp 
svn path=/nixpkgs/trunk/; revision=23947
 2010-09-26 19:39:28 +00:00
Yury G. Kudryashov 1f20ccb9e6 Add libplist 
svn path=/nixpkgs/trunk/; revision=23946
 2010-09-26 19:39:21 +00:00
Yury G. Kudryashov e04cdd1204 Add libusb-1.x 
svn path=/nixpkgs/trunk/; revision=23945
 2010-09-26 19:39:02 +00:00
Evgeny Egorochkin e41a0ef012 Flash player: part 2 
svn path=/nixpkgs/trunk/; revision=23934
 2010-09-26 05:05:24 +00:00
Evgeny Egorochkin e91ff5eabd Wine with patches for Warcraft 3 
svn path=/nixpkgs/trunk/; revision=23933
 2010-09-26 05:05:18 +00:00
Yury G. Kudryashov 58c09d0ff2 Move koffice to applications/office 
svn path=/nixpkgs/trunk/; revision=23900
 2010-09-22 18:04:55 +00:00
Yury G. Kudryashov 8e8662d828 Add libwpg 
svn path=/nixpkgs/trunk/; revision=23898
 2010-09-22 18:04:41 +00:00
Yury G. Kudryashov ca7165a043 Add xbase 
svn path=/nixpkgs/trunk/; revision=23897
 2010-09-22 18:04:34 +00:00
Evgeny Egorochkin 84a1800124 TSocks library: packaged 
svn path=/nixpkgs/trunk/; revision=23890
 2010-09-22 06:23:15 +00:00
Evgeny Egorochkin 7a607648dc KBluetooth: packaged 
svn path=/nixpkgs/trunk/; revision=23889
 2010-09-22 00:41:31 +00:00
Michael Raskin f82a0576ea Add ttf2pt1-cl-pdf which produces unicode maps for fonts 
svn path=/nixpkgs/trunk/; revision=23883
 2010-09-21 14:35:07 +00:00
Ludovic Courtès 332eca4ad9 Add Nix expression for Racket. 
Patch by Karn Kallio <tierpluspluslists@gmail.com>.

svn path=/nixpkgs/trunk/; revision=23881
 2010-09-21 12:31:11 +00:00
Evgeny Egorochkin 020cba6b98 Arora: packaged 
svn path=/nixpkgs/trunk/; revision=23877
 2010-09-20 22:16:16 +00:00
Evgeny Egorochkin 9c30b6d8cc Quassel: quick client fix 
svn path=/nixpkgs/trunk/; revision=23871
 2010-09-20 11:03:59 +00:00
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 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 9f696ae43e Revert "Make kernel work for me". Committed this by accident. 
This reverts commit 8a2cd2c99f26e5bd5c5a324e2a1712db8991379e.

svn path=/nixpkgs/trunk/; revision=23856
 2010-09-18 16:22:04 +00:00
Evgeny Egorochkin 5bc3007bf6 Make kernel work for me 
svn path=/nixpkgs/trunk/; revision=23855
 2010-09-18 16:20:06 +00:00
Evgeny Egorochkin cfd73f3c41 Quassel: added convenience packages for daemon and client 
svn path=/nixpkgs/trunk/; revision=23847
 2010-09-18 11:26:35 +00:00
Evgeny Egorochkin fafcfa4f5f AMule: Convenience packages for daemon and clent 
svn path=/nixpkgs/trunk/; revision=23846
 2010-09-18 11:26:30 +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
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
Ludovic Courtès 50e1e6147e Add `guruplug' platform. 
svn path=/nixpkgs/trunk/; revision=23834
 2010-09-17 15:56:47 +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
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 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
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
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
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
Andres Löh 772abcfaaa bugfix 
svn path=/nixpkgs/trunk/; revision=23763
 2010-09-13 16:01:33 +00:00
Yury G. Kudryashov 38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +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
Andres Löh ae49a474ff Added Hakyll and dependencies. 
svn path=/nixpkgs/trunk/; revision=23742
 2010-09-13 10:30:54 +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 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
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 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
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
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
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 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 7e27052bd6 Applying the patch adding 'detox' from Tom Ridge and Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=23655
 2010-09-06 07:21:08 +00:00
Michael Raskin 29db2ca0c9 Adding Ekiga 
svn path=/nixpkgs/trunk/; revision=23653
 2010-09-05 23:37:54 +00:00
Ludovic Courtès 895ba33eb4 Guile-Lib 0.1.9. 
svn path=/nixpkgs/trunk/; revision=23650
 2010-09-05 15:19:23 +00:00
Yury G. Kudryashov aa7164d7de Add grantlee 
svn path=/nixpkgs/trunk/; revision=23625
 2010-09-03 17:40:55 +00:00
Eelco Dolstra 3cfc942bdc * Added a function `applyGlobalOverrides' to return Nixpkgs with the 
specified overrides applied.  This does the same as the
  `packageOverrides' attribute in ~/.nixpkgs/config.nix, but can be
  used within all-packages.nix to do a "deep" override for some
  specific package.  For instance, to build Thunderbird with an older
  version of Glib, you can say:

    thunderbird3 =
      let
        pkgs = applyGlobalOverrides (pkgsOrig:
          { gtkLibs220 = pkgsOrig.gtkLibs220 // 
              { glib = pkgsOrig.gtkLibs218.glib; };
          });
      in
        pkgs.callPackage .../thunderbird/3.x.nix {
          inherit (pkgs.gnome) libIDL;
        };

  Note that `pkgsFun' now has an argument `pkgs' to refer to its own
  result.

* Moved callPackage etc. into pkgsFun so that it uses the right
  overriden packages, if applicable.  `defaultScope' isn't in the
  result set because that causes nix-env to go into an apparently
  infinite recursion.

* Dropped the optional pkgsOrig argument to ~/.nixpkgs/config.nix,
  because it's probably not useful or used.

svn path=/nixpkgs/trunk/; revision=23613
 2010-09-03 10:46:18 +00:00
Andres Löh c51b2a8beb Minor syntactic simplification. 
svn path=/nixpkgs/trunk/; revision=23607
 2010-09-03 07:16:57 +00:00
Andres Löh e208e8ae76 Added HaRe, the Haskell Refactorer. 
svn path=/nixpkgs/trunk/; revision=23599
 2010-09-02 10:02:26 +00:00
Andres Löh 6609f91e61 Fixing Haskell Platform attribute names in release.nix. 
svn path=/nixpkgs/trunk/; revision=23569
 2010-08-31 15:54:08 +00:00
Michael Raskin b7a15bae9f Adding libosip - GNU SIP library 
svn path=/nixpkgs/trunk/; revision=23555
 2010-08-31 09:58:09 +00:00
Andres Löh e94147754c Switching haskell-packages.nix to callPackage ... 
svn path=/nixpkgs/trunk/; revision=23551
 2010-08-30 17:10:21 +00:00
Rob Vermaas 1776b95afe added open-iscsi 
svn path=/nixpkgs/trunk/; revision=23541
 2010-08-30 09:40:44 +00:00
Rob Vermaas f6e0a38226 added iscsitarget 
svn path=/nixpkgs/trunk/; revision=23540
 2010-08-30 09:15:27 +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 66004ecba7 Update fuse and make wdfs build with the latest neon. neon026 does not build with the current 
SSL. We should either remove neon026 or fix it.

svn path=/nixpkgs/trunk/; revision=23505
 2010-08-29 12:27:41 +00:00
Michael Raskin d5f6f72342 Enable AUFS2 patch 
svn path=/nixpkgs/trunk/; revision=23499
 2010-08-29 10:38:39 +00:00
Lluís Batlle i Rossell 2377a46c8f Adding the game Advanced Strategic Command. 
I had to add an old version of libsigc++ for it.

svn path=/nixpkgs/trunk/; revision=23490
 2010-08-29 09:43:46 +00:00
Lluís Batlle i Rossell 159474361c Adding the game UFO: Alien Invasion. 
svn path=/nixpkgs/trunk/; revision=23488
 2010-08-29 00:45:29 +00:00
Rob Vermaas fedbaa9d7a remove pdfssa4met again, because it was added by accident 
svn path=/nixpkgs/trunk/; revision=23474
 2010-08-27 06:53:36 +00:00
Rob Vermaas 092ab39b1b added rdflib, pdfssa4met python packages 
svn path=/nixpkgs/trunk/; revision=23473
 2010-08-27 06:32:49 +00:00
Lluís Batlle i Rossell 9884d381c0 Tell hydra to build the kernels 2.6.34 and 2.6.35 
svn path=/nixpkgs/trunk/; revision=23472
 2010-08-26 20:53:10 +00:00
Eelco Dolstra fee41ba2fb * Make sitecopy build against Neon 0.29. 
svn path=/nixpkgs/trunk/; revision=23461
 2010-08-26 13:09:52 +00:00
Peter Simons a2aef1ab80 pkgs/top-level/python-packages.nix: pexpect doesn't have regression tests 
svn path=/nixpkgs/trunk/; revision=23459
 2010-08-26 12:52:43 +00:00
Peter Simons 0bc62c5ad7 pkgs/top-level/all-packages.nix: wrap emacs23Packages in "recurseIntoAttrs" so that these packages are visible in nix-env 
svn path=/nixpkgs/trunk/; revision=23456
 2010-08-26 12:21:15 +00:00
Peter Simons 3b94efffe5 pkgs/development/interpreters/python/2.5: removed obsolete python version 2.5 
Python 2.5 is unused in nixpkgs -- 2.6 has been the default version for
quite a while.

svn path=/nixpkgs/trunk/; revision=23454
 2010-08-26 12:09:42 +00:00
Peter Simons eb37b385f9 pkgs/top-level/python-packages.nix: added pexpect version 2.3 
svn path=/nixpkgs/trunk/; revision=23452
 2010-08-26 12:03:17 +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
Peter Simons d25c8b5882 pkgs/top-level/all-packages.nix: stripped trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23444
 2010-08-26 09:45:10 +00:00
Peter Simons f79ba3cde3 pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead 
svn path=/nixpkgs/trunk/; revision=23443
 2010-08-26 09:44:53 +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
Andres Löh 907b921c61 Applied (with edits) the patch provided by James Cook to add the 
Haskell fingertree library. Thanks for the contribution.

svn path=/nixpkgs/trunk/; revision=23424
 2010-08-25 13:08:32 +00:00
Ludovic Courtès 821c95173f libuuid: Add static cross-build for GNU/Hurd. 
svn path=/nixpkgs/trunk/; revision=23419
 2010-08-25 12:49:54 +00:00
Ludovic Courtès a806414146 libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted). 
svn path=/nixpkgs/trunk/; revision=23415
 2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell 02e4b5ffa4 Adding another nvidia legacy driver. (they have one more, '71'). 
I use their major numbers to distinguish.
They seem to do so in http://www.nvidia.com/object/unix.html .

svn path=/nixpkgs/trunk/; revision=23411
 2010-08-24 21:56:47 +00:00
Lluís Batlle i Rossell 4ecebb6465 Updating xmoto 
svn path=/nixpkgs/trunk/; revision=23409
 2010-08-24 19:59:06 +00:00
Lluís Batlle i Rossell 03ccbe3f78 Adding a more-or-less working 'egoboo'. I'll update to a better expression after some 
egoboo upstream work.

svn path=/nixpkgs/trunk/; revision=23408
 2010-08-24 19:36:42 +00:00
Michael Raskin 90603fd593 Update Midori 
svn path=/nixpkgs/trunk/; revision=23397
 2010-08-24 13:58:57 +00:00
Rob Vermaas 68a6fa773a added seperate meta-environment packages, use callpackage for aterm28 
svn path=/nixpkgs/trunk/; revision=23394
 2010-08-24 13:20:55 +00:00
Eelco Dolstra 8e73500282 * Gens/GS doesn't build on 64-bit systems. 
svn path=/nixpkgs/trunk/; revision=23390
 2010-08-24 09:57:57 +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
Peter Simons ed19b4faf0 Add Nix expression for Ur/Web. 
svn path=/nixpkgs/trunk/; revision=23381
 2010-08-24 08:25:07 +00:00
Peter Simons f101a46d19 Add libmhash, a cryptographic hash library. 
Add Nix expression to package libmhash, a library providing a collection
of cryptographic hash algorithms.

svn path=/nixpkgs/trunk/; revision=23379
 2010-08-24 08:24:33 +00:00
Peter Simons f17a4cfbf9 Add package mlton, an optimizing compiler for Standard ML. 
This commit packages mlton.  Note that the documentation has not
been built or included.

svn path=/nixpkgs/trunk/; revision=23378
 2010-08-24 08:23:16 +00:00
Eelco Dolstra 261a3eec35 * Added Gens/GS, a Mega Drive emulator. 
svn path=/nixpkgs/trunk/; revision=23377
 2010-08-23 20:28:14 +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
Eelco Dolstra 554b5f804a * Added libcloud. 
svn path=/nixpkgs/trunk/; revision=23355
 2010-08-23 10:17:30 +00:00
Lluís Batlle i Rossell 53b8411c7a Adding torcs 
svn path=/nixpkgs/trunk/; revision=23354
 2010-08-22 14:18:58 +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 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 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
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
Yury G. Kudryashov 608cde4f82 Explicit pkgs.prefix 
svn path=/nixpkgs/trunk/; revision=23329
 2010-08-21 19:27:31 +00:00
Yury G. Kudryashov 8d7045e1ff Disable fbcondecor patch - doesn't work with 2.6.35.2 
svn path=/nixpkgs/trunk/; revision=23301
 2010-08-21 09:56:01 +00:00
Michael Raskin 202cd08724 Looks like 2.6.35.2 commits a fix that breaks AUFS2 
svn path=/nixpkgs/trunk/; revision=23295
 2010-08-20 21:39:22 +00:00
Michael Raskin 2497cff295 Use AUFS2 patch for Linux 2_6_35 
svn path=/nixpkgs/trunk/; revision=23289
 2010-08-20 20:49:33 +00:00
Yury G. Kudryashov 3beeb6611a Use pkgs. in override, override qjson in kde-4.5 
svn path=/nixpkgs/trunk/; revision=23287
 2010-08-20 20:13:01 +00:00
Yury G. Kudryashov 10c5146a78 Add fbcondecor-2.6.35 
svn path=/nixpkgs/trunk/; revision=23286
 2010-08-20 20:12:03 +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
Eelco Dolstra 3be78e74fb * Added xmlstarlet. 
svn path=/nixpkgs/trunk/; revision=23271
 2010-08-20 10:07:35 +00:00
Eelco Dolstra 9d4feab5c5 * NixOS: use nixStable. 
svn path=/nixpkgs/trunk/; revision=23267
 2010-08-20 08:52:59 +00:00
Eelco Dolstra e8f1c8a08a * Check eval-release.nix. 
svn path=/nixpkgs/trunk/; revision=23250
 2010-08-19 14:33:44 +00:00