nixpkgs/pkgs/applications
Karn Kallio 135fe9059f ProofGeneral 4.1
svn path=/nixpkgs/trunk/; revision=30863
2011-12-13 01:13:46 +00:00
..
audio Add ncmpcpp 2011-12-05 01:32:25 +00:00
display-managers/slim
editors ProofGeneral 4.1 2011-12-13 01:13:46 +00:00
graphics Updating giv. 2011-11-21 14:47:28 +00:00
misc haskell-xmobar: updated to version 0.14 2011-12-10 22:30:49 +00:00
networking Added support for Quake Live to Firefox wrapper. 2011-12-12 17:25:51 +00:00
office * GnuCash updated to 2.4.8. 2011-12-06 18:44:05 +00:00
science wxMaxima: updated to version 11.08.0 2011-12-06 14:07:14 +00:00
taxes
version-management git: updated to version 1.7.8 2011-12-09 11:44:42 +00:00
video added libdvbpsi and added it to the dependency list of vlc so that vlc can play DVB 2011-12-06 23:09:19 +00:00
virtualization Bumped virtualbox version to 4.1.6 2011-11-30 14:44:29 +00:00
window-managers haskell-xmonad-extras: updated to version 0.10.1 2011-11-28 18:11:27 +00:00