EuroTz version with smartpy IDE old release version (around 2020-07-22)
This tag has no release notes.