Merge proposals dependent on lp:ubuntu/trusty/gecode

lp:ubuntu/trusty/gecode has no merge proposals.