Symbol: DISTVERSION