diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py index 9e9541abc..d872645a6 100644 --- a/scripts/mk_nuget_release.py +++ b/scripts/mk_nuget_release.py @@ -94,7 +94,7 @@ def create_nuget_spec(): contents = """ - Microsoft.Z3.x64 + Microsoft.Z3 {0} Microsoft diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index d9da6c2c6..dcb1a358b 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -89,7 +89,7 @@ def create_nuget_spec(version, repo, branch, commit, symbols): contents = """ - Microsoft.Z3.x64 + Microsoft.Z3 {0} Microsoft