diff --git a/__pkginfo__.py b/__pkginfo__.py index 04b46e1ceb1bca1f4767412d796878ad6f2a9c5d_X19wa2dpbmZvX18ucHk=..b01aa9818e1722567936c70938124d8f8857f455_X19wa2dpbmZvX18ucHk= 100644 --- a/__pkginfo__.py +++ b/__pkginfo__.py @@ -39,7 +39,7 @@ def gecode_version(): import os, subprocess - version = [0,0,0] + version = [1, 3, 1] if os.path.exists('data/gecode_version.cc'): try: res = os.system("g++ -o gecode_version data/gecode_version.cc") @@ -43,7 +43,7 @@ if os.path.exists('data/gecode_version.cc'): try: res = os.system("g++ -o gecode_version data/gecode_version.cc") - p = subprocess.Popen("./gecode_version",stdout=subprocess.PIPE) + p = subprocess.Popen("./gecode_version", stdout=subprocess.PIPE) vers = p.stdout.read() version = [int(c) for c in vers.strip().split('.')] except OSError: