From b040f1f963bc3fa2cad4242bfefef5b25c8b9b08 Mon Sep 17 00:00:00 2001 From: "Michael J. Sullivan" Date: Mon, 17 Sep 2018 12:41:55 -0700 Subject: [PATCH] Fix version number from 0.640-dev to 0.640+dev PEP 440 is of the opinion that 0.640-dev is an invalid version number, and recent pip versions whine about it. Also, using '-dev' is a mismatch with the code later in the file that checks whether the version name ends in '+dev' and so prevents the git revision from being added. --- mypy/version.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mypy/version.py b/mypy/version.py index d1a97f6a37da..33da7fb1f3a1 100644 --- a/mypy/version.py +++ b/mypy/version.py @@ -1,7 +1,7 @@ import os from mypy import git -__version__ = '0.640-dev' +__version__ = '0.640+dev' base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))