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

2623 commits

Author SHA1 Message Date
Eelco Dolstra 070f7debe0 * gdk-pixbuf: build gdk-pixbuf-xlib. 
svn path=/nixpkgs/branches/x-updates/; revision=25961
 2011-02-14 13:44:01 +00:00
Eelco Dolstra 5f85d4c19c * slim: update to 1.3.2. 
svn path=/nixpkgs/branches/x-updates/; revision=25951
 2011-02-14 10:15:48 +00:00
Eelco Dolstra 8c58edf34d * xterm: fix build and update to version 268. 
svn path=/nixpkgs/branches/x-updates/; revision=25949
 2011-02-14 10:09:01 +00:00
Florian Friesdorf 5526aa13e8 notmuch-0.5 -> notmuch-0.5-20110203 (git) 
svn path=/nixpkgs/trunk/; revision=25946
 2011-02-14 05:01:33 +00:00
Eelco Dolstra 5042a81534 * Fix broken icons such as the back/forward buttons in Firefox. 
svn path=/nixpkgs/branches/x-updates/; revision=25944
 2011-02-13 23:38:28 +00:00
Yury G. Kudryashov 5e7c026c22 kde-x.y/utils is for kdeutils-x.y.z, not for apps from kde-apps.org 
svn path=/nixpkgs/trunk/; revision=25932
 2011-02-13 04:34:37 +00:00
Florian Friesdorf 4b603776af notmuch-0.5 build successful 
svn path=/nixpkgs/trunk/; revision=25931
 2011-02-13 01:56:32 +00:00
Florian Friesdorf f03892655b notmuch -- The mail indexer 
configure fails so far:
Checking for Xapian development files... Yes (1.0.23).
Checking for GMime development files... No.
Checking for talloc development files... No.
Checking for valgrind development files... No (but that's fine).
Checking if emacs is available... Yes.

svn path=/nixpkgs/trunk/; revision=25930
 2011-02-13 01:34:49 +00:00
Lluís Batlle i Rossell af7a77aca6 Mumble builds 
svn path=/nixpkgs/trunk/; revision=25927
 2011-02-12 20:31:25 +00:00
David Guibert ed85acac61 fix mkvtoolnix description and homepage 
svn path=/nixpkgs/trunk/; revision=25926
 2011-02-12 20:22:55 +00:00
David Guibert 87418d034b mkvtoolnix: 4.4.0 
svn path=/nixpkgs/trunk/; revision=25925
 2011-02-12 20:18:53 +00:00
Cillian de Roiste 36c45a06dd Updating chromium, I've added myself as a maintainer since I'm happy to keep it updated in the future 
svn path=/nixpkgs/trunk/; revision=25921
 2011-02-12 18:47:28 +00:00
Lluís Batlle i Rossell cb41a67c47 Building mumble a bit further. 
svn path=/nixpkgs/trunk/; revision=25908
 2011-02-11 15:56:29 +00:00
Eelco Dolstra 3c0dc22e91 * x86_64-linux requires -fPIC. 
svn path=/nixpkgs/trunk/; revision=25893
 2011-02-11 11:26:40 +00:00
Eelco Dolstra 4ddf706a2f * New adventures in purity: get Spotify to work without a 
/usr/share/spotify symlink by rewriting open() and stat() calls.

svn path=/nixpkgs/trunk/; revision=25892
 2011-02-11 11:16:18 +00:00
Lluís Batlle i Rossell 951b65cf9c Trying to add mumble. It still does not build. 
svn path=/nixpkgs/trunk/; revision=25890
 2011-02-10 19:23:27 +00:00
Yury G. Kudryashov f909b550dd vlc-1.1.5, much more dependencies 
svn path=/nixpkgs/trunk/; revision=25872
 2011-02-09 21:11:30 +00:00
Eelco Dolstra 38c109a395 * Google Earth 6.0.1.2032. 
svn path=/nixpkgs/trunk/; revision=25842
 2011-02-09 13:33:46 +00:00
Michael Raskin 662fa0a13b Fix updated maxima build 
svn path=/nixpkgs/trunk/; revision=25799
 2011-02-08 10:35:58 +00:00
Peter Simons e0d871ba91 maxima: added buildInput 'texinfo' so that the reference documentation can be built 
svn path=/nixpkgs/trunk/; revision=25797
 2011-02-07 17:37:22 +00:00
Peter Simons 7795e5ec24 pkgs/applications/science/math/wxmaxima/default.nix: fixed the sha256 checksum 
svn path=/nixpkgs/trunk/; revision=25796
 2011-02-07 14:49:25 +00:00
Peter Simons 80c344d0cf pkgs/applications/science/math/maxima: fixed the sha256 checksum 
svn path=/nixpkgs/trunk/; revision=25795
 2011-02-07 14:47:42 +00:00
Peter Simons 0c3dcddbf3 pkgs/applications/science/math/wxmaxima: updated to version 0.8.7 
svn path=/nixpkgs/trunk/; revision=25787
 2011-02-07 11:35:42 +00:00
Peter Simons a4cf1b8456 pkgs/applications/science/math/maxima: updated to version 5.23.2 
svn path=/nixpkgs/trunk/; revision=25786
 2011-02-07 11:35:35 +00:00
Lluís Batlle i Rossell 16d91fa949 Tell hydra to build audacity. 
svn path=/nixpkgs/trunk/; revision=25780
 2011-02-05 21:08:12 +00:00
Michael Raskin 596dca28d3 Update Veracity to 0.5.7 
svn path=/nixpkgs/trunk/; revision=25775
 2011-02-04 16:58:47 +00:00
Russell O'Connor 7748f89d86 Bump TeXmacs to verion 1.0.7.9. 
svn path=/nixpkgs/trunk/; revision=25770
 2011-02-03 16:23:05 +00:00
David Guibert a45d06f7fb Merge commit 'f54c97b' into HEAD 
svn path=/nixpkgs/trunk/; revision=25768
 2011-02-02 20:05:47 +00:00
Peter Simons 7689a5d7a7 pkgs/applications/window-managers/ratpoison: added dependency on perl, which is required by rpws 
svn path=/nixpkgs/trunk/; revision=25761
 2011-02-02 13:58:18 +00:00
Peter Simons 4262167be0 pkgs/applications/version-management/git-and-tools/git: fixed git gui module 
Patch Tcl/Tk scripts to invoke 'wish' using the complete executable path to
ensure that the proper version is being used.

svn path=/nixpkgs/trunk/; revision=25755
 2011-02-02 11:16:57 +00:00
Michael Raskin 03c08712bd Update XNeur 
svn path=/nixpkgs/trunk/; revision=25745
 2011-02-02 07:11:18 +00:00
David Guibert ad3a08ef1c update virtualboxGuestAdditions to 4.0.2 
svn path=/nixpkgs/trunk/; revision=25744
 2011-02-02 06:54:57 +00:00
David Guibert 5ba7793e33 new makeself: 2.1.5 
svn path=/nixpkgs/trunk/; revision=25743
 2011-02-01 23:24:13 +00:00
David Guibert 7544a6399f virtualbox: 3.2.10 -> 4.0.2 
The upgrade is needed to compile virtualbox
with kernel 2.6.37.

svn path=/nixpkgs/trunk/; revision=25735
 2011-01-31 09:42:48 +00:00
David Guibert b67c47cb3f git: 1.7.3.5 -> 1.7.4 
svn path=/nixpkgs/trunk/; revision=25732
 2011-01-31 09:42:37 +00:00
Piotr Pietraszkiewicz 2b81894a3c dynamic likner finds the libX11.so again 
svn path=/nixpkgs/trunk/; revision=25710
 2011-01-27 23:49:00 +00:00
Piotr Pietraszkiewicz 59e243b062 made kadu compilable again on x86-64 NixOS platform 
svn path=/nixpkgs/trunk/; revision=25709
 2011-01-27 23:45:06 +00:00
Eelco Dolstra 2985218698 * xpdf 3.02pl5. 
svn path=/nixpkgs/trunk/; revision=25688
 2011-01-25 13:28:23 +00:00
Cillian de Roiste ce45e043e4 Adding redshift; it changes the color temperature of your screen gradually to match the lighting conditions 
svn path=/nixpkgs/trunk/; revision=25686
 2011-01-24 23:52:22 +00:00
Lluís Batlle i Rossell 07b89a3fbb Adding offrss 
svn path=/nixpkgs/trunk/; revision=25672
 2011-01-23 16:40:25 +00:00
Lluís Batlle i Rossell 53ceebc3d3 Updating awesome (patch by Carles Pagès) 
svn path=/nixpkgs/trunk/; revision=25652
 2011-01-21 08:24:41 +00:00
Yury G. Kudryashov e115e9a725 Be more verbose 
svn path=/nixpkgs/trunk/; revision=25650
 2011-01-21 08:23:31 +00:00
Lluís Batlle i Rossell 594c0a8ff9 Updating meld (patch by Carles Pagès) 
svn path=/nixpkgs/trunk/; revision=25647
 2011-01-20 22:07:49 +00:00
Lluís Batlle i Rossell 954561a02d pjsua needs the libgcc 
svn path=/nixpkgs/trunk/; revision=25633
 2011-01-19 21:16:40 +00:00
Eelco Dolstra 3e3dc422ac * Allow geeqie to find exiv2 and exiftran, necessary to losslessly 
rotate JPEG images.

svn path=/nixpkgs/trunk/; revision=25590
 2011-01-16 16:42:08 +00:00
Eelco Dolstra 56ea89a61e * And now an actual fix. 
svn path=/nixpkgs/trunk/; revision=25589
 2011-01-16 16:39:06 +00:00
Eelco Dolstra dbb8c452bb * fbida: fix a segfault in exiftran. 
svn path=/nixpkgs/trunk/; revision=25588
 2011-01-16 16:28:08 +00:00
Lluís Batlle i Rossell 40012b3588 Making pjsip install the console User Agent (pjsua), that helps a lot testing SIP. 
svn path=/nixpkgs/trunk/; revision=25587
 2011-01-16 14:58:37 +00:00
Lluís Batlle i Rossell b8e6a6ef5a Adding siproxd 
svn path=/nixpkgs/trunk/; revision=25584
 2011-01-16 11:41:19 +00:00
Ludovic Courtès 14f45d5da4 Add GNU Ocrad. 
svn path=/nixpkgs/trunk/; revision=25572
 2011-01-14 21:44:43 +00:00
Michael Raskin 0d57a6b2f7 Update Veracity 
svn path=/nixpkgs/trunk/; revision=25571
 2011-01-14 20:23:32 +00:00
Eelco Dolstra 4a5824721a * The expression `builtins.substring 5 10 perl.name' barfs if 
`perl.name' evaluates to "perl" (since there are not enough
  characters in the string).  It's better to use
  builtins.parseDrvName.

svn path=/nixpkgs/trunk/; revision=25559
 2011-01-14 12:37:26 +00:00
Michael Raskin f3afe5cd08 Adding virt-viewer 
svn path=/nixpkgs/trunk/; revision=25548
 2011-01-13 22:30:32 +00:00
Lluís Batlle i Rossell 3c282f5a31 Adding linphone 
svn path=/nixpkgs/trunk/; revision=25545
 2011-01-13 20:49:58 +00:00
Armijn Hemel e6e51b2d83 update to 2.7.9 
svn path=/nixpkgs/trunk/; revision=25544
 2011-01-13 18:47:46 +00:00
Lluís Batlle i Rossell 2ae2385f26 Updating fossil 
svn path=/nixpkgs/trunk/; revision=25532
 2011-01-13 09:23:43 +00:00
Lluís Batlle i Rossell 971e6c9233 Adding pjsip (pjproject-1.8) 
svn path=/nixpkgs/trunk/; revision=25531
 2011-01-13 09:23:40 +00:00
Ludovic Courtès 7c88378532 Org 7.4. 
svn path=/nixpkgs/trunk/; revision=25484
 2011-01-10 09:55:28 +00:00
Michael Raskin ed3ce17ce1 Adding darktable photo editor. Patch by Cillian de Róiste ( goibhniu1 ) 
svn path=/nixpkgs/trunk/; revision=25462
 2011-01-08 21:55:33 +00:00
Peter Simons e6e6f033ec pkgs/applications/version-management/git-and-tools/git: cosmetic changes to improve consistency 
No functional change is intended.

svn path=/nixpkgs/trunk/; revision=25456
 2011-01-07 11:04:09 +00:00
Peter Simons d0f409e009 pkgs/applications/version-management/git-and-tools/git: be verbose when creating symlinks 
The postInstall hook replaces identical copies of the same files in $out with
symlinks. This patch changes the call to 'ln' to pass the '-v' flag so that we
can see in the build log which files were replaced.

svn path=/nixpkgs/trunk/; revision=25455
 2011-01-07 11:04:04 +00:00
Peter Simons f989b670d6 pkgs/applications/version-management/git-and-tools/git: fixed the build to deal with names that contain whitespace 
The "find -print | while read" loop failed to deal with paths that contain
whitespace. Instead, we now use a similar construct that's based on globbing.

svn path=/nixpkgs/trunk/; revision=25454
 2011-01-07 11:03:57 +00:00
Peter Simons 167f185411 pkgs/applications/version-management/git-and-tools/git: fixed "git gui" 
The git-gui module cannot be wrapped like gitk, because the Tcl implementation
uses the program's basename to determine stuff like the name of the Window it
opens, etc., and it cannot deal with a program name that contain a dot, like
".git-gui-wrapped" did.

Instead of wrapping git-gui, it's now patched to execute 'wish' with a complete
store path.

While I was at it, I also applied this solution to git-gui--askpass.

svn path=/nixpkgs/trunk/; revision=25453
 2011-01-07 11:03:42 +00:00
Eelco Dolstra def604cc62 * Spotify: add the 32-bit version and provide a longDescription. 
svn path=/nixpkgs/trunk/; revision=25436
 2011-01-06 10:17:18 +00:00
Peter Simons 922bb7657c pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.3.5 
svn path=/nixpkgs/trunk/; revision=25435
 2011-01-06 10:04:21 +00:00
Eelco Dolstra f81bc24790 * Spotify for Linux (preview version). It works, but not yet out of 
the box because it requires /usr/share/spotify to point at its
  resources.  So to get it to work, you should do something like:

  $ nix-env -i spotify
  $ mkdir -p /usr/share
  $ ln -s /home/eelco/.nix-profile/share/spotify /usr/share/

  Also note that the Linux client doesn't work with free Spotify
  accounts (as noted on
  https://www.spotify.com/nl/download/previews/).

svn path=/nixpkgs/trunk/; revision=25431
 2011-01-05 23:23:22 +00:00
Ludovic Courtès 7f157c0f33 Remove the old experimental BitlBee-OTR. 
svn path=/nixpkgs/trunk/; revision=25420
 2011-01-05 10:48:25 +00:00
Ludovic Courtès ea13b1e2e3 BitlBee 3.0.1. 
svn path=/nixpkgs/trunk/; revision=25419
 2011-01-05 10:48:21 +00:00
Eelco Dolstra 9d792e7316 * Mercurial: always build with HTTPS support. 
svn path=/nixpkgs/branches/modular-python/; revision=25395
 2011-01-04 16:44:38 +00:00
Lluís Batlle i Rossell 3aa2bdbab5 Making unison build to byte code in armv5tel. I also fix the build with enableX11 I think. 
svn path=/nixpkgs/trunk/; revision=25373
 2011-01-03 20:52:49 +00:00
Yury G. Kudryashov 5e11179828 Fix krita compilation with exiv-0.21 (upstream patch) 
svn path=/nixpkgs/trunk/; revision=25370
 2011-01-03 19:05:15 +00:00
Lluís Batlle i Rossell ed9a70e40e Allowing unison without X. 
svn path=/nixpkgs/trunk/; revision=25369
 2011-01-03 18:43:16 +00:00
Marco Maggesi 436e1d72a7 * Coq: fix compilation of coqide (path to lablgkt) 
svn path=/nixpkgs/trunk/; revision=25360
 2011-01-03 13:49:15 +00:00
Lluís Batlle i Rossell cdf7db3301 Updating fossil 
svn path=/nixpkgs/trunk/; revision=25358
 2011-01-03 10:56:09 +00:00
Alexander Tsamutali 0397273877 applications/networking/browsers/conkeror: Updated to 0.9.3. 
svn path=/nixpkgs/trunk/; revision=25357
 2011-01-03 09:57:35 +00:00
Evgeny Egorochkin 0de601dc7a chromium: bump. Patch by Cillian de Róiste. 
svn path=/nixpkgs/trunk/; revision=25356
 2011-01-03 00:33:14 +00:00
Evgeny Egorochkin 2f46958f67 amarok-live: packaged 
svn path=/nixpkgs/trunk/; revision=25355
 2011-01-03 00:02:20 +00:00
Alexander Tsamutali 25c7d51515 applications/networking/p2p/transmission: Updated to 2.13. 
svn path=/nixpkgs/trunk/; revision=25348
 2011-01-02 20:09:25 +00:00
Evgeny Egorochkin 056394c0f2 VirtualBox: cleanup 
svn path=/nixpkgs/trunk/; revision=25347
 2011-01-02 19:37:13 +00:00
Russell O'Connor b46d1d2e07 Updating Ktorrent to the latest. 
svn path=/nixpkgs/trunk/; revision=25346
 2011-01-02 19:06:45 +00:00
Evgeny Egorochkin dc16cd8995 VirtualBox: version bump and compilation fix. 
svn path=/nixpkgs/trunk/; revision=25344
 2011-01-02 18:43:27 +00:00
Michael Raskin 820a66152b Fix lablgtk reference 
svn path=/nixpkgs/trunk/; revision=25343
 2011-01-02 17:34:19 +00:00
Michael Raskin ca29aa026f Fix lablgtk reference 
svn path=/nixpkgs/trunk/; revision=25342
 2011-01-02 17:28:42 +00:00
Michael Raskin e55aa52856 Fix lablgtk reference 
svn path=/nixpkgs/trunk/; revision=25341
 2011-01-02 17:25:18 +00:00
Michael Raskin d2b277fbd5 Try fixing Audacity 
svn path=/nixpkgs/trunk/; revision=25340
 2011-01-02 17:13:34 +00:00
Michael Raskin c2df70227c Updating veracity 
svn path=/nixpkgs/trunk/; revision=25332
 2011-01-02 09:27:09 +00:00
Russell O'Connor 88ec92d14c Matita and its dependencies. 
svn path=/nixpkgs/trunk/; revision=25328
 2010-12-31 17:48:55 +00:00
Alexander Tsamutali d3bb1b2630 applications/misc/xmobar: Updated to 0.12. 
svn path=/nixpkgs/trunk/; revision=25327
 2010-12-30 22:36:46 +00:00
Michael Raskin cc30a2861c Adding freetalk 
svn path=/nixpkgs/trunk/; revision=25323
 2010-12-29 19:20:55 +00:00
Eelco Dolstra cb843de402 * Audacious updated to 2.4.2. 
svn path=/nixpkgs/trunk/; revision=25319
 2010-12-29 10:39:41 +00:00
Eelco Dolstra 762ed9079f * Merged the stdenv-updated branch. Woohoo! 
svn path=/nixpkgs/trunk/; revision=25315
 2010-12-28 21:19:57 +00:00
Lluís Batlle i Rossell 4c16325de0 I take out getPkgConfig. It looks to me as if it needed a solution, but noone took action. 
I take action before much discussion.
For what I see:
- getPkgConfig problems are hard to track
- config.nix trying to forecast getPkgConfig behaviour looks me as a bad approach,
  and people should not trust such a config.nix unless they parsed the whole nixpkgs
  for tricky effects.
- It's not that hard to write config.nix in the style of getConfig
- Every now and then newcomers hit the "'git' is an attribute set while a boolean was expected".

Maybe this will disrupt nixes of some people, and that will be a background on what to discuss.


svn path=/nixpkgs/trunk/; revision=25314
 2010-12-28 21:07:35 +00:00
Yury G. Kudryashov 302d783310 Make filelight compile with gcc-4.5 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25313
 2010-12-28 18:47:57 +00:00
Eelco Dolstra aa6f43149a * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
 2010-12-28 16:42:00 +00:00
Alexander Tsamutali b2ac724cd6 xmonad-contrib: Now depends on X11Xft. 
svn path=/nixpkgs/trunk/; revision=25299
 2010-12-27 20:50:27 +00:00
Eelco Dolstra 90f485f268 * MPlayer updated to the latest SVN snapshot. 
* MPlayer: add VDPAU support.

svn path=/nixpkgs/branches/stdenv-updates/; revision=25297
 2010-12-27 18:48:16 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib 
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
 2010-12-23 19:28:06 +00:00
Eelco Dolstra 4837b70d27 * Restore MPlayer's default font. This got lost somewhere. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25260
 2010-12-23 17:07:07 +00:00
Armijn Hemel ce6b26042d update to 2.7.8 
svn path=/nixpkgs/trunk/; revision=25257
 2010-12-23 13:56:04 +00:00
Eelco Dolstra 770ca317ba * Get Xen to build with GCC 4.5 and Glibc 2.12. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25247
 2010-12-22 19:38:26 +00:00
Eelco Dolstra c14382cb45 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
 2010-12-21 15:14:33 +00:00
Michael Raskin 955f9c19a6 Update Veracity 
svn path=/nixpkgs/trunk/; revision=25218
 2010-12-21 05:21:54 +00:00
Evgeny Egorochkin 9b4c2f5f56 Emacs PHP mode: packaged. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=25216
 2010-12-21 04:40:38 +00:00
Eelco Dolstra f0b62c77a9 * Adobe Reader 9.4. 
svn path=/nixpkgs/trunk/; revision=25208
 2010-12-20 12:14:58 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5 
svn path=/nixpkgs/trunk/; revision=25206
 2010-12-20 10:32:22 +00:00
Lluís Batlle i Rossell 22253677b3 Merging from trunk. The previous merge took the firefox 3.6 in a bad state. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25202
 2010-12-19 20:12:10 +00:00
Karn Kallio c04f8e236c Bump kmplayer to latest release 0.11.2.c 
This also fixes build failure related to docbook versions.

svn path=/nixpkgs/trunk/; revision=25190
 2010-12-17 23:18:21 +00:00
Lluís Batlle i Rossell b48b2a7bb4 Merging from trunk. I solved some trivial merge conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25188
 2010-12-17 20:39:58 +00:00
Karn Kallio a3947a1605 Finish removing all patches. 
svn path=/nixpkgs/trunk/; revision=25187
 2010-12-17 20:34:29 +00:00
Karn Kallio a6f1f87697 Upstream reports bug has been fixed 
https://bugzilla.mozilla.org/show_bug.cgi?id=551152
and the patch did not cleanly apply.

svn path=/nixpkgs/trunk/; revision=25186
 2010-12-17 20:28:51 +00:00
Ludovic Courtès e60ba9135a SimGrid 3.5. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
 2010-12-17 17:48:12 +00:00
Eelco Dolstra 24dd283b0a * Firefox 3.6.13. 
svn path=/nixpkgs/trunk/; revision=25170
 2010-12-17 11:44:18 +00:00
Russell O'Connor 83e25f83c8 Patch Inkscape to support PDF importing. 
svn path=/nixpkgs/trunk/; revision=25151
 2010-12-15 15:56:04 +00:00
Lluís Batlle i Rossell 99831841f0 Updating the urls where to get nvi from. The previous did not work anymore. 
I took some from the list provided by:
http://dir.filewatcher.com/d/Perl-CPAN/misc/nvi-1.79.tar.gz.1295401.html

svn path=/nixpkgs/trunk/; revision=25140
 2010-12-15 09:39:30 +00:00
Michael Raskin da5fd5c100 Fix Opera update 
svn path=/nixpkgs/trunk/; revision=25134
 2010-12-14 20:32:49 +00:00
Michael Raskin 24640ac0ec Update Opera 
svn path=/nixpkgs/trunk/; revision=25130
 2010-12-14 15:56:22 +00:00
Lluís Batlle i Rossell 7ea75b3bcf Updating fossil 
svn path=/nixpkgs/trunk/; revision=25112
 2010-12-14 07:58:34 +00:00
Michael Raskin f229a3df60 Updating Veracity 
svn path=/nixpkgs/trunk/; revision=25105
 2010-12-13 19:14:45 +00:00
Ludovic Courtès 8416f47e26 GNU Zile 2.3.21. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25075
 2010-12-12 20:19:03 +00:00
Lluís Batlle i Rossell 0fe27433af 'tar' fails at unpacking adobe files, but the files get unpacked. 
I simply disable the check for tar error codes.


svn path=/nixpkgs/branches/stdenv-updates/; revision=25067
 2010-12-12 08:47:13 +00:00
Lluís Batlle i Rossell a000072893 Adding evopedia. Contributed by Joachim Schiele. 
svn path=/nixpkgs/trunk/; revision=25066
 2010-12-11 22:04:13 +00:00
Lluís Batlle i Rossell ee04ffcb55 Updating from trunk. I resolved simple conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
 2010-12-11 12:47:00 +00:00
Peter Simons d1d201f11e subversion: don't specify both --disable-keychain and --enable-keychain 
svn path=/nixpkgs/trunk/; revision=25008
 2010-12-06 18:01:22 +00:00
Yury G. Kudryashov 292db979cb Be more verbose 
svn path=/nixpkgs/trunk/; revision=24997
 2010-12-06 12:04:42 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT 
svn path=/nixpkgs/trunk/; revision=24984
 2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP 
svn path=/nixpkgs/trunk/; revision=24983
 2010-12-05 19:11:21 +00:00
Michael Raskin 7768fa0178 Fix installation layout 
svn path=/nixpkgs/trunk/; revision=24982
 2010-12-05 19:08:32 +00:00
Michael Raskin 5cb3f8b659 Missing Singular files 
svn path=/nixpkgs/trunk/; revision=24981
 2010-12-05 18:37:47 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT 
svn path=/nixpkgs/trunk/; revision=24978
 2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver 
svn path=/nixpkgs/trunk/; revision=24975
 2010-12-05 17:28:41 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver 
svn path=/nixpkgs/trunk/; revision=24969
 2010-12-04 18:39:44 +00:00
Michael Raskin 86e44e72bf Adding SPASS 
svn path=/nixpkgs/trunk/; revision=24967
 2010-12-04 11:43:01 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover 
svn path=/nixpkgs/trunk/; revision=24963
 2010-12-03 11:26:34 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover 
svn path=/nixpkgs/trunk/; revision=24952
 2010-12-01 21:29:42 +00:00
Michael Raskin 373fabf1c0 Fix settings patch for Isabelle 
svn path=/nixpkgs/trunk/; revision=24951
 2010-12-01 21:29:20 +00:00
Michael Raskin b89881d098 Update Isabelle 
svn path=/nixpkgs/trunk/; revision=24950
 2010-12-01 21:25:21 +00:00
Michael Raskin 77672ac3a4 update muPDF 
svn path=/nixpkgs/trunk/; revision=24945
 2010-12-01 11:03:52 +00:00
Eelco Dolstra 86d51032cc * Sync. 
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
 2010-11-30 11:39:53 +00:00
Lluís Batlle i Rossell d71ad68d43 Fixing the verilog URL (contributed by Antonio Vargas) 
svn path=/nixpkgs/trunk/; revision=24935
 2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell ab6627ac0e Fix for the verilog package, from Antonio Vargas Gonzalez 
svn path=/nixpkgs/trunk/; revision=24934
 2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once 
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
 2010-11-29 18:03:03 +00:00
Karn Kallio 76f6893e6a Update version of MySQL Workbench to 5.2.30 
svn path=/nixpkgs/trunk/; revision=24924
 2010-11-29 17:34:08 +00:00
Eelco Dolstra 009bfb702d * Sync with the trunk. 
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24921
 2010-11-29 16:03:36 +00:00
Eelco Dolstra c7e8b01323 * Subversion 1.6.15. 
svn path=/nixpkgs/trunk/; revision=24912
 2010-11-29 09:54:37 +00:00
Michael Raskin b01f33c2b8 Update gajim 
svn path=/nixpkgs/trunk/; revision=24906
 2010-11-28 13:46:32 +00:00
Evgeny Egorochkin b909a4ce76 Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart. 
svn path=/nixpkgs/trunk/; revision=24903
 2010-11-28 10:14:07 +00:00
Evgeny Egorochkin 51492e5533 openbox: packaged. Patch by rixed@happyleptic.org. 
svn path=/nixpkgs/trunk/; revision=24902
 2010-11-28 10:07:49 +00:00
Evgeny Egorochkin 4d715b2e53 kmplayer: version bump 
svn path=/nixpkgs/trunk/; revision=24901
 2010-11-28 10:04:41 +00:00
Evgeny Egorochkin a729c92721 Chromium: fix deps and clean up. Patch by Cillian de Róiste. 
svn path=/nixpkgs/trunk/; revision=24898
 2010-11-28 09:27:45 +00:00
Evgeny Egorochkin 5e994b9153 ekiga: fix build failure. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24897
 2010-11-28 09:21:36 +00:00