Remove unnecessary OpamFormula.version_set