Merge proposals dependent on lp:ubuntu/wily-proposed/cbmc

lp:ubuntu/wily-proposed/cbmc has no merge proposals.