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