From c18f012c83f4b7aaa3345f4cdb48efc7c53fc483 Mon Sep 17 00:00:00 2001
From: Iain Scott <iscott@cantab.net>
Date: Fri, 21 May 2021 21:51:02 +0100
Subject: [PATCH] Remove x64 suffix from NuGet package names. (#5292)

---
 scripts/mk_nuget_release.py | 2 +-
 scripts/mk_nuget_task.py    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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 = """<?xml version="1.0" encoding="utf-8"?>
 <package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
     <metadata>
-        <id>Microsoft.Z3.x64</id>
+        <id>Microsoft.Z3</id>
         <version>{0}</version>
         <authors>Microsoft</authors>
         <description>
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 = """<?xml version="1.0" encoding="utf-8"?>
 <package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
     <metadata>
-        <id>Microsoft.Z3.x64</id>
+        <id>Microsoft.Z3</id>
         <version>{0}</version>
         <authors>Microsoft</authors>
         <description>