Marco Maggesi 436e1d72a7 * Coq: fix compilation of coqide (path to lablgkt) ... svn path=/nixpkgs/trunk/; revision=25360		2011-01-03 13:49:15 +00:00
..
audio	amarok-live: packaged	2011-01-03 00:02:20 +00:00
display-managers/slim
editors	* Sync with the trunk.	2010-12-21 15:14:33 +00:00
graphics	Merging from trunk. I solved some trivial merge conflicts.	2010-12-17 20:39:58 +00:00
misc	applications/misc/xmobar: Updated to 0.12.	2010-12-30 22:36:46 +00:00
networking	applications/networking/browsers/conkeror: Updated to 0.9.3.	2011-01-03 09:57:35 +00:00
office	Updating from trunk again	2010-11-17 17:03:09 +00:00
science	* Coq: fix compilation of coqide (path to lablgkt)	2011-01-03 13:49:15 +00:00
taxes
version-management	Updating fossil	2011-01-03 10:56:09 +00:00
video	* MPlayer updated to the latest SVN snapshot.	2010-12-27 18:48:16 +00:00
virtualization	VirtualBox: cleanup	2011-01-02 19:37:13 +00:00
window-managers	* Sync with the trunk.	2010-12-28 16:42:00 +00:00