## SECTION=ptxdist_version ## SECTION=platform_version config PLATFORMCONFIG_VERSION_DEFAULT string option env="PTXDIST_VERSION_FULL" config PLATFORMCONFIG_VERSION string default PLATFORMCONFIG_VERSION_DEFAULT