module FudVersion where version = version_0_18_3_2 version_0_18_3_2 = "version 0.18.3.2" -- only for documentation, use "version" instead -- The version number should be increased immediately after a public release.