nixpkgs/pkgs/applications
Marco Maggesi fa47d66e22 Updated HOL Light to revision 112
svn path=/nixpkgs/trunk/; revision=30369
2011-11-10 15:35:53 +00:00
..
audio * Spotify updated to the latest version. 2011-10-21 02:26:26 +00:00
display-managers/slim
editors GNU Zile 2.4.2. 2011-10-30 00:00:25 +00:00
graphics Revert "DigiKam: fix deps" 2011-11-09 14:24:14 +00:00
misc Updating xterm. Just to have the latest. 2011-11-09 22:59:46 +00:00
networking esniper: fixed build with current version of curl 2011-11-07 17:48:51 +00:00
office Updating scribus to 1.4.0rc6. The developers say they abandoned 1.3 long ago. 2011-11-02 15:00:11 +00:00
science Updated HOL Light to revision 112 2011-11-10 15:35:53 +00:00
taxes
version-management git-annex: updated to version 3.20111107 2011-11-08 16:59:30 +00:00
video Bangarang: fix deps to get it to compile against kde 4.7 2011-11-09 13:01:51 +00:00
virtualization virtualbox-4.1.2 2011-10-05 19:54:44 +00:00
window-managers haskell-xmonad-extras: updated build expression 2011-09-05 18:25:59 +00:00