build/venice /usr/malcolm/cron/venice/autorun started at Wed Nov 5 20:00:01 GMT 2008 darcs: failed to read patch in get_extra: Wed Jan 23 18:00:31 GMT 2008 Ross Paterson <ross@soi.city.ac.uk> * update for new Category class Perhaps this is a 'partial' repository? /usr/malcolm/cron/venice/autorun finished at Wed Nov 5 20:00:18 GMT 2008