nixpkgs/pkgs/applications
Marco Maggesi c0f343b752 Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
2010-08-05 18:44:42 +00:00
..
audio * Fix some more "args: with args". 2010-07-30 14:47:23 +00:00
display-managers/slim Fixing the slim build in gcc 4.4 2010-01-16 15:02:46 +00:00
editors Make configurable Vim build with most options 2010-08-03 10:59:57 +00:00
graphics * ltrace: updated to 0.5.3. 2010-07-29 18:55:16 +00:00
misc * Adobe Reader: updated to 9.3.3. Make it installable on 2010-08-05 08:54:58 +00:00
networking * Added weechat and updated xfce-terminal and vte. (From Graeme 2010-08-05 15:47:15 +00:00
office * More cleanup. 2010-07-28 18:01:17 +00:00
science Update Coq to version 8.2pl2 (patch by roconnor) 2010-08-05 18:44:42 +00:00
taxes * aangifte2009 requires xdg-utils to open a browser. 2010-03-25 20:39:01 +00:00
version-management pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.1 2010-08-05 11:25:02 +00:00
video * More cleanup. 2010-07-28 18:01:17 +00:00
virtualization * ltrace: updated to 0.5.3. 2010-07-29 18:55:16 +00:00
window-managers Updating awesome (tab completion did not work with the xorg server 1.8; let's see 2010-08-04 15:48:05 +00:00