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

1544 commits

Author SHA1 Message Date
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
Sander van der Burg d72c439a26 The OpenOffice.org icons should work now. I really mean it this time 
svn path=/nixpkgs/trunk/; revision=17854
 2009-10-16 15:31:31 +00:00