nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
13,625 Commits 198 Branches 125 Tags 9 GiB
1d6b63afb9
Commit Graph

2626 Commits

Author SHA1 Message Date
Eelco Dolstra
9b6dfe840a * Sync with the trunk. 
svn path=/nixpkgs/branches/x-updates/; revision=25993
 2011-02-16 15:14:04 +00:00
Eelco Dolstra
2e81976a34 * Apply xlib.patch to go-oo as well. 
svn path=/nixpkgs/branches/x-updates/; revision=25985
 2011-02-16 09:18:07 +00:00
Eelco Dolstra
4ac97e16b6 * Fix an OpenOffice build problem (http://hydra.nixos.org/build/911291). 
Not tested.

svn path=/nixpkgs/branches/x-updates/; revision=25983
 2011-02-15 16:06:33 +00:00
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