The spec, in §9.3.1 says:
A module version identifier is a character string containing digits, periods, and lowercase letters
But the typechecker does not enforce this.
What are the real restrictions on version identifiers? I suppose we need to at least accept everything that Maven accepts.