Commit graph

1545 commits

Author SHA1 Message Date
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
Eelco Dolstra
b039fddfbc * Merged the xorg-7.5 branch, which provides X.org 7.5 and various
other X-related updates.

svn path=/nixpkgs/trunk/; revision=18124
2009-11-04 22:42:44 +00:00
Lluís Batlle i Rossell
2e8ae96930 Updating vwm and its libraries.
svn path=/nixpkgs/trunk/; revision=18123
2009-11-04 22:38:26 +00:00
Eelco Dolstra
4f839e9a54 * Sync with the trunk.
svn path=/nixpkgs/branches/xorg-7.5/; revision=18122
2009-11-04 22:37:24 +00:00
Lluís Batlle i Rossell
13a369476b Updating truecrypt from 6.2a to 6.3, mostly because the old src disappeared.
svn path=/nixpkgs/trunk/; revision=18121
2009-11-04 22:17:08 +00:00
Eelco Dolstra
ac4d183051 * Added gnome-icon-theme.
svn path=/nixpkgs/branches/xorg-7.5/; revision=18118
2009-11-04 21:44:01 +00:00
Eelco Dolstra
7a233c1629 * GIMP updated to 2.6.7. It no longer needs libgtkhtml.
svn path=/nixpkgs/branches/xorg-7.5/; revision=18117
2009-11-04 21:28:11 +00:00
Eelco Dolstra
25a675da23 * Subversion 1.6.6.
svn path=/nixpkgs/trunk/; revision=18093
2009-11-04 13:41:55 +00:00
Peter Simons
3659747127 pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1
svn path=/nixpkgs/trunk/; revision=18089
2009-11-04 10:29:38 +00:00
Peter Simons
b06c0d1a1d pkgs/applications/version-management/git-and-tools/default.nix: use docbook dtd 4.5
Ensure that the 4.5 DTD required by asciidoc is available.

svn path=/nixpkgs/trunk/; revision=18078
2009-11-03 15:57:31 +00:00
Peter Simons
990d7c05e7 pkgs/applications/window-managers/ratpoison/default.nix: updated to version 1.4.5
svn path=/nixpkgs/trunk/; revision=18075
2009-11-03 15:57:17 +00:00
Sander van der Burg
5ed64ae7c0 Enabled my eclipse package again, since I want to have eclipse installed when typing nix-env -i. BTW. the eclipse plugins can be installed this way either
svn path=/nixpkgs/trunk/; revision=18074
2009-11-03 11:00:18 +00:00
Marco Maggesi
a0207b3dc7 Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
2009-11-02 11:44:27 +00:00
Ludovic Courtès
dc673480e6 GNU Zile 2.3.13.
svn path=/nixpkgs/trunk/; revision=18066
2009-11-01 20:55:14 +00:00
Ludovic Courtès
806a5a9b6c GNU IceCat 3.5.4.
svn path=/nixpkgs/trunk/; revision=18064
2009-11-01 14:47:13 +00:00
Eelco Dolstra
65c0916cb7 * Updated Firefox 3.0.x to 3.0.15 (because the old tarball disappeared).
svn path=/nixpkgs/branches/xorg-7.5/; revision=18054
2009-10-30 12:45:28 +00:00
Rob Vermaas
a73cef1057 added chromeWrapper, like firefoxWrapper, to allow plugins to work, added previously undefined dependencies on flash plugin
svn path=/nixpkgs/trunk/; revision=18050
2009-10-30 12:28:44 +00:00
Rob Vermaas
d025709a8a chrome 20565
svn path=/nixpkgs/trunk/; revision=18046
2009-10-30 08:45:58 +00:00
Peter Simons
7fa0d73966 pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes
Note that wxMaxima does *not* have a proper store path to maxima built
into the binary. It relies on $PATH, /etc/wxMaxima.conf, or ~/.wxMaxima
to find the binary.

svn path=/nixpkgs/trunk/; revision=18020
2009-10-29 12:53:22 +00:00
Peter Simons
d330b000fc Updated git to version 1.6.5.2.
svn path=/nixpkgs/trunk/; revision=18018
2009-10-29 12:06:04 +00:00
Peter Simons
96a32cffe2 Added wxMaxima version 0.8.3.
svn path=/nixpkgs/trunk/; revision=18015
2009-10-29 11:57:58 +00:00
Peter Simons
5dd3252557 Updated Maxima to version 5.19.2.
svn path=/nixpkgs/trunk/; revision=18014
2009-10-29 11:57:45 +00:00
Eelco Dolstra
82baac23a7 * Idem for gtk-libs/2.16.
svn path=/nixpkgs/trunk/; revision=17993
2009-10-28 15:31:52 +00:00
Eelco Dolstra
5398eceff3 * Getting rid of gtk-libs by moving the packages in gtk-libs to
development/libraries/{glib,gtk+,pango,atk,...}.  Done for glib/gtk+
  1.2.  Also deleted some obsolete, unused versions (gtkLibs 2.10,
  2.12, and 2.14).

svn path=/nixpkgs/trunk/; revision=17992
2009-10-28 15:06:18 +00:00
Eelco Dolstra
f53195f29e * Improved a bunch of "name" attributes (mostly missing version
numbers).

svn path=/nixpkgs/trunk/; revision=17991
2009-10-28 14:06:56 +00:00
Eelco Dolstra
64f2e5d8e4 * Firefox 3.5.4.
svn path=/nixpkgs/trunk/; revision=17984
2009-10-28 11:47:48 +00:00
Michael Raskin
cd04c58fe2 Allow not-that-shallow git fetches; enable it for uzbl
svn path=/nixpkgs/trunk/; revision=17980
2009-10-27 19:52:01 +00:00
Marc Weber
a7261348d8 Netsurf update
svn path=/nixpkgs/trunk/; revision=17978
2009-10-27 17:46:45 +00:00
Marc Weber
748dd33b25 hg2git has been put into repo fast-export. make it work again
svn path=/nixpkgs/trunk/; revision=17977
2009-10-27 17:46:37 +00:00
Michael Raskin
bd7526951e Adding Links2
svn path=/nixpkgs/trunk/; revision=17949
2009-10-24 15:39:54 +00:00
Michael Raskin
59613ffe56 Updating uzbl-experimental
svn path=/nixpkgs/trunk/; revision=17932
2009-10-23 05:26:02 +00:00
Marc Weber
efca5daeb7 tell skype where to find its resources - by Russell O'Connor
svn path=/nixpkgs/trunk/; revision=17924
2009-10-22 15:41:34 +00:00
Ludovic Courtès
be6b6b73f9 Add Emacs Scala-Mode.
svn path=/nixpkgs/trunk/; revision=17904
2009-10-20 15:12:29 +00:00
Peter Simons
4cf582c570 pkgs/applications/version-management/git-and-tools/git/default.nix: dropped 'set -x' from builder script
svn path=/nixpkgs/trunk/; revision=17903
2009-10-20 14:08:58 +00:00
Peter Simons
2139d48872 pkgs/applications/version-management/git-and-tools/git/default.nix: updated to version 1.6.5.1
svn path=/nixpkgs/trunk/; revision=17902
2009-10-20 14:08:53 +00:00
Eelco Dolstra
24661f4c45 svn path=/nixpkgs/trunk/; revision=17892 2009-10-20 10:33:38 +00:00
Michael Raskin
708c876572 Update LyX
svn path=/nixpkgs/trunk/; revision=17890
2009-10-20 06:57:29 +00:00
Lluís Batlle i Rossell
3b3ee13b9d Updating lame
Updating libgpod
Making gtkpod accept 'ogg' files, and made it convert them well to mp3, if 'lame'
and oggdec is in path. It should better reference lame and libvorbis store path
files.

svn path=/nixpkgs/trunk/; revision=17888
2009-10-19 22:05:34 +00:00
Marc Weber
5411beb172 fix for other platforms (suggested by Eelco Dolstra)
svn path=/nixpkgs/trunk/; revision=17887
2009-10-19 20:47:21 +00:00
Ludovic Courtès
2aaf37cdf9 Add UFRaw.
svn path=/nixpkgs/trunk/; revision=17881
2009-10-19 12:50:45 +00:00
Marc Weber
da731ce190 doh!
svn path=/nixpkgs/trunk/; revision=17877
2009-10-19 12:27:51 +00:00
Marc Weber
9ea9133183 adding scribus - don't miss the comment about fonts!
svn path=/nixpkgs/trunk/; revision=17866
2009-10-18 04:44:01 +00:00
Marc Weber
5b3c7c6b7a wireshark update - old source vanished
svn path=/nixpkgs/trunk/; revision=17865
2009-10-18 04:43:59 +00:00
Marc Weber
523d1b8216 updating sox, adding maintainer, enabling mp3 support
svn path=/nixpkgs/trunk/; revision=17864
2009-10-18 04:43:56 +00:00
Marc Weber
dd3564aba9 adding ps2edit
svn path=/nixpkgs/trunk/; revision=17863
2009-10-18 04:43:53 +00:00
Marc Weber
6614345f29 adding yate2 telephony engine
svn path=/nixpkgs/trunk/; revision=17861
2009-10-18 04:43:48 +00:00
Marc Weber
84a2555b2c topgit: remove obsolete patches
svn path=/nixpkgs/trunk/; revision=17859
2009-10-18 04:43:43 +00:00
Marc Weber
f808690b16 adding python package lxml to make scripts in inkscape work
svn path=/nixpkgs/trunk/; revision=17858
2009-10-18 04:43:40 +00:00