JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,654 Commits 2 Branches 0 Tags 13 GiB
a000072893
Commit Graph

4544 Commits

Author SHA1 Message Date
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
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