Commit graph

2192 commits

Author SHA1 Message Date
Ludovic Courtès f19a35aeeb Magit: Latest version.
The tarball at crypt.to had vanished, and hopefully `fetchgit' over HTTP
will work for everyone.

svn path=/nixpkgs/trunk/; revision=21722
2010-05-11 14:56:28 +00:00
Ludovic Courtès 714937bfa3 GNU Hello 2.6.
svn path=/nixpkgs/trunk/; revision=21707
2010-05-10 14:30:39 +00:00
Lluís Batlle i Rossell e47a2a9651 Adding blender 2.49, additional to the last 'alpha' 2.50 there already was in nixpkgs.
I put the alpha in lowPrio too; too many things don't work still, there.

svn path=/nixpkgs/trunk/; revision=21701
2010-05-10 10:20:51 +00:00
Ludovic Courtès a5bfd45419 GNU gv 3.6.9.
svn path=/nixpkgs/trunk/; revision=21697
2010-05-09 23:14:39 +00:00
Ludovic Courtès c63a2c79a4 GNU Zile 2.3.16.
svn path=/nixpkgs/trunk/; revision=21696
2010-05-09 23:14:34 +00:00
Ludovic Courtès e583aae98c Emacs: Add optional dependencies on GConf and librsvg.
svn path=/nixpkgs/trunk/; revision=21694
2010-05-09 23:14:23 +00:00
Peter Simons fd8c6ae43d Moved 'maintainers' attribute into the meta section of the expression.
I've also set the 'platforms' attribute to ensure that Hydra actually
builds these packages. Thanks to Lluís Batlle i Rossell for pointing out
these mistakes.

svn path=/nixpkgs/trunk/; revision=21688
2010-05-09 16:01:44 +00:00
Marc Weber d86dace29b adding Eclipse note,
readding older version.
adding eclipseLatest top level name

svn path=/nixpkgs/trunk/; revision=21684
2010-05-09 14:17:21 +00:00
Marc Weber 6c21d81ae1 update wmii. libixp vanished
svn path=/nixpkgs/trunk/; revision=21683
2010-05-09 14:17:15 +00:00
Marc Weber 3e6777935a fix thinking rock url
svn path=/nixpkgs/trunk/; revision=21682
2010-05-09 14:15:37 +00:00
Ludovic Courtès 8edf4f1896 GNU Emacs 23.2.
svn path=/nixpkgs/trunk/; revision=21680
2010-05-09 12:46:22 +00:00
Lluís Batlle i Rossell 9012b226c7 Fixing the 'awesome' tab completion on Run command
svn path=/nixpkgs/trunk/; revision=21677
2010-05-09 11:01:29 +00:00
Lluís Batlle i Rossell d770597dda I wrote a bad 'name' for blender before. Fixing.
svn path=/nixpkgs/trunk/; revision=21674
2010-05-08 22:33:20 +00:00
Lluís Batlle i Rossell c82a9ac921 Updating blender
svn path=/nixpkgs/trunk/; revision=21670
2010-05-08 21:25:56 +00:00
Nicolas Pierron 9767a35159 Update suckless urls.
svn path=/nixpkgs/trunk/; revision=21664
2010-05-08 17:30:34 +00:00
Lluís Batlle i Rossell 6dd72c5897 Updating putty to the last svn version, so now it can work with gtk2. The previous
wanted gtk1, that did not build on x86_64-linux

svn path=/nixpkgs/trunk/; revision=21649
2010-05-07 14:18:00 +00:00
Peter Simons 67cf56d2a5 git-subtree: added the version 0.3.
svn path=/nixpkgs/trunk/; revision=21645
2010-05-07 14:01:39 +00:00
Lluís Batlle i Rossell 222e41519e Making lame compile with assembly optimization for i386
svn path=/nixpkgs/trunk/; revision=21620
2010-05-05 20:38:13 +00:00
Peter Simons d21dc14966 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.1
svn path=/nixpkgs/trunk/; revision=21604
2010-05-05 10:26:19 +00:00
Peter Simons 6b42129c3a pkgs/applications/science/math/wxmaxima: updated to version 0.8.5
svn path=/nixpkgs/trunk/; revision=21603
2010-05-05 10:26:15 +00:00
Peter Simons 2dd70d3ffb pkgs/applications/science/math/maxima: updated to version 5.21.1
svn path=/nixpkgs/trunk/; revision=21602
2010-05-05 10:26:11 +00:00
Rob Vermaas 9e5ab46737 added git2cl script
svn path=/nixpkgs/trunk/; revision=21590
2010-05-04 10:06:50 +00:00
Lluís Batlle i Rossell b14e71be03 Updating irssi
svn path=/nixpkgs/trunk/; revision=21476
2010-05-01 10:33:00 +00:00
Lluís Batlle i Rossell b3870f0148 Adding xvid, to ffmpeg and mplayer.
svn path=/nixpkgs/trunk/; revision=21469
2010-04-30 21:47:09 +00:00
Peter Simons 06f51c6e05 pkgs/applications/misc/ikiwiki: added build input PerlMagick
Without ImageMagick support, Ikiwiki cannot handle images.

svn path=/nixpkgs/trunk/; revision=21456
2010-04-30 10:49:43 +00:00
Peter Simons 5139e564fa pkgs/applications/graphics/ImageMagick: added build input jasper for jpeg-2000 support
While I was at it, I also rewrote the expression to get along without
using the deprecated "args: with args;" style.

svn path=/nixpkgs/trunk/; revision=21454
2010-04-30 10:49:33 +00:00
Lluís Batlle i Rossell 7b6ce0f9df Updating x264, and adding x264 support to mplayer and ffmpeg.
svn path=/nixpkgs/trunk/; revision=21451
2010-04-30 08:33:47 +00:00
Peter Simons 5e8a97a831 pkgs/top-level/all-packages.nix: added RPC-XML support to ikiwiki
This is required for the 'rst' plugin and for non-perl plugin support in
general.

svn path=/nixpkgs/trunk/; revision=21421
2010-04-29 09:35:20 +00:00
Peter Simons a20694d004 pkgs/applications/misc/ikiwiki: renamed package from ikiwiki_3.20100427 to ikiwiki-3.20100427 to make it conform with Nix conventions
svn path=/nixpkgs/trunk/; revision=21418
2010-04-29 09:35:09 +00:00
Peter Simons 411b6600ba pkgs/applications/misc/ikiwiki: dropped unnecessary empty line in shell code
svn path=/nixpkgs/trunk/; revision=21417
2010-04-29 09:35:05 +00:00
Peter Simons 74e8f87d00 pkgs/applications/misc/ikiwiki: bumped to version 3.20100427
svn path=/nixpkgs/trunk/; revision=21414
2010-04-29 08:53:52 +00:00
Peter Simons 410536177b pkgs/applications/misc/ikiwiki: strip trailing white space
svn path=/nixpkgs/trunk/; revision=21413
2010-04-29 08:53:43 +00:00
Marc Weber 8a79919093 fix flash player debug build
svn path=/nixpkgs/trunk/; revision=21411
2010-04-28 20:02:40 +00:00
Yury G. Kudryashov 882c847590 enable neon version check in svn
svn path=/nixpkgs/trunk/; revision=21395
2010-04-28 09:38:46 +00:00
Andres Löh f892a8efaa Darcs updated to 2.4.1; now ghc-6.12-compatible.
svn path=/nixpkgs/trunk/; revision=21355
2010-04-27 19:51:37 +00:00
Armijn Hemel de5c9fd9bc update to 1.0.6
svn path=/nixpkgs/trunk/; revision=21328
2010-04-26 20:06:00 +00:00
Alexander Tsamutali 755d7d8883 conkeror: Switched to zip snapshots, because tarballs are different on every fetchurl.
svn path=/nixpkgs/trunk/; revision=21298
2010-04-24 19:09:33 +00:00
Alexander Tsamutali f45cfbe272 conkeror: New nixpkg.
svn path=/nixpkgs/trunk/; revision=21296
2010-04-24 17:34:58 +00:00
Alexander Tsamutali a3bac131c3 sakura: Updated to 2.3.8.
svn path=/nixpkgs/trunk/; revision=21287
2010-04-24 00:12:51 +00:00
Lluís Batlle i Rossell 2894233ff6 Updating xterm so it releases the effective gid (for setgid to utmp purposes).
svn path=/nixpkgs/trunk/; revision=21239
2010-04-22 14:01:21 +00:00
Lluís Batlle i Rossell 5acee5db82 Fixing xterm's setting of gid in its pts terminals (group tty)
svn path=/nixpkgs/trunk/; revision=21224
2010-04-22 09:57:02 +00:00
Eelco Dolstra 28695d990c * Thunderbird 3.0.4.
svn path=/nixpkgs/trunk/; revision=21206
2010-04-21 14:02:28 +00:00
Armijn Hemel 1aee2df93a update libpcap to 1.1.1 and wireshark to 1.3.4
svn path=/nixpkgs/trunk/; revision=21205
2010-04-21 13:31:08 +00:00
Eelco Dolstra ac5555e40c * Subversion 1.6.11. Also updated meta.homepage to reflect that it's
now an Apache project.

svn path=/nixpkgs/trunk/; revision=21194
2010-04-21 09:47:26 +00:00
Marc Weber 6ef4de2259 Lyx update
svn path=/nixpkgs/trunk/; revision=21170
2010-04-19 19:41:38 +00:00
Marc Weber d75d0cbb6a Eclipse update
svn path=/nixpkgs/trunk/; revision=21169
2010-04-19 16:47:41 +00:00
Armijn Hemel f18af16dfe update to 2.8.4
svn path=/nixpkgs/trunk/; revision=21143
2010-04-18 10:53:31 +00:00
Eelco Dolstra 7c22881aa8 * Build audacious with ffmpeg to get support for WMA and MPC.
svn path=/nixpkgs/trunk/; revision=21138
2010-04-16 20:19:22 +00:00
Eelco Dolstra 10fdd4d230 * Updated audacious to 2.3. Combined audacious and audacious-plugins
into one derivation so that it works out of the box - no need to set
  symlinks to the plugins in ~/.local/share/audacious.  There is
  really no reason to install those packages separately anyway, as
  audacious is useless without the plugins package.

svn path=/nixpkgs/trunk/; revision=21137
2010-04-16 19:26:15 +00:00
Michael Raskin 8840dd10fe Fix the second URL
svn path=/nixpkgs/trunk/; revision=21090
2010-04-15 11:32:38 +00:00
Michael Raskin 554f09f582 Retrieve all hashes fom SVN history - forgot to specify them
svn path=/nixpkgs/trunk/; revision=21089
2010-04-15 11:15:08 +00:00
Michael Raskin c1e12f2788 Temporary other OO.o mirror just to get the build working for now
svn path=/nixpkgs/trunk/; revision=21084
2010-04-15 08:44:54 +00:00
Eelco Dolstra cd56e341de * Consolidate MPlayer trunk.nix and default.nix into one.
* Removed the font because MPlayer doesn't use it anymore (it uses
  fontconfig).
* Removed rp9codecs because the Real codecs are included in the
  "essential" codecs package.
* Moved win32codecs into the MPlayer Nix expression.

svn path=/nixpkgs/trunk/; revision=21070
2010-04-14 12:13:01 +00:00
Armijn Hemel 0cf1045be4 update to 1.0.5, add libvorbis, libtheora, speex support
svn path=/nixpkgs/trunk/; revision=21068
2010-04-14 10:52:20 +00:00
Peter Simons 689d42ad19 pkgs/applications/version-management/mercurial: updated to version 1.5.1
Patch courtesy of Jean-Marie Gaillourdet.

svn path=/nixpkgs/trunk/; revision=21056
2010-04-13 10:00:43 +00:00
Peter Simons bf775b5cdc pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.0.5
svn path=/nixpkgs/trunk/; revision=21055
2010-04-13 09:55:19 +00:00
Lluís Batlle i Rossell a79eba93e2 Updating elinks to a prerelease that has full utf-8 support
svn path=/nixpkgs/trunk/; revision=21039
2010-04-12 22:56:13 +00:00
Lluís Batlle i Rossell ec8f2bdc1b Adding sasl support to mutt, so ssmtp sending works
svn path=/nixpkgs/trunk/; revision=21038
2010-04-12 22:21:01 +00:00
Lluís Batlle i Rossell 165bc84831 Adding smtp support to mutt
svn path=/nixpkgs/trunk/; revision=21037
2010-04-12 22:10:15 +00:00
Peter Simons 425d964e7d pkgs/applications/science/math/maxima: added myself as a maintainer
svn path=/nixpkgs/trunk/; revision=21028
2010-04-12 11:21:38 +00:00
Peter Simons 2185e04b88 pkgs/applications/version-management/git-and-tools/git: bumped version to 1.7.0.4
svn path=/nixpkgs/trunk/; revision=21026
2010-04-12 11:21:29 +00:00
Yury G. Kudryashov afe0368b9a Bump to calibre-0.6.47
svn path=/nixpkgs/trunk/; revision=21013
2010-04-11 18:58:35 +00:00
Yury G. Kudryashov f25c68f01a Remove old kde packages
svn path=/nixpkgs/trunk/; revision=21011
2010-04-11 15:50:41 +00:00
Armijn Hemel e0f50ecb39 update to 2.2.3
svn path=/nixpkgs/trunk/; revision=21008
2010-04-11 12:13:23 +00:00
Armijn Hemel 5bd8e9c059 update to 1.3.3.14, disable cairo for now, since it doesn't compile (also not with 1.3.3.13
svn path=/nixpkgs/trunk/; revision=21007
2010-04-10 22:33:44 +00:00
Yury G. Kudryashov eb20e3b926 Add gpm support to elinks
svn path=/nixpkgs/trunk/; revision=21003
2010-04-10 20:27:02 +00:00
Yury G. Kudryashov 22bc695075 Use package overrides instead of getConfig
svn path=/nixpkgs/trunk/; revision=21002
2010-04-10 20:26:54 +00:00
Armijn Hemel 86a0b21de8 update to 2.8.3
svn path=/nixpkgs/trunk/; revision=21000
2010-04-10 19:06:59 +00:00
Eelco Dolstra 2f423bbf1f * Firefox 3.5.9.
svn path=/nixpkgs/trunk/; revision=20992
2010-04-09 13:06:46 +00:00
Michael Raskin f7880c95a3 Roll back OO.o version; subscribe to build results
svn path=/nixpkgs/trunk/; revision=20964
2010-04-06 21:46:52 +00:00
Lluís Batlle i Rossell 3c2c4ac87a Adding 'meld'
svn path=/nixpkgs/trunk/; revision=20963
2010-04-06 19:39:29 +00:00
Michael Raskin 3cc371de23 Try removing old patches
svn path=/nixpkgs/trunk/; revision=20961
2010-04-06 19:04:43 +00:00
Michael Raskin 1b2c0d3326 Try updating OO.o - old tarball unavailable anyway
svn path=/nixpkgs/trunk/; revision=20960
2010-04-06 17:30:51 +00:00
Lluís Batlle i Rossell 882e258fbc Updating firefox. For xulrunner, I moved the version number up too; I don't know what did I have to do with it.
svn path=/nixpkgs/trunk/; revision=20948
2010-04-05 16:04:50 +00:00
Lluís Batlle i Rossell bb8a2181ad Updating kismet
svn path=/nixpkgs/trunk/; revision=20934
2010-04-03 22:07:59 +00:00
Yury G. Kudryashov b01b22892b Use override for gitFull
svn path=/nixpkgs/trunk/; revision=20927
2010-04-02 12:39:38 +00:00
Yury G. Kudryashov 284c448d12 Fix gitFull build
svn path=/nixpkgs/trunk/; revision=20926
2010-04-02 07:43:02 +00:00
Yury G. Kudryashov 7af927d96b Improve git-svn support
svn path=/nixpkgs/trunk/; revision=20925
2010-04-02 07:17:11 +00:00
Yury G. Kudryashov f26e437b72 Don't depend on X unless djview3 is requested
Also rename option name to "qt3"

svn path=/nixpkgs/trunk/; revision=20908
2010-04-01 12:34:50 +00:00
Sander van der Burg 903fff2bdd Fixed the download URL of virtualbox
svn path=/nixpkgs/trunk/; revision=20886
2010-03-31 09:49:58 +00:00
Sander van der Burg e09befd926 Upgraded virtualbox guest additions to 3.1.6
svn path=/nixpkgs/trunk/; revision=20884
2010-03-31 09:32:52 +00:00
Sander van der Burg 88a67817c9 Upgraded VirtualBox to 3.1.6
svn path=/nixpkgs/trunk/; revision=20883
2010-03-31 09:31:13 +00:00
Lluís Batlle i Rossell 946ca82173 Making ikiwiki happier with LocaleGettext
svn path=/nixpkgs/trunk/; revision=20845
2010-03-28 22:54:10 +00:00
Lluís Batlle i Rossell acb93ad638 Updating ikiwiki
svn path=/nixpkgs/trunk/; revision=20844
2010-03-28 19:18:12 +00:00
Alexander Tsamutali 99f19e27de applications/networking/p2p/transmission: New nixpkg.
svn path=/nixpkgs/trunk/; revision=20840
2010-03-28 00:06:30 +00:00
Eelco Dolstra 54aefa41b4 * aangifte2009 requires xdg-utils to open a browser.
svn path=/nixpkgs/trunk/; revision=20830
2010-03-25 20:39:01 +00:00
Eelco Dolstra 25ea790dd4 * Added the Dutch Tax Return program for 2009.
svn path=/nixpkgs/trunk/; revision=20828
2010-03-25 19:40:19 +00:00
Lluís Batlle i Rossell d533e31357 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=20825
2010-03-25 15:07:53 +00:00
Michael Raskin 7a57a42ee6 Update XNeur
svn path=/nixpkgs/trunk/; revision=20804
2010-03-24 07:25:33 +00:00
Lluís Batlle i Rossell 54ccfcff2d Updating calibre (now, with chm support)
svn path=/nixpkgs/trunk/; revision=20797
2010-03-23 21:48:38 +00:00
Eelco Dolstra 318234c091 * flashplayer: fix the version number.
svn path=/nixpkgs/trunk/; revision=20792
2010-03-23 19:35:48 +00:00
Eelco Dolstra 9dd466d123 * Updated pyqt and sip because the old versions have disappeared.
* Removed some unused versions of those packages.
* Don't pass `lib' to packages (because we already have `stdenv.lib').
* Removed some `*_python26' variants because Python 2.6 is the default
  now.

svn path=/nixpkgs/trunk/; revision=20782
2010-03-23 14:04:47 +00:00
Peter Simons 47e93b4177 pkgs/applications/editors/emacs-modes/magit: fixed cut&paste error in name attribute
Thanks, Eelco!

svn path=/nixpkgs/trunk/; revision=20780
2010-03-23 12:29:21 +00:00
Peter Simons bba9ecdbac pkgs/applications/editors/emacs-modes/magit: updated to version 0.7-109-g0fc3980
svn path=/nixpkgs/trunk/; revision=20779
2010-03-23 11:56:44 +00:00
Eelco Dolstra 4bd60ef8fc * Updated Firefox to 3.6.2. Hopefully it works now.
svn path=/nixpkgs/trunk/; revision=20777
2010-03-23 10:27:47 +00:00
Peter Simons 9c9620b334 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.0.3
svn path=/nixpkgs/trunk/; revision=20776
2010-03-23 09:34:58 +00:00
Rob Vermaas a5586000d4 fix subversion perl bindings for gitFull
svn path=/nixpkgs/trunk/; revision=20771
2010-03-22 11:13:02 +00:00
Michael Raskin cd8cc93432 Update Monotone
svn path=/nixpkgs/trunk/; revision=20716
2010-03-17 15:13:13 +00:00
Lluís Batlle i Rossell 26ca329ec4 Making gitFull get the subversion as it wants: with perlBindings.
This should allow hydra building it properly.

svn path=/nixpkgs/trunk/; revision=20701
2010-03-17 13:27:05 +00:00
Lluís Batlle i Rossell 1d71fc8923 Updating avidemux
svn path=/nixpkgs/trunk/; revision=20670
2010-03-16 21:52:36 +00:00
Peter Simons cab868b9a3 pkgs/applications/editors/emacs-modes/magit: download tarball from cryp.to
The idea of downloading the source code tarball directly from gitorious.org was
great, but didn't work. Apparently, those tarballs have different checksums
every time they're generated. To remedy the situation, I've copied the proper
tarball statically to <http://cryp.to/magit-mainline-0.7-94-gbf42bf8.tar.gz>.

svn path=/nixpkgs/trunk/; revision=20653
2010-03-16 12:51:45 +00:00
Peter Simons b6d6f301c4 pkgs/applications/editors/emacs-modes/magit: updated to version magit-0.7-94-gbf42bf8
Magit has seen plenty of development since version 0.7, but for some reason
there haven't been any new releases. This version bump updates the expression to
build a current version of Magit directly from the Git repository.

This change adds buildInputs 'autoconf' and 'automake'. These tools are required
only because we aren't building from a proper release tarball. Once version 0.8
comes out, these dependencies can be dropped again.

svn path=/nixpkgs/trunk/; revision=20650
2010-03-16 12:13:40 +00:00
Peter Simons f92867651f pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.0.2
svn path=/nixpkgs/trunk/; revision=20649
2010-03-16 12:13:32 +00:00
Michael Raskin f05adf46bd Make FlashPlayer9 build for now..
svn path=/nixpkgs/trunk/; revision=20641
2010-03-16 06:44:02 +00:00
Lluís Batlle i Rossell d44be49320 Updating tkcvs (which includes tkdiff)
svn path=/nixpkgs/trunk/; revision=20632
2010-03-15 14:26:47 +00:00
Marc Weber 65ef5d1328 mplayer-trunk update
svn path=/nixpkgs/trunk/; revision=20604
2010-03-13 06:07:46 +00:00
Marc Weber b2c15d8c37 git-1.7: Python is optional
svn path=/nixpkgs/trunk/; revision=20603
2010-03-13 06:07:44 +00:00
Marc Weber 19f4182167 fix Scribus
svn path=/nixpkgs/trunk/; revision=20602
2010-03-13 06:07:41 +00:00
Lluís Batlle i Rossell 57ea53f67a Adding rapidsvn
svn path=/nixpkgs/trunk/; revision=20538
2010-03-10 20:44:40 +00:00
Armijn Hemel 013ead070a update to 2.8.2
svn path=/nixpkgs/trunk/; revision=20537
2010-03-10 19:34:16 +00:00
Lluís Batlle i Rossell e0a7fba6a0 Making googleearth build (buildInputs => buildNativeInputs in the scripts)
svn path=/nixpkgs/trunk/; revision=20466
2010-03-07 22:46:06 +00:00
Lluís Batlle i Rossell dddd34bc4e Updating qemu.
svn path=/nixpkgs/trunk/; revision=20458
2010-03-06 23:37:01 +00:00
Lluís Batlle i Rossell 3b54414f31 I left a "set -x" without will.
svn path=/nixpkgs/trunk/; revision=20441
2010-03-05 22:13:58 +00:00
Lluís Batlle i Rossell 681929cd4d I noticed that the patchPhase does not run postPatch, if there are no 'patches'.
So, I move what I had in postPatch to prePatch, which is run with or without 'patches'.


svn path=/nixpkgs/trunk/; revision=20440
2010-03-05 22:10:54 +00:00
Lluís Batlle i Rossell ba28274db7 Updating mercurial
svn path=/nixpkgs/trunk/; revision=20439
2010-03-05 21:59:52 +00:00
Lluís Batlle i Rossell 48fa4b5257 Updating dwm, and allowing users set their own patches to configure it.
svn path=/nixpkgs/trunk/; revision=20437
2010-03-05 21:49:29 +00:00
Lluís Batlle i Rossell ca86e6992b Updating dmenu.
svn path=/nixpkgs/trunk/; revision=20436
2010-03-05 21:42:24 +00:00
Lluís Batlle i Rossell e1f0221bc3 As the main openoffice servers don't hold the 3.1.1 source anymore (This means I could
not find it), I update the URLs so it is taken from a mirror still having them.

I tried one at random from:
http://distribution.openoffice.org/mirrors/#mirrors
and it worked. They don't have older versions other than 3.1.1 though.

This also reverts the attempt from Sander updating the expression to 3.2.0, because
it failed. That deserves more effort.

svn path=/nixpkgs/trunk/; revision=20419
2010-03-05 17:09:34 +00:00
Sander van der Burg 0894348d60 Since OOo 3.1.1 is broken anyway, this is my first attempt in supporting 3.2.0
svn path=/nixpkgs/trunk/; revision=20414
2010-03-05 13:38:27 +00:00
Lluís Batlle i Rossell 4523a86c92 Adding the awesome man pages.
svn path=/nixpkgs/trunk/; revision=20394
2010-03-05 09:52:53 +00:00
Lluís Batlle i Rossell 40d3c2f29a Adding graphicsmagick 1.3.7 for octave imread() and alike to work.
svn path=/nixpkgs/trunk/; revision=20390
2010-03-04 16:41:14 +00:00
Lluís Batlle i Rossell ba274e578c Made graphicsmagick-config not say anything about libraries that would be needed for static linking, because we are linking it dynamically.
Made octave link with graphicsmagick to get imread() working.

Nevertheless, imread does not work, because of some problems between octave and latest versions of graphicsmagick: http://www-old.cae.wisc.edu/pipermail/octave-maintainers/2010-February/015295.html

Next to do: add an older version of graphics magick for octave.

svn path=/nixpkgs/trunk/; revision=20389
2010-03-04 16:41:10 +00:00
Lluís Batlle i Rossell 22065c11d9 Adding 'awesome' (and two packages it was depending on)
svn path=/nixpkgs/trunk/; revision=20385
2010-03-04 14:44:56 +00:00
Lluís Batlle i Rossell 9c75629a31 Made graphicsmagick build shared libraries (otherwise we have to care in x86_64 on PIC)
svn path=/nixpkgs/trunk/; revision=20384
2010-03-04 14:44:51 +00:00
Lluís Batlle i Rossell aa38df2611 Adding GraphicsMagick
svn path=/nixpkgs/trunk/; revision=20383
2010-03-04 14:44:47 +00:00
Lluís Batlle i Rossell c2cbd65668 Getting a better seg3d build. Now it runs from TMPDIR at least.
The installation still fails.

svn path=/nixpkgs/trunk/; revision=20382
2010-03-04 14:44:43 +00:00
Ludovic Courtès 21e05c5ff3 GNU Zile 2.3.15.
svn path=/nixpkgs/trunk/; revision=20361
2010-03-04 11:10:35 +00:00
Ludovic Courtès cbe0240818 pavucontrol 0.9.10.
svn path=/nixpkgs/trunk/; revision=20354
2010-03-03 14:27:22 +00:00
Lluís Batlle i Rossell 8e0a5f75a7 I broke again the nixpkgs tarball. After this, I think I learnt how to test it before
committing.


svn path=/nixpkgs/trunk/; revision=20321
2010-03-02 07:45:22 +00:00
Lluís Batlle i Rossell cc068f0be8 Adding the itk libraries.
Adding a skeleton of the seg3d package. It builds, but libraries and rpaths are wrong.
I hope to fix it soon.

svn path=/nixpkgs/trunk/; revision=20320
2010-03-01 23:31:35 +00:00
Ludovic Courtès 0bae3266eb Impressive: Fix references to Python's directories.
svn path=/nixpkgs/trunk/; revision=20318
2010-03-01 17:08:30 +00:00
Ludovic Courtès f1fcbc0fc9 Fix JDEE.
The SVN history has apparently been modified in place.

svn path=/nixpkgs/trunk/; revision=20313
2010-03-01 17:08:08 +00:00
Rob Vermaas 895ec201d3 yate2: updated hash
svn path=/nixpkgs/trunk/; revision=20298
2010-03-01 12:09:05 +00:00
Lluís Batlle i Rossell b7abafeedc Adding a new python package to allow calibre preview the books
svn path=/nixpkgs/trunk/; revision=20292
2010-02-28 22:55:08 +00:00
Lluís Batlle i Rossell 30a9cbf018 Updating calibre (I had to add a new python package for it: cssutils)
svn path=/nixpkgs/trunk/; revision=20291
2010-02-28 22:42:39 +00:00
Michael Raskin 01d5ec596b Some more optional features for Vim
svn path=/nixpkgs/trunk/; revision=20288
2010-02-28 17:54:41 +00:00
Michael Raskin a45255dee9 Fix Chromium
svn path=/nixpkgs/trunk/; revision=20251
2010-02-25 13:22:51 +00:00
Ludovic Courtès f07aa3d96d GNUnet 0.8.1b.
svn path=/nixpkgs/trunk/; revision=20245
2010-02-25 10:31:36 +00:00
Michael Raskin 9df96554ec Make Vim source overridable and add ECL configuration information. Currently Vim with ECL support requires unofficial source package, like the one retrievable from http://repo.or.cz/w/vim_extended.git
svn path=/nixpkgs/trunk/; revision=20200
2010-02-23 18:10:42 +00:00
Armijn Hemel 68164d951e update to 2.6.6
svn path=/nixpkgs/trunk/; revision=20199
2010-02-23 17:17:53 +00:00
Lluís Batlle i Rossell 454fb58a39 Updating psi, so it builds with gcc 4.4
svn path=/nixpkgs/trunk/; revision=20165
2010-02-22 09:53:17 +00:00
Lluís Batlle i Rossell fbb0906d14 Fixing a sourceforge url inside meshlab.
svn path=/nixpkgs/trunk/; revision=20162
2010-02-22 08:15:34 +00:00
Alexander Tsamutali 2b78535ef9 applications/misc/xmobar: Added UTF8 and XFT support.
svn path=/nixpkgs/trunk/; revision=20156
2010-02-21 15:49:44 +00:00
Alexander Tsamutali 8c82537f9a applications/misc/sakura: New nixpkg.
svn path=/nixpkgs/trunk/; revision=20152
2010-02-21 11:36:49 +00:00
Eelco Dolstra af717b48f4 * Firefox 3.5.8.
svn path=/nixpkgs/trunk/; revision=20125
2010-02-19 10:03:31 +00:00
Michael Raskin b51a1937b6 Fix pqiv unpack step
svn path=/nixpkgs/trunk/; revision=20124
2010-02-19 09:58:37 +00:00
Lluís Batlle i Rossell 7506ae348d Updating qemu
svn path=/nixpkgs/trunk/; revision=20115
2010-02-18 18:42:11 +00:00
Michael Raskin c3e3bc52dc Fix missed argument
svn path=/nixpkgs/trunk/; revision=20113
2010-02-18 16:26:35 +00:00
Sander van der Burg 3b65d90edf Removed all root ownership stuff, so that the kernel modules will install in a chroot environment
svn path=/nixpkgs/trunk/; revision=20103
2010-02-18 14:04:22 +00:00
Sander van der Burg 2fb201871b Running the guest additions build in a chroot environment will not install the kernel modules. Removing the ownership attributes might prevents this
svn path=/nixpkgs/trunk/; revision=20097
2010-02-18 13:09:49 +00:00
Peter Simons c7e5f6a80b pkgs/applications/version-management/git-and-tools/git: version 1.7.0 needs Python
svn path=/nixpkgs/trunk/; revision=20096
2010-02-18 12:08:39 +00:00
Marc Weber 8acdb419c6 fix git-fast-import by using a correct tar.gz
svn path=/nixpkgs/trunk/; revision=20086
2010-02-18 01:49:45 +00:00
Marc Weber 662a933eb0 fix mercurial gui (python lib path still pointed to 2.5 bet python 2.6 is used now)
svn path=/nixpkgs/trunk/; revision=20085
2010-02-18 01:49:41 +00:00
Marc Weber 4007d19700 fix vim_configurable
svn path=/nixpkgs/trunk/; revision=20084
2010-02-18 01:49:22 +00:00
Peter Simons 6a48baead3 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.0
svn path=/nixpkgs/trunk/; revision=20083
2010-02-18 00:28:24 +00:00
Peter Simons 200c07d817 pkgs/applications/version-management/git-and-tools/git: added myself to the list of maintainers
svn path=/nixpkgs/trunk/; revision=20082
2010-02-18 00:28:15 +00:00
Sander van der Burg b036ee727a Fixed installation of virtualbox kernel modules
svn path=/nixpkgs/trunk/; revision=20077
2010-02-17 16:13:53 +00:00
Lluís Batlle i Rossell c9b077f296 Updating freemind, and making it build.
(A hack about mkdir... strange ant. I don't know how it is supposed to work)


svn path=/nixpkgs/trunk/; revision=20061
2010-02-16 21:29:35 +00:00
Lluís Batlle i Rossell b07babb810 Updating homebank.
svn path=/nixpkgs/trunk/; revision=20058
2010-02-16 17:49:24 +00:00
Sander van der Burg 30b6f037a0 Upgraded VirtualBox to 3.1.4 which also fixes problems in recent NixOS releases. It took me a while to upgrade this, since the installer is different compared to older releases.
svn path=/nixpkgs/trunk/; revision=20057
2010-02-16 16:10:01 +00:00
Peter Simons 7fd8b772db pkgs/applications/version-management/rcs/default.nix: meta.platforms is not a list
svn path=/nixpkgs/trunk/; revision=20053
2010-02-16 14:19:07 +00:00
Sander van der Burg 1033f5e6fa Oops: forgot to change version number in the name
svn path=/nixpkgs/trunk/; revision=20034
2010-02-15 22:54:08 +00:00
Marco Maggesi 513d653d68 Add HOL Light and its dependencies.
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light

Some functionalities of HOL Light requires the compiled sources of
OCaml.  For now we provide a new package ocaml_with_sources.  After
this shuold be merged with the current version of OCaml already
present in nixpkgs.


svn path=/nixpkgs/trunk/; revision=20008
2010-02-15 11:00:02 +00:00
Lluís Batlle i Rossell 9dc143e9aa Updating the flash player 10 for linux.
svn path=/nixpkgs/trunk/; revision=20003
2010-02-15 08:49:02 +00:00
Sander van der Burg 7b17fdc916 Upgraded VirtualBox to 3.1.4
svn path=/nixpkgs/trunk/; revision=19993
2010-02-14 21:27:13 +00:00
Ludovic Courtès 5fe8c274d5 GNU IceCat: Fix the file name of `firefox.js'.
svn path=/nixpkgs/trunk/; revision=19990
2010-02-14 14:16:15 +00:00
Ludovic Courtès ac4cd45459 GNU IceCat: Fix typo.
svn path=/nixpkgs/trunk/; revision=19989
2010-02-14 11:37:45 +00:00
Marc Weber 92c42c9000 fix gimp plugins, webkit build
svn path=/nixpkgs/trunk/; revision=19988
2010-02-14 00:33:57 +00:00
Ludovic Courtès 928f2c52e1 GNU IceCat: Fix the fix.
svn path=/nixpkgs/trunk/; revision=19987
2010-02-13 22:46:25 +00:00
Ludovic Courtès 0276958fed GNU IceCat: Attempt to work around known bugs.
svn path=/nixpkgs/trunk/; revision=19986
2010-02-13 22:36:48 +00:00
Ludovic Courtès 62665b519e Add GNU TeXmacs.
svn path=/nixpkgs/trunk/; revision=19985
2010-02-13 19:22:16 +00:00
Marc Weber 58747b8bf2 rxvt-unicode upgrade to 9.0.7 - didn't compile
svn path=/nixpkgs/trunk/; revision=19984
2010-02-13 17:39:27 +00:00
Marc Weber edc1d89a45 update git-1.6.6.2
svn path=/nixpkgs/trunk/; revision=19983
2010-02-13 17:39:25 +00:00
Lluís Batlle i Rossell 683688f476 Updating skype. Finally!
I think that patchelf was breaking the binary, and I decided to use a wrapper
with a LD_LIBRARY_PATH.

svn path=/nixpkgs/trunk/; revision=19968
2010-02-12 23:19:37 +00:00
Eelco Dolstra 4e0ccd63b3 * In NixOS chroot builds, there is no root account. So rcs' configure
should not rely on its existence in deciding whether to use
  getpwuid().  Not using getpwuid() causes rcs to fail with "ci:
  setuid not supported".

svn path=/nixpkgs/trunk/; revision=19957
2010-02-12 14:27:26 +00:00
Marc Weber ec88f45c93 fix build of procmail
svn path=/nixpkgs/trunk/; revision=19944
2010-02-12 04:07:41 +00:00
Lluís Batlle i Rossell 76c8738552 Adding the GAP gimp plugin, and making nix-env recurse into the gimp plugins attribute set.
svn path=/nixpkgs/trunk/; revision=19936
2010-02-11 15:08:05 +00:00
Lluís Batlle i Rossell 8da211ed32 Making openoffice build in chroot (where there is no root in /etc/passwd)
svn path=/nixpkgs/trunk/; revision=19935
2010-02-11 15:08:00 +00:00
Eelco Dolstra 8fab70fde3 * redland: make the dependency on postgresql, mysql, sqlite and db4
optional.  It's really not necessary for KDE to depend on four
  different databases...

svn path=/nixpkgs/trunk/; revision=19932
2010-02-11 14:31:49 +00:00
Ludovic Courtès 8004163ff3 TopGit: Use `fetchgit' rather than relying on Gitweb-generated tarballs.
Gitweb's tarballs change overtime, probably because they are generated
on-demand and files have different timestamps.

svn path=/nixpkgs/trunk/; revision=19896
2010-02-10 11:28:22 +00:00
Eelco Dolstra b0376d16a2 * Updated GNU hello to 2.5. This also gets rid of the unintentional
"hello-2.3x26" commit.

svn path=/nixpkgs/trunk/; revision=19877
2010-02-09 10:41:39 +00:00
Ludovic Courtès b34165054d Ratpoison: Fix glibc 2.11 builds.
svn path=/nixpkgs/trunk/; revision=19867
2010-02-08 15:33:18 +00:00
Ludovic Courtès 637746b9cc WordNet: Fix URL; add `meta.maintainers'.
svn path=/nixpkgs/trunk/; revision=19863
2010-02-08 13:53:16 +00:00
Ludovic Courtès baebba7d05 GKrellM 2.3.4.
svn path=/nixpkgs/trunk/; revision=19861
2010-02-08 13:24:22 +00:00
Eelco Dolstra d8c6bb130c * Sync with the trunk one last time.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19849
2010-02-05 23:06:36 +00:00
Eelco Dolstra aee659e1e2 * Fix various broken URLs / mirrors.
* Updated tcpdump, ImageMagick, lsof.

svn path=/nixpkgs/trunk/; revision=19847
2010-02-05 22:00:51 +00:00
Eelco Dolstra 8c8631d974 * Don't set `platforms' on Google Earth because we don't want Hydra to
build it.

svn path=/nixpkgs/trunk/; revision=19839
2010-02-05 19:22:26 +00:00
Eelco Dolstra 631ea03875 * Fix / disable some packages that give evaluation errors in Hydra.
svn path=/nixpkgs/trunk/; revision=19833
2010-02-05 14:13:25 +00:00
Lluís Batlle i Rossell df0800e91d Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19825
2010-02-04 19:08:28 +00:00
Eelco Dolstra 79df27d45b * Subversion 1.6.9.
svn path=/nixpkgs/trunk/; revision=19791
2010-02-03 18:39:13 +00:00
Eelco Dolstra a617a7c239 * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19786
2010-02-03 14:23:43 +00:00
Eelco Dolstra b6943f0056 * Clean up the Lynx expression a bit.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19775
2010-02-03 12:24:03 +00:00
Lluís Batlle i Rossell 8beaa7ab63 Updating eaglemode.
svn path=/nixpkgs/trunk/; revision=19749
2010-02-01 16:07:59 +00:00
Ludovic Courtès d5219beafc GNU IceCat 3.6: Disable WiFi stuff for now.
svn path=/nixpkgs/trunk/; revision=19744
2010-02-01 09:16:56 +00:00
Ludovic Courtès 8a57c8bf35 Add mpc123, a Musepack command-line player.
svn path=/nixpkgs/trunk/; revision=19722
2010-01-28 22:34:27 +00:00
Ludovic Courtès 7f213f0403 GNU IceCat: Add missing dependency.
svn path=/nixpkgs/trunk/; revision=19720
2010-01-28 21:13:04 +00:00
Ludovic Courtès 87e7334e64 GNU IceCat: Stick to good ol' bzip2 for now.
svn path=/nixpkgs/trunk/; revision=19712
2010-01-27 15:25:31 +00:00
Ludovic Courtès 828985f2d7 GNU IceCat 3.6.
svn path=/nixpkgs/trunk/; revision=19702
2010-01-27 08:53:31 +00:00
Lluís Batlle i Rossell 8e55fad6d1 Adding homebank, personal finance software.
svn path=/nixpkgs/trunk/; revision=19698
2010-01-26 22:22:11 +00:00
Ludovic Courtès ca9dcb28a1 topgit: Fix.
svn path=/nixpkgs/trunk/; revision=19695
2010-01-26 21:45:07 +00:00
Eelco Dolstra 7eff18fa03 * Fixed xscreensaver (it couldn't find the X headers/libraries
anymore).

svn path=/nixpkgs/branches/stdenv-updates/; revision=19694
2010-01-26 21:40:32 +00:00
Ludovic Courtès ecc992b7b1 topgit: Get a genuine source tarball; install `README'.
svn path=/nixpkgs/trunk/; revision=19693
2010-01-26 21:26:01 +00:00
Eelco Dolstra fae05e6328 * Build on GCC 4.4.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19677
2010-01-26 15:27:18 +00:00
Eelco Dolstra e907369c62 * Applied a patch to make Pan build with GCC 4.4.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19667
2010-01-26 14:48:44 +00:00
Lluís Batlle i Rossell bb0a18daac Adding some kind of build expression for money manager ex.
It expects to find its resource files in '.', and it also wants to write at '.'.
I think this has to be fixed upstream.


svn path=/nixpkgs/trunk/; revision=19655
2010-01-25 21:40:52 +00:00
Lluís Batlle i Rossell bcba809460 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19654
2010-01-25 18:52:07 +00:00
Lluís Batlle i Rossell 029cd0a213 Adding gtkhtml, another program needed for gnucash to build.
I thought gtkhtml was not needed, and in my previous commit I removed it as a gnucash dependency.


svn path=/nixpkgs/trunk/; revision=19639
2010-01-24 22:07:53 +00:00
Lluís Batlle i Rossell 6f462d2c7c Adding (quite blindly) some gnome packages to get gnucash built.
svn path=/nixpkgs/trunk/; revision=19638
2010-01-24 21:32:09 +00:00
Eelco Dolstra c7194fe7cf * Added Firefox 3.6. It's not entirely stable yet though. In
particular it segfaults with the `-P' option.

svn path=/nixpkgs/trunk/; revision=19606
2010-01-21 22:23:59 +00:00
Eelco Dolstra b8f106abd7 * Throw away some old versions of Firefox.
svn path=/nixpkgs/trunk/; revision=19604
2010-01-21 21:14:22 +00:00
Lluís Batlle i Rossell a3e4c7640f Updating meshlab.
Their build system has changed, and the source tree they distribute too, so the
dependencies changed a bit.
To get meshlab working, I update lib3ds and add levmar.

svn path=/nixpkgs/trunk/; revision=19595
2010-01-21 14:39:53 +00:00
Michael Raskin 247d4ae098 Update pstree
svn path=/nixpkgs/trunk/; revision=19593
2010-01-21 10:06:17 +00:00
Lluís Batlle i Rossell 8640725ca4 Updating meshlab
svn path=/nixpkgs/trunk/; revision=19592
2010-01-21 09:49:10 +00:00
Lluís Batlle i Rossell 13733f6f94 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=19591
2010-01-21 09:49:06 +00:00
Ludovic Courtès 98b73c1306 cvs: Fix getcwd() from Gnulib so that it works in chroots.
svn path=/nixpkgs/trunk/; revision=19564
2010-01-20 11:08:50 +00:00
Eelco Dolstra 4e65c8aa2a * Use patchelf 0.5.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19548
2010-01-19 17:15:47 +00:00
Michael Raskin ca68ccdaf4 Update ikiwiki
svn path=/nixpkgs/trunk/; revision=19537
2010-01-19 11:54:04 +00:00
Ludovic Courtès 5143789a4d git: Remove extra `meta.license' tag.
svn path=/nixpkgs/trunk/; revision=19527
2010-01-18 16:49:19 +00:00
Ludovic Courtès 88646b77e1 git: Augment meta' so that gitFull' gets built by Hydra.
svn path=/nixpkgs/trunk/; revision=19526
2010-01-18 16:07:48 +00:00
Ludovic Courtès b8bb0ce6dd Add `gitFull'.
svn path=/nixpkgs/trunk/; revision=19525
2010-01-18 16:07:44 +00:00
Michael Raskin cfcadb5967 Montone update
svn path=/nixpkgs/trunk/; revision=19512
2010-01-17 23:38:12 +00:00
Lluís Batlle i Rossell 47735a06c3 Adding rawtherapee svn r25
svn path=/nixpkgs/trunk/; revision=19500
2010-01-17 17:49:35 +00:00
Alexander Tsamutali b207890b81 applications/misc/epdfview: New package.
svn path=/nixpkgs/trunk/; revision=19498
2010-01-17 01:39:29 +00:00
Lluís Batlle i Rossell 063ef1925d Adding digikam and kipi-plugins for kde4.
svn path=/nixpkgs/trunk/; revision=19488
2010-01-16 20:13:20 +00:00
Lluís Batlle i Rossell df68759142 Updating from trunk, to get the new mldonkey.
Cleaning the mldonkey expression to build with the ocaml native compiler in some
platforms, and with the bytecode in others.
Removing the flag to support ocaml-3.11.1, as it is included in this new
version of mldonkey.


svn path=/nixpkgs/branches/stdenv-updates/; revision=19487
2010-01-16 16:41:33 +00:00
Lluís Batlle i Rossell 68c9d127ed Updating mldonkey, and adding more build-type add-ons.
svn path=/nixpkgs/trunk/; revision=19486
2010-01-16 16:31:52 +00:00
Lluís Batlle i Rossell 70dd97620c Updating from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=19485
2010-01-16 15:19:23 +00:00
Lluís Batlle i Rossell 659a9a835a Fixing the slim build in gcc 4.4
svn path=/nixpkgs/branches/stdenv-updates/; revision=19482
2010-01-16 15:02:46 +00:00
Lluís Batlle i Rossell 916e0f3840 Updating paraview.
svn path=/nixpkgs/trunk/; revision=19478
2010-01-16 11:05:17 +00:00
Lluís Batlle i Rossell 89944b6cf0 Updating unison.
svn path=/nixpkgs/trunk/; revision=19468
2010-01-15 15:09:46 +00:00
Michael Raskin e1604101fe Fix Dia source link
svn path=/nixpkgs/trunk/; revision=19463
2010-01-15 10:51:44 +00:00
Lluís Batlle i Rossell 9183f21f7e Merging from trunk.
I fixed conflicts regarding the renaming 'kernel' -> 'linux' in all-packages.
Also a small conflict in all-packages about making openssl overridable.
And I some linux 2.6.31-zen kernel files also marked in conflict.


svn path=/nixpkgs/branches/stdenv-updates/; revision=19438
2010-01-14 14:49:31 +00:00
Sander van der Burg f00b7292e7 Stole a patch from cblfs.cross-lfs.org to fix compilation errors with glibc 2.11
svn path=/nixpkgs/trunk/; revision=19431
2010-01-14 12:29:54 +00:00
Ludovic Courtès 5080aa43d3 GNUnet: Add `meta.platforms'.
svn path=/nixpkgs/trunk/; revision=19414
2010-01-13 21:34:45 +00:00
Sander van der Burg 6608d55291 Updated VirtualBox to version 3.1.2
svn path=/nixpkgs/trunk/; revision=19406
2010-01-13 16:14:22 +00:00
Eelco Dolstra de360dbe76 * Firefox 3.0.17.
svn path=/nixpkgs/trunk/; revision=19392
2010-01-13 13:21:06 +00:00
Peter Simons a5b5690be7 pkgs/applications/science/math/maxima: updated to version 5.20.1
svn path=/nixpkgs/trunk/; revision=19380
2010-01-12 21:39:23 +00:00
Armijn Hemel 577f4d8325 update to 2.6.5, also add python dependency for extensions and all that
svn path=/nixpkgs/trunk/; revision=19352
2010-01-11 13:25:05 +00:00
Eelco Dolstra cdc307536c * Firefox 3.5.7.
svn path=/nixpkgs/trunk/; revision=19349
2010-01-11 10:43:29 +00:00
Ludovic Courtès 8048817e1e GNU IceCat 3.5.7.
svn path=/nixpkgs/trunk/; revision=19348
2010-01-11 10:16:50 +00:00
Lluís Batlle i Rossell 2cbbaa62ae Updating calibre.
I still have not been able to convert any single book to lrf with this calibre.
There may be some tool missing, but I don't guess what.


svn path=/nixpkgs/trunk/; revision=19310
2010-01-08 20:30:24 +00:00
Ludovic Courtès ed8858f9c0 GNU gv 3.6.8.
svn path=/nixpkgs/trunk/; revision=19305
2010-01-08 09:31:01 +00:00
Lluís Batlle i Rossell a4473b8205 Adding calibre. This involved also:
- Adding podofo
- Adding some new python packages
- Making new pkgs attributes for python packages to build with python 2.6
- Updating some python packages expressions to allow python 2.6, and not only 2.5.


svn path=/nixpkgs/trunk/; revision=19303
2010-01-07 22:47:30 +00:00
Alexander Tsamutali 24640da88a applications/window-managers/xcompmgr: New package.
svn path=/nixpkgs/trunk/; revision=19272
2010-01-06 20:45:43 +00:00
Eelco Dolstra d725008855 * IceWM updated to 1.2.37.
svn path=/nixpkgs/trunk/; revision=19244
2010-01-05 22:48:10 +00:00
Armijn Hemel f8106c5cf6 update to 2.6.8, python problems still persist
svn path=/nixpkgs/trunk/; revision=19235
2010-01-05 14:19:00 +00:00
Armijn Hemel ae80a8ed48 update to 3.0.7, requires perl now
svn path=/nixpkgs/trunk/; revision=19231
2010-01-05 12:29:58 +00:00
Ludovic Courtès bfb476c7d6 GNUnet 0.8.1.
svn path=/nixpkgs/trunk/; revision=19219
2010-01-05 11:16:42 +00:00
Andres Löh e9bb8f666a Haskell libs version bumps in order to improve ghc-6.12.1 compatibility.
svn path=/nixpkgs/trunk/; revision=19211
2010-01-04 17:40:51 +00:00
Rob Vermaas c5157f7d9d re-added libjpeg62 for chrome, updated chrome
svn path=/nixpkgs/trunk/; revision=19199
2010-01-04 07:47:32 +00:00
Marc Weber bbf8253985 adding debug version of i686 flash player. See comments
svn path=/nixpkgs/trunk/; revision=19195
2010-01-04 07:44:24 +00:00
Eelco Dolstra 05fce85edc * Thunderbird 3.0. It doesn't use the Xulrunner package, as building
against an external Xulrunner seems to be unsupported currently.

svn path=/nixpkgs/trunk/; revision=19169
2010-01-02 13:21:50 +00:00
Eelco Dolstra 0dc9f7dd4f * Put the Thunderbird 2 and 3 expressions in one directory.
svn path=/nixpkgs/trunk/; revision=19167
2010-01-01 16:35:43 +00:00
Armijn Hemel c8af5fd4dc update to 1.2.4
svn path=/nixpkgs/trunk/; revision=19162
2009-12-30 22:11:43 +00:00
Armijn Hemel cd2a151621 remove some old versions of qemu. svn version has also been outdated, but I'm not removing that one yet
svn path=/nixpkgs/trunk/; revision=19158
2009-12-30 18:02:07 +00:00
Armijn Hemel 8772bf65b0 add 0.12.1
svn path=/nixpkgs/trunk/; revision=19151
2009-12-30 12:56:08 +00:00
Rob Vermaas 6f41d4d034 different hash flash player 10
svn path=/nixpkgs/trunk/; revision=19149
2009-12-30 07:17:42 +00:00
Lluís Batlle i Rossell d864771e26 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19139
2009-12-28 11:40:34 +00:00
Armijn Hemel d993cf0f5f add voice and video
svn path=/nixpkgs/trunk/; revision=19136
2009-12-27 16:49:08 +00:00
Armijn Hemel 67f39a0ca9 update to 0.99.2
svn path=/nixpkgs/trunk/; revision=19129
2009-12-25 21:30:46 +00:00
Armijn Hemel 500f81e68d update to 1.5.20, add perl as extra dependency
svn path=/nixpkgs/trunk/; revision=19127
2009-12-25 20:02:31 +00:00
Armijn Hemel ec3285843f update to 1.0.4
svn path=/nixpkgs/trunk/; revision=19123
2009-12-25 19:22:25 +00:00
Armijn Hemel c066f11f80 update to 3.0.6
svn path=/nixpkgs/trunk/; revision=19120
2009-12-25 18:33:44 +00:00
Armijn Hemel c79eb46c7e update to 2.7.1
svn path=/nixpkgs/trunk/; revision=19119
2009-12-25 18:27:48 +00:00
Armijn Hemel 2009c65a99 konversation project website has moved, konversation.org has been abandoned
svn path=/nixpkgs/trunk/; revision=19117
2009-12-25 17:17:24 +00:00
Armijn Hemel 29bd8e55f8 update to 0.8.14
svn path=/nixpkgs/trunk/; revision=19116
2009-12-25 17:15:44 +00:00
Armijn Hemel 60e4c3e9ab update to 2009.4.0
svn path=/nixpkgs/trunk/; revision=19115
2009-12-25 16:58:17 +00:00
Armijn Hemel 18455cb9bc update to 0.97, use mirror and sha256
svn path=/nixpkgs/trunk/; revision=19114
2009-12-25 16:13:58 +00:00
Armijn Hemel 3093cbc10d update to 2.8.1
svn path=/nixpkgs/trunk/; revision=19113
2009-12-25 15:45:06 +00:00
Armijn Hemel 0814a30d2c update to 2.8.7
svn path=/nixpkgs/trunk/; revision=19111
2009-12-25 14:34:11 +00:00
Armijn Hemel a53ab8a2e7 update to 1.3.2
svn path=/nixpkgs/trunk/; revision=19107
2009-12-25 12:38:08 +00:00
Armijn Hemel 4f84a616d9 update to 2.2.1
svn path=/nixpkgs/trunk/; revision=19097
2009-12-24 21:37:18 +00:00
Lluís Batlle i Rossell bcc9c9ab1e Updated xaos to 3.5
svn path=/nixpkgs/trunk/; revision=19096
2009-12-24 17:02:44 +00:00
Lluís Batlle i Rossell c82d342017 Ouch.
I have a race condition between my commits and tests for the expressions I commit.


svn path=/nixpkgs/trunk/; revision=19095
2009-12-24 15:02:31 +00:00
Lluís Batlle i Rossell 1d70efa3c8 Adding xlsfonts, and adding meta information to xfontsel.
svn path=/nixpkgs/trunk/; revision=19094
2009-12-24 14:59:57 +00:00
Lluís Batlle i Rossell 4354cf8a6b Cleaning the xfontsel expression a bit - I did not want to commit such amount of superfluous
words in it, in the recent commit.


svn path=/nixpkgs/trunk/; revision=19093
2009-12-24 14:55:11 +00:00
Lluís Batlle i Rossell 5a4f1b07f4 Adding xfontsel. A bit hacky (to work well, it requires copying its app-defaults to $HOME)
As app-defaults should be installed with the libXt (maybe it's libXt which loads them), and
stracing that is the place where the code looks for app-defaults (the libXt store path), I
don't know of any better solution in nixpkgs by now.


svn path=/nixpkgs/trunk/; revision=19092
2009-12-24 14:48:36 +00:00
Armijn Hemel 2e6b173032 update to 2.6.4. voice and video are not working atm
svn path=/nixpkgs/trunk/; revision=19086
2009-12-23 21:05:29 +00:00
Lluís Batlle i Rossell 5955f25623 Updating the googleearth version (we follow the binary contents of their single-URL package)
svn path=/nixpkgs/trunk/; revision=19083
2009-12-23 19:55:58 +00:00
Eelco Dolstra 6eb6fec8a1 * Firefox 3.5.6.
svn path=/nixpkgs/trunk/; revision=19075
2009-12-22 09:07:19 +00:00
Lluís Batlle i Rossell 7ee537f955 Getting a new gcc-wrapper on the way. After gnat-wrapper, I introduce
ghdl-wrapper.
I made the gcc-4.3.4 expression allow the 'vhdl' language through ghdl.
The ghdl developer recommends this gcc version; maybe it would work with
gcc-4.4. If not this ghdl version, maybe next versions.


svn path=/nixpkgs/branches/stdenv-updates/; revision=19071
2009-12-21 23:02:06 +00:00
Ludovic Courtès 310d6e4bbf Update from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19066
2009-12-21 11:09:23 +00:00
Lluís Batlle i Rossell 4fc8cd8d35 Adding gtkwave, to view waves generated by ghdl.
svn path=/nixpkgs/trunk/; revision=19065
2009-12-21 10:35:50 +00:00
Marc Weber 1106d431fc fix various builds by updating perl URI package update perl URI package
fix expect: Neither was the executable installed nor the shared library
fix topGit source
update synergy fixing build

svn path=/nixpkgs/trunk/; revision=19064
2009-12-21 08:55:31 +00:00
Lluís Batlle i Rossell fb82bac2fc Adding first built version of the gnat compiler for gcc 4.4.
Some things don't work:
- The ghdl expression (it still needs the gcc 4.3.4 src, ...)
- The gnat wrappers need to be more generic - now they work only for the
  given gnatboot (taken from gentoo) and gnats installed to their $out
  store path.
- Using the cloogppl and ppl. We will need our own gnatboot built with c++
  libraries for that.


svn path=/nixpkgs/branches/stdenv-updates/; revision=19060
2009-12-21 07:49:31 +00:00
Ludovic Courtès 99f646595c GNU IceCat 3.5.6.
svn path=/nixpkgs/trunk/; revision=19053
2009-12-20 19:49:40 +00:00
Lluís Batlle i Rossell 5bae851b1e Merging from trunk. I had to give away some structure to build the native
sheevaplug kernel, so the kernel does not build in the sheevaplug right now.
I will try to fix that in next commits.


svn path=/nixpkgs/branches/stdenv-updates/; revision=19045
2009-12-19 11:14:16 +00:00
Michael Raskin 1497cacb6e adding libxcursor dependency
svn path=/nixpkgs/trunk/; revision=18930
2009-12-14 00:14:55 +00:00
Michael Raskin a996d01af9 Adding content. Unfortunately, currently segfaults
svn path=/nixpkgs/trunk/; revision=18927
2009-12-14 00:00:11 +00:00
Peter Simons 24c117f98d pkgs/applications/version-management/git-and-tools/git: updated to version 1.6.5.6
svn path=/nixpkgs/trunk/; revision=18917
2009-12-13 13:47:10 +00:00
Lluís Batlle i Rossell a534f901bb Updating hugin.
svn path=/nixpkgs/trunk/; revision=18915
2009-12-12 18:58:40 +00:00
Lluís Batlle i Rossell dae3eb2383 Merging from trunk.
I resolved two conflicts:
- cmake (trunk fixes + stdenv-updates cross-compiling)
- all-packages (trunk gcc-wrapper2 + stdenv-updates gcc44)


svn path=/nixpkgs/branches/stdenv-updates/; revision=18912
2009-12-12 18:39:09 +00:00
Marc Weber 362f811a7a Revert "git: allow applying patches by config"
This reverts commit rev 18897
I should have used overrideDerivation.

svn path=/nixpkgs/trunk/; revision=18911
2009-12-12 18:10:26 +00:00
Marc Weber f62924477e fix hash of libCSS (netsurf browser)
svn path=/nixpkgs/trunk/; revision=18908
2009-12-12 00:20:29 +00:00
Marco Maggesi 98aaa4421c Add expression for Isabelle2009
svn path=/nixpkgs/trunk/; revision=18905
2009-12-11 17:00:52 +00:00
Marco Maggesi 218bdaf214 Add expression for ProofGeneral
svn path=/nixpkgs/trunk/; revision=18904
2009-12-11 16:18:27 +00:00
Marc Weber 0ceae8f6d1 git: allow applying patches by config
svn path=/nixpkgs/trunk/; revision=18897
2009-12-11 13:58:31 +00:00
Marc Weber 5319704f80 removing old bleeding edge cruft replacing it by a niftier version using
source regions which are substituded by the tool nix-repository-manager.
See http://github.com/MarcWeber/nix-repository-manager/raw/master/README.

sourceByName is called sourceFromHead now.

updates: MPlayerTrunk, haxe, neko, netsurf, cinelerra, ctags
cinelerra does no longer build due to Xorg update

svn path=/nixpkgs/trunk/; revision=18894
2009-12-11 13:58:23 +00:00
Lluís Batlle i Rossell f3c23487a2 Adding a new version of the gcc-wrapper, named gcc-wrapper2, in order not to rebuild
stdenv.

In this gcc-wrapper2 I made the ld-wrapper.sh to handle the linking with shared
objects through direct pass as ld command arguments of the absolute path to shared
objects, instead of using the -L/-l combinations.

cmake 'FindXXX.cmake' modules make a strong usage of the dynamic linking directly
passing the absolute path to the shared object to the linker, and as our wrapper did
not add any -rpath for those, writting the nix expressions for some cmake packages
resulted in a lot of tricks, compared to using this gcc-wrapper2.

This gcc-wrapper2/ld-wrapper.sh should become the gcc-wrapper/ld-wrapper in a
stdenv update.

I also updated some cmake expressions to use this gcc-wrapper2, and reduced its
tricks.

I also updated the cmake setup-hook for it to make cmake not touch any rpath decided
at build time, when running the 'make install' of makefiles created by cmake.

svn path=/nixpkgs/trunk/; revision=18885
2009-12-10 22:19:52 +00:00
Lluís Batlle i Rossell 89fe676bb3 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=18878
2009-12-10 14:48:45 +00:00
Peter Simons 89b59e3fbc applications/version-management/git-and-tools/git: update to version 1.6.5.5
svn path=/nixpkgs/trunk/; revision=18847
2009-12-08 20:35:51 +00:00
Ludovic Courtès 5d7de35976 Qtpfsgui 1.9.3.
svn path=/nixpkgs/trunk/; revision=18818
2009-12-05 15:43:07 +00:00
Marco Maggesi ec6f4788bb Fixed download url for Unison File Syncronizer.
svn path=/nixpkgs/trunk/; revision=18793
2009-12-03 16:40:18 +00:00
Sander van der Burg 307280e9e3 Reverted guest additions back to 3.0.10 since 3.1.0 has a new installer. I will look at this installer later
svn path=/nixpkgs/trunk/; revision=18760
2009-12-02 13:45:42 +00:00
Sander van der Burg 8681d7d695 Upgraded VirtualBox to version 3.1.0
svn path=/nixpkgs/trunk/; revision=18758
2009-12-02 13:31:56 +00:00
Lluís Batlle i Rossell eaee50c232 Updating truecrypt. Following the trend. I don't know of any repository of
not-the-latest versions.

svn path=/nixpkgs/trunk/; revision=18702
2009-11-29 22:37:07 +00:00
Lluís Batlle i Rossell 3bae8e9590 Fixing the cinepaint expression. Somehow I wrote the wrong date in fetchcvs,
when I commited it, so it has been a expression that only worked for me, I think,
because I had done the proper fetchcvs previously.

svn path=/nixpkgs/trunk/; revision=18699
2009-11-29 19:22:28 +00:00
Lluís Batlle i Rossell 32f2dda5de Fixing hugin (we now install boost without tags on library file names, and
the hugin expression still used the tag for 'multithread' in the boost library
file names).

svn path=/nixpkgs/trunk/; revision=18698
2009-11-29 19:22:22 +00:00
Peter Simons af0a961e3d pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs
svn path=/nixpkgs/trunk/; revision=18675
2009-11-27 17:40:56 +00:00
Lluís Batlle i Rossell a3403e6828 Finishing the update from trunk, having resolved the eclipse related directory
renaming.
I think directory renaming breaks the usual merges... because it leaves the
'to be removed' directory in the working directory still. A manual 'rm' of the
'to be removed' directory fixed the commit.

svn merge  ^/nixpkgs/trunk


svn path=/nixpkgs/branches/stdenv-updates/; revision=18661
2009-11-26 21:46:08 +00:00
Lluís Batlle i Rossell 3cda62f6e1 Trying to merge from trunk the eclipse-classic -> eclipse move.
svn merge -r 18485:18486 ^/nixpkgs/trunk



svn path=/nixpkgs/branches/stdenv-updates/; revision=18660
2009-11-26 21:42:46 +00:00
Lluís Batlle i Rossell adc61253b9 Merging from trunk, partially, to get rid of the annoying failing commits from
svn when files were removed, recreated and whatever...
 svn merge -r 18479:18485 ^/nixpkgs/trunk



svn path=/nixpkgs/branches/stdenv-updates/; revision=18659
2009-11-26 21:34:53 +00:00
Ludovic Courtès f1f286052e Remove `unpackCmd's not needed with GNU tar format auto-detection (r18492).
svn path=/nixpkgs/branches/stdenv-updates/; revision=18653
2009-11-26 15:50:26 +00:00
Eelco Dolstra a71971f671 * Inkscape 0.47.
svn path=/nixpkgs/trunk/; revision=18641
2009-11-26 12:39:22 +00:00
Ludovic Courtès 57fa034f8a Geeqie: Fix typos.
svn path=/nixpkgs/trunk/; revision=18615
2009-11-25 09:08:27 +00:00
Ludovic Courtès aca6f17400 Add Geeqie, a GQview fork.
svn path=/nixpkgs/trunk/; revision=18613
2009-11-25 08:58:42 +00:00
Lluís Batlle i Rossell 6f2e018c7a Enabling plugins in avidemux.
Adding an assertion, for stdenv having glibc. avidemux wants pthreads.

svn path=/nixpkgs/trunk/; revision=18593
2009-11-24 14:01:48 +00:00
Lluís Batlle i Rossell d634b32abf Adding avidemux.
svn path=/nixpkgs/trunk/; revision=18584
2009-11-24 08:27:18 +00:00
Eelco Dolstra 0df5c155c6 * Firefox 3.5.5.
svn path=/nixpkgs/trunk/; revision=18548
2009-11-22 22:40:39 +00:00
Eelco Dolstra 11c3e92738 * Bring back Emacs 22 by request from Ludovic.
svn path=/nixpkgs/trunk/; revision=18529
2009-11-22 16:29:15 +00:00
Rob Vermaas 132a1db1ee newer version of chrome (32599)
svn path=/nixpkgs/trunk/; revision=18520
2009-11-22 14:41:38 +00:00
Ludovic Courtès 96d3032ea0 Fix Ufraw.
svn path=/nixpkgs/trunk/; revision=18510
2009-11-21 22:30:00 +00:00
Eelco Dolstra 86f8f47d87 * eclipse-classic -> eclipse.
svn path=/nixpkgs/trunk/; revision=18486
2009-11-20 15:33:06 +00:00
Eelco Dolstra e0491358eb * Removed a lot of old Eclipse versions.
* Cleaned up the Eclipse classic expression a bit (e.g. use
  makeWrapper).  Also fall back to GTK 2.16 to fix some GUI glitches.

svn path=/nixpkgs/trunk/; revision=18485
2009-11-20 15:19:00 +00:00
Lluís Batlle i Rossell e85500987b Merging from trunk. I had to do two manual merges, quite trivial I think.
svn path=/nixpkgs/branches/stdenv-updates/; revision=18472
2009-11-19 19:09:10 +00:00
Eelco Dolstra 58f543f19f * Remove some old Emacs versions.
svn path=/nixpkgs/trunk/; revision=18470
2009-11-19 17:36:43 +00:00
Eelco Dolstra 7f5b839524 * Removed selectVersion. There's no good reason to write
`selectVersion ./foo "bar"' instead of `import ./foo/bar.nix'.
* Replaced `with args' with formal function arguments in several
  packages.
* Renamed several files to `default.nix'.  As a general rule, version
  numbers should only be included in the filename when there is a
  reason to keep multiple versions of a package in Nixpkgs.
  Otherwise, it just makes it harder to update the package.

svn path=/nixpkgs/trunk/; revision=18403
2009-11-18 09:39:59 +00:00
Lluís Batlle i Rossell 6864119104 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=18341
2009-11-13 19:19:34 +00:00
Marc Weber f5d0193047 synergy broke by xorg-update
svn path=/nixpkgs/trunk/; revision=18335
2009-11-12 16:11:44 +00:00
Rob Vermaas b325a34361 chrome 31663
svn path=/nixpkgs/trunk/; revision=18328
2009-11-11 15:34:21 +00:00
Ludovic Courtès 8799678836 GNU IceCat 3.5.5.
svn path=/nixpkgs/trunk/; revision=18327
2009-11-11 14:24:52 +00:00
Rob Vermaas efe661ab0e update chrome to version 31662 to let dropdownlists work properly again
svn path=/nixpkgs/trunk/; revision=18326
2009-11-11 14:06:57 +00:00
Marco Maggesi e2057ffe04 Add package ledger
svn path=/nixpkgs/trunk/; revision=18316
2009-11-10 11:02:45 +00:00
Lluís Batlle i Rossell de6aa89c45 Updating xchm.
svn path=/nixpkgs/trunk/; revision=18310
2009-11-09 11:55:31 +00:00
Lluís Batlle i Rossell 4f906f38a8 Updating qemu to 0.11.0, and making it use stdenv with the usual gcc, and not an older.
svn path=/nixpkgs/trunk/; revision=18305
2009-11-09 09:15:58 +00:00
Michael Raskin 24162c6b4a Fix fetchmtn
svn path=/nixpkgs/trunk/; revision=18298
2009-11-08 22:12:14 +00:00
Lluís Batlle i Rossell 4326d07c11 Updating from trunk
svn path=/nixpkgs/branches/stdenv-updates2/; revision=18278
2009-11-08 01:57:40 +00:00
Lluís Batlle i Rossell f1ee14bfaf Removing fetchgit --depth and its usage. It does not provide much advantages...
I think it takes the recent N commits into the repository, which says very little,
even for wanting master/HEAD.

svn path=/nixpkgs/trunk/; revision=18277
2009-11-08 01:51:20 +00:00
Lluís Batlle i Rossell 17876de2c5 Updating from trunk.
Many property change come, all on merge info, because those files have explicit merge info
in trunk already.
It is a problem in trunk, not in stdenv-updates. Every time we will update from trunk, the explcit merge info for these files will be updated.


svn path=/nixpkgs/branches/stdenv-updates2/; revision=18274
2009-11-08 00:40:07 +00:00
Lluís Batlle i Rossell 4b27d28701 Porting changes from stdenv-updates into this branch.
This comes from:
svn diff  ^/nixpkgs/trunk/@18255 ^/nixpkgs/branches/stdenv-updates/ > diff
patch -p0 < diff
and then adding into svn all files new from the patch.

trunk@18255 comes from the last time I updated stdenv-updates from trunk.


svn path=/nixpkgs/stdenv-updates2/; revision=18272
2009-11-08 00:32:12 +00:00
Michael Raskin cd5338a18c Fix Uzbl build
svn path=/nixpkgs/trunk/; revision=18269
2009-11-07 23:09:36 +00:00
Andres Löh c3e966b0cb Updated xmonad to 0.9.
svn path=/nixpkgs/trunk/; revision=18204
2009-11-06 13:08:47 +00:00
Sander van der Burg 866bbe32f2 Updated VirtualBox guest additions and changed some files to support Xorg 7.5
svn path=/nixpkgs/trunk/; revision=18199
2009-11-06 11:41:34 +00:00
Sander van der Burg ab55ac28b4 Upgraded VirtualBox to 3.0.10
svn path=/nixpkgs/trunk/; revision=18196
2009-11-06 11:31:28 +00:00
Michael Raskin dbb59beb89 Update uzbl-experimental
svn path=/nixpkgs/trunk/; revision=18182
2009-11-06 06:22:22 +00:00
Michael Raskin 183e6593be One more program needs libXi explicitly passed..
svn path=/nixpkgs/trunk/; revision=18181
2009-11-06 05:14:41 +00:00
Michael Raskin 4d02c927e6 Fix ratpoison dependencies
svn path=/nixpkgs/trunk/; revision=18166
2009-11-05 21:53:37 +00:00
Michael Raskin 3be216a703 Links2 works in FB without directfb just fine
svn path=/nixpkgs/trunk/; revision=18157
2009-11-05 21:09:36 +00:00
Marco Maggesi c713b0ed67 Preliminary version of package ssreflect
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.


svn path=/nixpkgs/trunk/; revision=18145
2009-11-05 15:08:12 +00:00
Rob Vermaas 724d21e3b0 updated version of chrome
svn path=/nixpkgs/trunk/; revision=18131
2009-11-05 10:50:57 +00:00