Commit graph

4555 commits

Author SHA1 Message Date
Michael Raskin 9a6c3e6fe9 Nix trunk requires pkgconfig
svn path=/nixpkgs/trunk/; revision=24541
2010-10-30 12:01:02 +00:00
Michael Raskin 9af1c42473 Pass BoehmGC to Nix
svn path=/nixpkgs/trunk/; revision=24540
2010-10-30 11:21:06 +00:00
Russell O'Connor cb72dd1ba8 Dwarf Fortress
The wrapper script works by creating an image of the distribution in the users home directory
(defaulting to $HOME/.config/df_linux).  This is done because the program expects to write
state into it's own distribution.

Better ideas are welcome!

What further is needed is to allow users to configure the init.  One way is to use nix-config
to apply patches to the init.txt file, though this would break sharing of the package between
different users.


svn path=/nixpkgs/trunk/; revision=24538
2010-10-30 06:00:44 +00:00
Peter Simons 15ef8b5721 Fixed pysvn mis-detection of the location of libpyton2.7.dylib on Darwin.
svn path=/nixpkgs/trunk/; revision=24529
2010-10-29 14:46:32 +00:00
Peter Simons a9d91547ba pysvn: e2fsprogs is a buildInput on Linux, but not on other platforms
svn path=/nixpkgs/trunk/; revision=24528
2010-10-29 14:46:24 +00:00
Eelco Dolstra 8aa38f953c * Get Teamspeak 3 to work. This is the x86_64-linux build, I'll add
i686-linux later.

svn path=/nixpkgs/trunk/; revision=24516
2010-10-28 17:45:18 +00:00
Peter Simons 7ec0584160 Added fileschanged version 0.6.9.
svn path=/nixpkgs/trunk/; revision=24511
2010-10-28 11:10:09 +00:00
Peter Simons 8223f8016d pkgs/top-level/python-packages.nix: added pysvn version 1.7.2
svn path=/nixpkgs/trunk/; revision=24504
2010-10-27 15:00:07 +00:00
Lluís Batlle i Rossell fdc0738e0b Adding lxc userland tools.
svn path=/nixpkgs/trunk/; revision=24502
2010-10-26 21:11:47 +00:00
Eelco Dolstra 85a0cd1385 * A better fix for the Xen clock problem.
svn path=/nixpkgs/trunk/; revision=24488
2010-10-26 13:08:51 +00:00
Peter Simons 4f784157f1 pkgs/development/tools/misc/distcc: allow users to override sysconfdir
svn path=/nixpkgs/trunk/; revision=24486
2010-10-26 11:14:40 +00:00
Evgeny Egorochkin 35dc7d6f3c paramiko: fix chroot build: use pycrypto from Nixpkgs instead of getting it from the network.
mysql-workbench: minor cleanup.
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=24482
2010-10-26 01:42:22 +00:00
Eelco Dolstra 5762edd607 * Linux 2.6.32: revert upstream patch
489fb490dbf8dab0249ad82b56688ae3842a79e8.  It causes the DomU clock
  to jump into the future and freeze after being saved and restored
  across a Dom0 reboot.  See 

    http://lists.xensource.com/archives/html/xen-devel/2010-10/msg00498.html
    http://lists.xensource.com/archives/html/xen-devel/2010-10/msg01174.html

svn path=/nixpkgs/trunk/; revision=24473
2010-10-25 16:36:42 +00:00
Peter Simons ef4a03f3da Moved tools/misc/psmisc to os-specific/linux/psmisc.
svn path=/nixpkgs/trunk/; revision=24469
2010-10-25 14:38:37 +00:00
Michael Raskin ec500ae264 Add libfixposix
svn path=/nixpkgs/trunk/; revision=24462
2010-10-25 05:52:13 +00:00
Lluís Batlle i Rossell d6f4a6d968 Updating eaglemode.
svn path=/nixpkgs/trunk/; revision=24456
2010-10-24 21:27:31 +00:00
Lluís Batlle i Rossell 0cb7f90cac Adding caneda
svn path=/nixpkgs/trunk/; revision=24450
2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell 227c632d18 Adding qucs
svn path=/nixpkgs/trunk/; revision=24449
2010-10-24 17:00:57 +00:00
Michael Raskin 65ec046a15 Fix uzbl build
svn path=/nixpkgs/trunk/; revision=24440
2010-10-23 20:54:07 +00:00
Lluís Batlle i Rossell 3592b9a796 Adding unarj
svn path=/nixpkgs/trunk/; revision=24430
2010-10-23 14:55:14 +00:00
Lluís Batlle i Rossell 327a2eae30 Changing the 'enableAdobeFlash' firefox/icecat wrapper option, so its negative
value does not mean "install gnash". I added an enableGnash check instead.

I've kept the default of Adobe Flash.

svn path=/nixpkgs/trunk/; revision=24428
2010-10-23 14:42:36 +00:00
Eelco Dolstra 2677562f8c * Remove Compiz Fusion (obsolete).
svn path=/nixpkgs/trunk/; revision=24414
2010-10-22 11:00:02 +00:00
Michael Raskin fb8e4c950f Adding fdm
svn path=/nixpkgs/trunk/; revision=24409
2010-10-21 22:03:36 +00:00
Peter Simons 7b630f442c Added an expression for mod_wsgi-3.3, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24408
2010-10-21 15:39:58 +00:00
Peter Simons c7a87b1669 Added an expression for mod_fastcgi-2.4.6, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24406
2010-10-21 15:39:48 +00:00
Michael Raskin ac19af507f Adding Linux 2.6.36
svn path=/nixpkgs/trunk/; revision=24403
2010-10-21 12:28:14 +00:00
Eelco Dolstra 3ac4025945 * Add some packages to the channel.
svn path=/nixpkgs/trunk/; revision=24397
2010-10-21 11:18:30 +00:00
Peter Simons 5019f883f3 pkgs/tools/text/recode: added (heavily patched) version 3.6
svn path=/nixpkgs/trunk/; revision=24384
2010-10-20 13:05:49 +00:00
Rob Vermaas 202774b93e added ftgl, gource
svn path=/nixpkgs/trunk/; revision=24379
2010-10-20 10:53:45 +00:00
Eelco Dolstra f58a799695 * Updated Compiz to 0.8.6 (replacing the old Compiz and Compiz Fusion
expressions).  Also added patches to allow Compiz and ccsm to find
  plugins installed outside of its prefix.

svn path=/nixpkgs/trunk/; revision=24373
2010-10-19 23:22:24 +00:00
Ludovic Courtès c75c5a5991 Add MP3Info, an MP3 tag editor.
svn path=/nixpkgs/trunk/; revision=24363
2010-10-19 13:19:59 +00:00
Ludovic Courtès ce292f38f9 Add IcedTea.
This is an old attempt at making it work.  Help welcome!

svn path=/nixpkgs/trunk/; revision=24360
2010-10-19 08:19:46 +00:00
Yury G. Kudryashov c55c317e24 Fix evaluation
svn path=/nixpkgs/trunk/; revision=24349
2010-10-18 12:18:07 +00:00
Sander van der Burg 0cc4ca1fcd Changed my dirty libiconv hacks I once made for i686-freebsd, into a more consistent manner by checking for a non-Linux platform in the build expressions. Hopefully, this increases portability for non-Linux platforms
svn path=/nixpkgs/trunk/; revision=24347
2010-10-18 11:30:44 +00:00
Yury G. Kudryashov 4f27541261 Advance k3b version to 2.0.1.
Submitted by Karn Kallio

svn path=/nixpkgs/trunk/; revision=24338
2010-10-18 09:48:32 +00:00
Michael Raskin bc73cd0f7e Add ripmime - MIME attachment extractor tool
svn path=/nixpkgs/trunk/; revision=24337
2010-10-18 09:43:17 +00:00
Michael Raskin b2e9e9757c Adding philter mail sorter
svn path=/nixpkgs/trunk/; revision=24336
2010-10-18 05:33:31 +00:00
Michael Raskin e53d966a21 Add getmail
svn path=/nixpkgs/trunk/; revision=24334
2010-10-17 19:30:59 +00:00
Yury G. Kudryashov c703c1d560 hspell (another KDE dependency)
svn path=/nixpkgs/trunk/; revision=24331
2010-10-17 18:44:00 +00:00
Ludovic Courtès 80fee739e2 GNU Automake: Default to 1.11.x.
svn path=/nixpkgs/trunk/; revision=24299
2010-10-15 12:09:10 +00:00
Eelco Dolstra 1758b488e6 * Some hackery to make the split KDE packages available both
individually and combined.  For instance, you can say

    environment.systemPackages = [ pkgs.kde4.kdesdk.kcachegrind ];

  for just kcachegrind, or 

    environment.systemPackages = [ pkgs.kde4.kdesdk ];

  to get all of kdesdk.  Everything can also be installed by name
  through nix-env.  (There is a name clash between the ColorSchemes
  packages in kdeaccessibility and kdeartwork, though.)

svn path=/nixpkgs/trunk/; revision=24294
2010-10-14 16:49:41 +00:00
Evgeny Egorochkin 66e7ed0a89 IPW2100 Firmware: Packaged
svn path=/nixpkgs/trunk/; revision=24283
2010-10-14 12:12:27 +00:00
Evgeny Egorochkin cd9d20d2e7 incrTcl: packaged
svn path=/nixpkgs/trunk/; revision=24279
2010-10-14 11:54:13 +00:00
Evgeny Egorochkin 5a4bc5b072 URT library: packaged
svn path=/nixpkgs/trunk/; revision=24278
2010-10-14 11:54:06 +00:00
Evgeny Egorochkin 0dfc76901b JaMa library: packaged
svn path=/nixpkgs/trunk/; revision=24277
2010-10-14 11:53:59 +00:00
Evgeny Egorochkin 41ff904b91 TNT library: packaged
svn path=/nixpkgs/trunk/; revision=24276
2010-10-14 11:53:53 +00:00
Michael Raskin dc1f986944 Remove libcv; reference opencv instead.
svn path=/nixpkgs/trunk/; revision=24272
2010-10-14 10:45:36 +00:00
Michael Raskin 494ba6a813 Add unicap
svn path=/nixpkgs/trunk/; revision=24271
2010-10-14 10:10:45 +00:00
Andres Löh b421bbd0ea Added a few Haskell packages as submitted by Ilya Cassina.
svn path=/nixpkgs/trunk/; revision=24269
2010-10-13 21:18:35 +00:00
Michael Raskin ae55f51ab6 Add missing XRender buildinputs for WebKit
svn path=/nixpkgs/trunk/; revision=24265
2010-10-13 13:11:50 +00:00
Michael Raskin 68324f8d09 Pass needed "which" to WebKit
svn path=/nixpkgs/trunk/; revision=24261
2010-10-13 11:53:58 +00:00
Eelco Dolstra cdb8d4dfc8 * Typo.
svn path=/nixpkgs/trunk/; revision=24253
2010-10-12 22:03:37 +00:00
Andres Löh ff00c38541 Added a few Haskell packages, updated vty.
svn path=/nixpkgs/trunk/; revision=24231
2010-10-12 07:02:25 +00:00
Yury G. Kudryashov 14d76affde Cleanup
svn path=/nixpkgs/trunk/; revision=24224
2010-10-11 19:59:22 +00:00
Yury G. Kudryashov 08adc088e5 Really switch to kde-4.5
svn path=/nixpkgs/trunk/; revision=24212
2010-10-11 07:11:19 +00:00
Eelco Dolstra 0fcf6e1f40 * Added xfce4-mixer. This requires gstreamer and gst-plugins-base.
* Allow gst-plugins-base to be built with a minimal set of dependencies
  (to prevent dependency bloat in Xfce).
* Updated gstreamer.

svn path=/nixpkgs/trunk/; revision=24207
2010-10-10 22:34:48 +00:00
Yury G. Kudryashov d8d6ffefb6 Switch to kde-4.5 by default
svn path=/nixpkgs/trunk/; revision=24192
2010-10-10 07:39:01 +00:00
Eelco Dolstra 35014ba441 svn path=/nixpkgs/trunk/; revision=24190 2010-10-09 21:21:10 +00:00
Michael Raskin 429ee87b89 Adding GNU barcode
svn path=/nixpkgs/trunk/; revision=24173
2010-10-08 08:48:34 +00:00
Michael Raskin 981e71fa3e Add FF4.0 beta 6
svn path=/nixpkgs/trunk/; revision=24172
2010-10-08 08:28:00 +00:00
Michael Raskin 9f5b63a7d1 Adding a top-level attribute for libpng-apng
svn path=/nixpkgs/trunk/; revision=24169
2010-10-08 05:58:00 +00:00
Ludovic Courtès 40e57793f9 Add Check, a unit testing framework for C.
svn path=/nixpkgs/trunk/; revision=24127
2010-10-07 07:29:36 +00:00
Lluís Batlle i Rossell b7ce93bfc4 Making wxGTK28 use gtkLibs instead of the older gtkLibs218 (this gave trouble
when linking wxGTK28 programs with other glib based things like gstreamer, ...)

svn path=/nixpkgs/trunk/; revision=24117
2010-10-06 15:32:25 +00:00
Yury G. Kudryashov d25e79afec Pass pango to kmplayer
svn path=/nixpkgs/trunk/; revision=24095
2010-10-05 18:08:40 +00:00
Yury G. Kudryashov 673e66e3a3 Move most kde-extragear apps to top-level
svn path=/nixpkgs/trunk/; revision=24092
2010-10-05 17:44:33 +00:00
Yury G. Kudryashov d7d8f7d64f Force stdenv2 in kde4 scope
svn path=/nixpkgs/trunk/; revision=24090
2010-10-05 17:44:11 +00:00
Yury G. Kudryashov 739f82a526 Digikam-1.4.0, move to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24089
2010-10-05 17:44:05 +00:00
Yury G. Kudryashov bf340ad55a Move kipi-plugins to apps/graphics
svn path=/nixpkgs/trunk/; revision=24088
2010-10-05 17:43:57 +00:00
Yury G. Kudryashov abbd67b2d5 Remove kde44 from release.nix. Will use meta.platforms
svn path=/nixpkgs/trunk/; revision=24087
2010-10-05 17:43:50 +00:00
Andres Löh 657572abc8 Added new (modular) gtk2hs and threadscope.
svn path=/nixpkgs/trunk/; revision=24086
2010-10-05 17:30:17 +00:00
Eelco Dolstra 0bd5f00696 * Updated Tomcat to 5.0.27.
svn path=/nixpkgs/trunk/; revision=24066
2010-10-05 10:39:12 +00:00
Yury G. Kudryashov 1099a83b54 Make kadu build in chroot. TODO: re-enable icons
svn path=/nixpkgs/trunk/; revision=24064
2010-10-05 05:43:59 +00:00
Yury G. Kudryashov 67b5d732a2 Move kdevplatform and kdevelop to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24063
2010-10-05 05:43:39 +00:00
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