Update deps on bob-devel to include mr.developer, new versions of zc tools (!324) · Merge requests · bob / conda

André Anjos requested to merge update-dev into master Dec 06, 2017

This MR complements the previous MRs for the inclusion of mr.developer and zc tool updates.

Update deps on bob-devel to include mr.developer, new versions of zc tools