John Wiegley 4eedbfd786 coq_HEAD: update to latest Git HEAD		2014-09-23 13:19:51 -05:00
..
audio	boost: Update depdendent packages	2014-09-21 17:20:59 -07:00
display-managers
editors
graphics	k3d: 0.8.0.2 -> 0.8.03	2014-09-23 11:33:40 +02:00
inferno
misc	boost: Update depdendent packages	2014-09-21 17:20:59 -07:00
networking	thunderbird: update from 31.1.0 to 31.1.1	2014-09-23 10:37:24 +02:00
office	ledger: 3.0.2 -> 3.0.4	2014-09-23 08:21:38 -05:00
science	coq_HEAD: update to latest Git HEAD	2014-09-23 13:19:51 -05:00
search
taxes
version-management	mercurial: Update to 3.1.1	2014-09-23 12:03:11 +02:00
video	boost: Update depdendent packages	2014-09-21 17:20:59 -07:00
virtualization
window-managers