NEWS

distcrete 1.0.3 (2017-11-23)