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

2452 commits

Author SHA1 Message Date
Lluís Batlle i Rossell 548e313d02 Updating fossil 
svn path=/nixpkgs/trunk/; revision=24568
 2010-11-02 13:24:04 +00:00
Lluís Batlle i Rossell 00d1d949d7 Updating kdenlive (and mlt as a requirement) 
svn path=/nixpkgs/trunk/; revision=24567
 2010-11-02 13:23:59 +00:00
Yury G. Kudryashov 3baea16bc6 Add guitone. 
It compiles. Haven't checked whether it works.

svn path=/nixpkgs/trunk/; revision=24566
 2010-11-02 12:23:01 +00:00
Yury G. Kudryashov 24d011bfbc monotone-0.99.1, less hacky way to get perl version 
svn path=/nixpkgs/trunk/; revision=24565
 2010-11-02 11:20:24 +00:00
Andres Löh 527d64b664 darcs should propagate its Haskell dependencies 
since it can be used as a library

svn path=/nixpkgs/trunk/; revision=24558
 2010-11-01 16:37:46 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in 
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
 2010-10-31 19:30:31 +00:00
Ludovic Courtès 94d5ee9410 GNU TeXmacs 1.0.7.6. 
svn path=/nixpkgs/trunk/; revision=24546
 2010-10-30 21:44:16 +00:00
Michael Raskin c955a570a2 Update Monotone 
svn path=/nixpkgs/trunk/; revision=24535
 2010-10-29 19:52:15 +00:00
Michael Raskin e10f65d674 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24533
 2010-10-29 18:31:25 +00:00
Peter Simons 1caab7cc92 subversion: enable parallel building 
svn path=/nixpkgs/trunk/; revision=24527
 2010-10-29 14:46:18 +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 e6bd263b4f Advance version of Imagemagick to 6.6.5-4 . 
Always include the --with-frozenpaths configure flag ( independently of tetex ).
Include the --with-rsvg configure flag when librsvg is not null.

svn path=/nixpkgs/trunk/; revision=24509
 2010-10-28 08:46:13 +00:00
Peter Simons 2cc3847cd4 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-32-g8b0f1f9 
svn path=/nixpkgs/trunk/; revision=24487
 2010-10-26 12:08:49 +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
Evgeny Egorochkin ee8d2ccc40 mysql-workbench: version bump 
svn path=/nixpkgs/trunk/; revision=24481
 2010-10-26 01:38:28 +00:00
Evgeny Egorochkin 19e0cda8d8 Fix names of packages. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24478
 2010-10-26 00:22:44 +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
Peter Simons c7756e473b pkgs/applications/version-management/git-and-tools: prefer fetchurl over fetchgit in topGit 
svn path=/nixpkgs/trunk/; revision=24442
 2010-10-23 22:39:53 +00:00
Michael Raskin 65ec046a15 Fix uzbl build 
svn path=/nixpkgs/trunk/; revision=24440
 2010-10-23 20:54:07 +00:00
Michael Raskin ba662a84e7 Update Monotone 
svn path=/nixpkgs/trunk/; revision=24431
 2010-10-23 15:28:18 +00:00
Lluís Batlle i Rossell 6dc839d344 Merging from trunk. I resolved some conflicts; I hope that well. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24429
 2010-10-23 14:52:21 +00:00
Evgeny Egorochkin 6951e2ad05 Konq-plugins: forgot the patch :( 
svn path=/nixpkgs/trunk/; revision=24426
 2010-10-22 19:47:23 +00:00
Armijn Hemel 9992ba5e3f update to 2.7.4 
svn path=/nixpkgs/trunk/; revision=24424
 2010-10-22 16:06:32 +00:00
Evgeny Egorochkin fbbcd05f4d konq-plugins: fix compilation against qt 4.7 
svn path=/nixpkgs/trunk/; revision=24419
 2010-10-22 14:40:19 +00:00
Eelco Dolstra 2677562f8c * Remove Compiz Fusion (obsolete). 
svn path=/nixpkgs/trunk/; revision=24414
 2010-10-22 11:00:02 +00:00
Eelco Dolstra 92d36afe96 * Firefox 3.6.11. 
svn path=/nixpkgs/trunk/; revision=24399
 2010-10-21 11:29:35 +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
Eelco Dolstra 23914238d1 * compiz-plugins-extra: Wrote a patch to add "centered maxpect" 
scaling mode for background images (as in KDE), i.e., scale the
  image to the maximum size while preserving its aspect ratio.

svn path=/nixpkgs/trunk/; revision=24394
 2010-10-20 23:16:51 +00:00
Michael Raskin 40dd3ccf7b Update Veracity. 0.3 series got replaced with 0.5 series. 
svn path=/nixpkgs/trunk/; revision=24375
 2010-10-20 05:44:22 +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
Peter Simons f1af21e633 pkgs/applications/version-management/subversion: don't install broken vc-svn.el module 
This file is part of Emacs already, and unlike the file shipped by Subversion,
the one distributed in Emacs actually works.

svn path=/nixpkgs/trunk/; revision=24369
 2010-10-19 17:27:31 +00:00
Ludovic Courtès 57ed005e24 GNU EMMS: Add dependency on MP3Info. 
svn path=/nixpkgs/trunk/; revision=24365
 2010-10-19 13:20: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 bf006e3fd2 GNU Zile 2.3.20. 
svn path=/nixpkgs/trunk/; revision=24358
 2010-10-19 08:09:35 +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
Evgeny Egorochkin d07b1b33a5 Googleearth: Add missing dependency 
svn path=/nixpkgs/trunk/; revision=24317
 2010-10-16 13:11:06 +00:00
Evgeny Egorochkin fedae8382f Arora: version bump 
svn path=/nixpkgs/trunk/; revision=24314
 2010-10-15 23:43:21 +00:00
Evgeny Egorochkin ebbbb77e6c Google-earth: version bump 
svn path=/nixpkgs/trunk/; revision=24308
 2010-10-15 20:06:28 +00:00
Michael Raskin 216ae9feba Fix some old typos 
svn path=/nixpkgs/trunk/; revision=24281
 2010-10-14 12:01:03 +00:00
Michael Raskin 686802b8e1 Update XNeur 
svn path=/nixpkgs/trunk/; revision=24275
 2010-10-14 11:49:07 +00:00
Yury G. Kudryashov 1bda7748da Fix digikam buld 
svn path=/nixpkgs/trunk/; revision=24270
 2010-10-14 09:52:10 +00:00
Michael Raskin e82053ac94 Fix XawTV build 
svn path=/nixpkgs/trunk/; revision=24267
 2010-10-13 15:48:37 +00:00
Michael Raskin a81b5af5ee Add more buildInputs useful for FF4.0. This is not enough yet 
svn path=/nixpkgs/trunk/; revision=24266
 2010-10-13 13:12:43 +00:00
Michael Raskin c8161ad799 Temporary fix for Vacuum-1.0.2 with Qt-4.7 
svn path=/nixpkgs/trunk/; revision=24257
 2010-10-12 23:15:25 +00:00
Lluís Batlle i Rossell 74ae423a6a Reverting a patch I did removing this special lynx configuration I add again. 
Otherwise, lynx really does not build with widechar support.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24251
 2010-10-12 20:57:02 +00:00
Lluís Batlle i Rossell 57df19fe85 utf-8 was not working in cross-built ncurses programs due to some old problem 
cross-building ncursesw not present anymore. I reenable unicode cross-building.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24245
 2010-10-12 19:06:04 +00:00
Lluís Batlle i Rossell 46201622cb Making vim73 cross-build (it needs a patch) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24243
 2010-10-12 18:33:02 +00:00
Lluís Batlle i Rossell 3c29a00612 Making lynx cross-build with widechar support 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24242
 2010-10-12 18:31:11 +00:00
Rob Vermaas ee7826f71f update chromium 
svn path=/nixpkgs/trunk/; revision=24237
 2010-10-12 08:09:57 +00:00
Yury G. Kudryashov 63d252baa1 digikam: find marble widget 
svn path=/nixpkgs/trunk/; revision=24235
 2010-10-12 07:49:24 +00:00
Yury G. Kudryashov 1c95704fa1 rekonq-0.6.1 
svn path=/nixpkgs/trunk/; revision=24230
 2010-10-12 05:41:13 +00:00
Yury G. Kudryashov 6aded22a4b {digikam,kipi-plugins}-1.5.0 
svn path=/nixpkgs/trunk/; revision=24225
 2010-10-11 19:59:28 +00:00
Yury G. Kudryashov 4aa443bd0f Upgrade krusader to 2.2.0-beta1. 2.0.0 fails to compile with new qt 
svn path=/nixpkgs/trunk/; revision=24223
 2010-10-11 19:59:17 +00:00
Lluís Batlle i Rossell e7e103b8eb Updating from trunk (to catch cron changes) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24200
 2010-10-10 11:44:28 +00:00
Michael Raskin a066ee7f06 Firefox 4 requires Mesa 
svn path=/nixpkgs/trunk/; revision=24188
 2010-10-08 19:07:10 +00:00
Armijn Hemel 5068c4c822 update to 2.6.11, python problems still persist 
svn path=/nixpkgs/trunk/; revision=24187
 2010-10-08 15:38:17 +00:00
Lluís Batlle i Rossell 75d326e697 Committing the chromium patch by Cillian de Róiste 
svn path=/nixpkgs/trunk/; revision=24177
 2010-10-08 09:25:54 +00:00
Lluís Batlle i Rossell 6d4288687c Committing the flash patch by Cillian de Róiste 
svn path=/nixpkgs/trunk/; revision=24176
 2010-10-08 09:25:39 +00:00
Lluís Batlle i Rossell 11404a404f Committing the patch from Carles Pagès, which had already sent Ilya Cassina before 
svn path=/nixpkgs/trunk/; revision=24175
 2010-10-08 09:22: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
Lluís Batlle i Rossell fca582bff0 Updating from trunk. I had to resolve the pcre and some stdenv2 in all-packages 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24155
 2010-10-07 21:21:31 +00:00
Sander van der Burg c6f26ed797 Bumped VirtualBox version to 3.2.8 
svn path=/nixpkgs/trunk/; revision=24147
 2010-10-07 15:14:15 +00:00
Peter Simons c7b5ea13ea pkgs/applications/misc/xpdf: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=24143
 2010-10-07 13:14:29 +00:00
Peter Simons 59fa834193 pkgs/applications/version-management/cvs: added meta section 
svn path=/nixpkgs/trunk/; revision=24140
 2010-10-07 13:14:17 +00:00
Peter Simons 948b839e3d pkgs/applications/misc/xpdf: added meta section 
svn path=/nixpkgs/trunk/; revision=24139
 2010-10-07 13:14:13 +00:00
Peter Simons 789c12add5 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0 
svn path=/nixpkgs/trunk/; revision=24136
 2010-10-07 13:14:01 +00:00
Peter Simons 48ecb667ab pkgs/applications/editors/emacs-modes/haskell: added meta section 
svn path=/nixpkgs/trunk/; revision=24134
 2010-10-07 13:13:42 +00:00
Michael Raskin 4325bd0b28 Update Wireshark to release 
svn path=/nixpkgs/trunk/; revision=24129
 2010-10-07 07:56:00 +00:00
Ludovic Courtès b67487377d BitlBee 1.2.8. 
svn path=/nixpkgs/trunk/; revision=24128
 2010-10-07 07:29:44 +00:00
Eelco Dolstra 3137cb5c59 * Apply some fixes to the xendomains script. 
svn path=/nixpkgs/trunk/; revision=24120
 2010-10-06 16:04:04 +00:00
Lluís Batlle i Rossell 6abc00fb67 Updating fossil 
svn path=/nixpkgs/trunk/; revision=24116
 2010-10-06 13:30:06 +00:00
Michael Raskin fc97834dd5 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24112
 2010-10-06 11:47:04 +00:00
Rob Vermaas 006528b42d mercurial: update to 1.6.4 and install hgweb.cgi 
svn path=/nixpkgs/trunk/; revision=24110
 2010-10-06 11:20:20 +00:00
Eelco Dolstra d11c271dcb * Install the Xen manpages. 
svn path=/nixpkgs/trunk/; revision=24109
 2010-10-06 11:04:07 +00:00
Lluís Batlle i Rossell 3b018566d6 Update awesome (patch by Carles Pagès) 
svn path=/nixpkgs/trunk/; revision=24108
 2010-10-06 11:02:18 +00:00
Yury G. Kudryashov fb8d50d76a Make quassel compile with kde-4.5 
kde45.kde is an attribute set, so rename flag to withKDE.

svn path=/nixpkgs/trunk/; revision=24096
 2010-10-05 18:08:45 +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 4591f1fe51 kipi-plugins: find gdk 
svn path=/nixpkgs/trunk/; revision=24091
 2010-10-05 17:44:17 +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 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
Eelco Dolstra b801c21d1f * Build Xen's stubdoms, in particular pv-grub (needed to securely boot 
from a kernel/initrd stored on a guest filesystem).

svn path=/nixpkgs/trunk/; revision=24062
 2010-10-04 23:25:03 +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
Evgeny Egorochkin c9ad6ec90a Packaged Gobby 
svn path=/nixpkgs/trunk/; revision=24040
 2010-10-04 04:15:23 +00:00
Lluís Batlle i Rossell cd4b54748a Updating from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24038
 2010-10-03 09:25:34 +00:00
Lluís Batlle i Rossell 5032b693b2 Fix for mips64 for mldonkey (I'll submit it upstream) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24035
 2010-10-03 09:18:44 +00:00
Lluís Batlle i Rossell 0c7429f8cc My attempts to build mldonkey on the fuloong 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24034
 2010-10-03 09:18:31 +00:00
Lluís Batlle i Rossell bc92057a17 Making vim some configurable options go through getConfig. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24033
 2010-10-03 09:18:14 +00:00
Lluís Batlle i Rossell 530ac48a7c Making the default vim have multibyte+nls support. Checking with 'du', I think 
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/branches/stdenv-updates/; revision=24031
 2010-10-03 09:17:22 +00:00
Michael Raskin 2fed251436 Update vim_configurable to 7.3 
svn path=/nixpkgs/trunk/; revision=24014
 2010-10-01 05:01:32 +00:00
Armijn Hemel 8db80a9616 update to 7.3 
svn path=/nixpkgs/trunk/; revision=24008
 2010-09-30 17:00:13 +00:00
Michael Raskin c7ca6b46b2 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24006
 2010-09-30 16:41:45 +00:00
Peter Simons 4bdf53b0f1 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-19-g9404aa1 
svn path=/nixpkgs/trunk/; revision=23996
 2010-09-30 13:27:24 +00:00
Peter Simons ff1a93282f pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.3.1 
svn path=/nixpkgs/trunk/; revision=23995
 2010-09-30 13:27:17 +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
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
 2010-09-28 09:33:56 +00:00
Michael Raskin d63a20e353 Update veracity 
svn path=/nixpkgs/trunk/; revision=23977
 2010-09-28 04:27:01 +00:00
Yury G. Kudryashov 76b211a81f More homepages 
svn path=/nixpkgs/trunk/; revision=23973
 2010-09-27 18:41:59 +00:00
Yury G. Kudryashov 3a9ff9d607 Add pkgconfig to amarok buildInputs 
svn path=/nixpkgs/trunk/; revision=23965
 2010-09-27 11:19:42 +00:00
Yury G. Kudryashov 5f38d49440 typo 
svn path=/nixpkgs/trunk/; revision=23959
 2010-09-27 08:16:25 +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
Evgeny Egorochkin 0488c4516a Flash player: works in Konqueror now, fixed missing library link. 
Fixed hash: Stupid Adobe changed the file again :(

svn path=/nixpkgs/trunk/; revision=23931
 2010-09-26 03:22:55 +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 f726884df5 Old flashplayer is not available anymore 
svn path=/nixpkgs/trunk/; revision=23896
 2010-09-22 18:04:29 +00:00
Marco Maggesi 209c32c4c9 Update fossil 
svn path=/nixpkgs/trunk/; revision=23894
 2010-09-22 13:10:43 +00:00
Michael Raskin 3410afb706 Fix arora platform 
svn path=/nixpkgs/trunk/; revision=23892
 2010-09-22 08:59:50 +00:00
Michael Raskin 9effe4ad77 Update Veracity nightly 
svn path=/nixpkgs/trunk/; revision=23885
 2010-09-21 20:25:59 +00:00
Evgeny Egorochkin 5581a546ec Arora: fix homepage 
svn path=/nixpkgs/trunk/; revision=23884
 2010-09-21 15:47:20 +00:00
Evgeny Egorochkin 020cba6b98 Arora: packaged 
svn path=/nixpkgs/trunk/; revision=23877
 2010-09-20 22:16:16 +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 c00b676654 Making the default vim have multibyte+nls support. Checking with 'du', I think 
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/trunk/; revision=23859
 2010-09-18 16:29:47 +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 8ec9590737 Git: fix an impurity: was taking grep from PATH. 
svn path=/nixpkgs/trunk/; revision=23853
 2010-09-18 12:45:04 +00:00
Lluís Batlle i Rossell 2c5de61327 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
 2010-09-17 19:10:21 +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
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
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
Michael Raskin 6babe5dea4 Update Veracity 
svn path=/nixpkgs/trunk/; revision=23806
 2010-09-15 08:42:46 +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
Eelco Dolstra cdecced3b0 * Fix various references to /usr. 
svn path=/nixpkgs/trunk/; revision=23788
 2010-09-14 13:50:32 +00:00
Yury G. Kudryashov 38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +00:00
Michael Raskin 58722fa393 Update veracity 
svn path=/nixpkgs/trunk/; revision=23745
 2010-09-13 11:54:30 +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
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
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
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 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
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
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 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 f01245ee4a Improving a bit the configure options for mutt: 
Enable debug
Fix a copy and paste error in --without-sasl

svn path=/nixpkgs/trunk/; revision=23654
 2010-09-06 07:17:20 +00:00
Michael Raskin 29db2ca0c9 Adding Ekiga 
svn path=/nixpkgs/trunk/; revision=23653
 2010-09-05 23:37:54 +00:00
Michael Raskin 9090138f5e Updating Gajim 
svn path=/nixpkgs/trunk/; revision=23642
 2010-09-05 12:29:44 +00:00
Lluís Batlle i Rossell cf6f753176 Fixing the url for nvi (the older was not available anymore) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23638
 2010-09-05 05:59:27 +00:00
Michael Raskin cc616fbada Update Veraity nightly version 
svn path=/nixpkgs/trunk/; revision=23633
 2010-09-03 19:59:51 +00:00
Eelco Dolstra 9b22cac306 * Fix the nvi URL. 
svn path=/nixpkgs/trunk/; revision=23621
 2010-09-03 15:32:40 +00:00
Lluís Batlle i Rossell 0a50f8cc6a Fixing the w3m build on non-mips (this may allow having the 'tarball' built) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23604
 2010-09-02 20:09:27 +00:00
Lluís Batlle i Rossell 488d9103a7 Updating icewm (so yes, gtk included gdk_pixbuf. Thank you niksnut!) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23603
 2010-09-02 19:30:20 +00:00
Michael Raskin ee731b9a4d Updating veracity 
svn path=/nixpkgs/trunk/; revision=23590
 2010-09-01 10:12:56 +00:00
Lluís Batlle i Rossell d984e4bffd New patch for firefox, to avoid a SIGBUS on mips. 
r0bertz gave me the patch through irc:
http://www.gentoo-cn.org/gitweb/?p=loongson.git;a=blob;f=net-libs/xulrunner/files/xulrunner-1.9.2_beta4-mips-bus-error.patch;h=2bf51d77054796ffaf4f4d903dd8560bf96b7844;hb=HEAD
"some insns requires addr to be 8 bytes alignment, xulrunner can't guarantee that"
"instead it guarantees some addr will be sizeof(void *) aligned."

svn path=/nixpkgs/branches/stdenv-updates/; revision=23585
 2010-09-01 08:37:42 +00:00
Lluís Batlle i Rossell e2b1de78c2 Making firefox build on mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23584
 2010-09-01 08:37:28 +00:00
Lluís Batlle i Rossell 82627f99bb New patch for firefox for mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23583
 2010-09-01 08:37:17 +00:00
Lluís Batlle i Rossell c700d8c5ee Patch that allows xulrunner (for firefox 3.6) build further. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23582
 2010-09-01 08:37:07 +00:00
Lluís Batlle i Rossell cd8cd01bad Updating icewm and trying to make it build on mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23581
 2010-09-01 08:36:46 +00:00
Lluís Batlle i Rossell a88f348d5b Make mplayer build on the loongson2f 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23578
 2010-09-01 08:36:09 +00:00
Andres Löh fec5966932 Fix renamed argument problem. 
svn path=/nixpkgs/trunk/; revision=23556
 2010-08-31 10:40:28 +00:00
Lluís Batlle i Rossell 6acc186e0e Fixing the catalan locale for kicad (it had the wrong encoding written) 
svn path=/nixpkgs/trunk/; revision=23554
 2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell aa86a0c4a2 Fixing kicad so it not only builds, but it also runs and finds the library of components. 
svn path=/nixpkgs/trunk/; revision=23552
 2010-08-31 08:19:28 +00:00
Michael Raskin d53af6407c Fix changed patch hash (checked new page) 
svn path=/nixpkgs/trunk/; revision=23522
 2010-08-29 20:10:39 +00:00
Lluís Batlle i Rossell 5994279104 The main id3v2 default.nix! I forgot it. 
svn path=/nixpkgs/trunk/; revision=23518
 2010-08-29 19:27:44 +00:00
Michael Raskin 3a0bf4d42d Update wireshark 
svn path=/nixpkgs/trunk/; revision=23516
 2010-08-29 19:17:00 +00:00
Lluís Batlle i Rossell d570082ad7 Fixing id3v2 runtime error (allocation/free error) 
svn path=/nixpkgs/trunk/; revision=23514
 2010-08-29 15:56:11 +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 cca1cae042 Updating from trunk. I had to do some changes to make it fit. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
 2010-08-29 11:09:23 +00:00
Lluís Batlle i Rossell 2ab5f25607 Updating 'tig' (for garbas@freenode) 
svn path=/nixpkgs/trunk/; revision=23487
 2010-08-28 14:10:49 +00:00
Eelco Dolstra 867707c07d * Thunderbird 3.1.2. 
svn path=/nixpkgs/trunk/; revision=23484
 2010-08-27 14:32:58 +00:00
Peter Simons 62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead 
svn path=/nixpkgs/trunk/; revision=23471
 2010-08-26 19:03:52 +00:00
Peter Simons 687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2 
svn path=/nixpkgs/trunk/; revision=23468
 2010-08-26 18:19:19 +00:00
Peter Simons 49c437a31e pkgs/applications/science/math/maxima: use a correct license tag 
Thanks, Ludovic.

svn path=/nixpkgs/trunk/; revision=23466
 2010-08-26 17:57:14 +00:00
Marco Maggesi b7a84503f3 Update fossil to version 2010-08-23 22:24:16 
svn path=/nixpkgs/trunk/; revision=23455
 2010-08-26 12:10:58 +00:00
Peter Simons 098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error 
svn path=/nixpkgs/trunk/; revision=23453
 2010-08-26 12:06:05 +00:00
Peter Simons 2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6 
svn path=/nixpkgs/trunk/; revision=23451
 2010-08-26 11:53:17 +00:00
Peter Simons 83ae38861e pkgs/applications/science/math/maxima: added license tag 
svn path=/nixpkgs/trunk/; revision=23450
 2010-08-26 11:51:10 +00:00
Peter Simons 88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows 
svn path=/nixpkgs/trunk/; revision=23449
 2010-08-26 11:49:54 +00:00
Peter Simons 24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1 
svn path=/nixpkgs/trunk/; revision=23448
 2010-08-26 11:44:43 +00:00
Peter Simons 403938b004 pkgs/applications/science/logic/prover9: updated homepage and license 
svn path=/nixpkgs/trunk/; revision=23447
 2010-08-26 11:42:41 +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
Michael Raskin 4f6c18925d Fix installation for updated E prover release 
svn path=/nixpkgs/trunk/; revision=23435
 2010-08-26 04:34:20 +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
Michael Raskin 90603fd593 Update Midori 
svn path=/nixpkgs/trunk/; revision=23397
 2010-08-24 13:58:57 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=23391
 2010-08-24 10:00:19 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share". 
svn path=/nixpkgs/trunk/; revision=23383
 2010-08-24 08:26:48 +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
Michael Raskin 1d067af2ec Update StumpWM 
svn path=/nixpkgs/trunk/; revision=23374
 2010-08-23 19:31:28 +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
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 f093c8fb18 Making the navipowm store some files in it's $out/share, needed to make it work. 
Nevertheless it still looks for the ini file in the same directory as the executable.

svn path=/nixpkgs/trunk/; revision=23350
 2010-08-22 12:07:50 +00:00
Lluís Batlle i Rossell 9558cf93c4 Updating 'navit' to the latest svn version 
svn path=/nixpkgs/trunk/; revision=23349
 2010-08-22 12:07:03 +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 201d3ac791 Fixing the navit installation disabling the build of the sample map (so it does not have to 
download anything at build time)

svn path=/nixpkgs/trunk/; revision=23347
 2010-08-22 12:01:41 +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
Lluís Batlle i Rossell b8298c9cdd Adding a patch file I forgot for w3m, while the nix expression already refers to it. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23340
 2010-08-21 20:13:02 +00:00