diff --git a/platformio/commands/platform.py b/platformio/commands/platform.py index 49a61812..5b35c4df 100644 --- a/platformio/commands/platform.py +++ b/platformio/commands/platform.py @@ -42,7 +42,11 @@ def _print_platforms(platforms): if "packages" in platform: click.echo("Packages: %s" % ", ".join(platform['packages'])) if "version" in platform: - click.echo("Version: " + platform['version']) + if "__src_url" in platform: + click.echo("Version: #%s (%s)" % + (platform['version'], platform['__src_url'])) + else: + click.echo("Version: " + platform['version']) click.echo()