diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py index c5079ed2c..ba0d44c3e 100644 --- a/scripts/mk_nuget_release.py +++ b/scripts/mk_nuget_release.py @@ -38,7 +38,7 @@ def download_installs(): urllib.request.urlretrieve(url, "packages/%s" % name) os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'), - 'ubuntu-16' : ('so', 'ubuntu.16.04-x64'), + 'ubuntu-16' : ('so', 'ubuntu-x64'), 'x64-win' : ('dll', 'win-x64'), 'x86-win' : ('dll', 'win-x86'), 'osx' : ('dylib', 'macos'), @@ -91,11 +91,7 @@ def create_nuget_spec(): https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg https://github.com/Z3Prover/z3 https://raw.githubusercontent.com/Z3Prover/z3/master/LICENSE.txt - + true en