From ce1a48486ee7a9250cc2f8a08bc317274735a737 Mon Sep 17 00:00:00 2001
From: Matt Thornton <matthew.thornton13@gmail.com>
Date: Fri, 21 May 2021 16:41:29 +0100
Subject: [PATCH] Fix NuGet package name and glibc rid. (#5290)

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

diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py
index d872645a6..9e9541abc 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</id>
+        <id>Microsoft.Z3.x64</id>
         <version>{0}</version>
         <authors>Microsoft</authors>
         <description>
diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 08f2680a8..d9da6c2c6 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -25,7 +25,7 @@ def mk_dir(d):
 os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
            'ubuntu-18' : ('so', 'ubuntu-x64'),
            'ubuntu-20' : ('so', 'ubuntu-x64'),
-           'glibc-2.31' : ('so', 'glibc-x64'),
+           'glibc-2.31' : ('so', 'ubuntu-x64'),
            'x64-win' : ('dll', 'win-x64'),
            'x86-win' : ('dll', 'win-x86'),
            'osx' : ('dylib', 'osx-x64'),
@@ -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</id>
+        <id>Microsoft.Z3.x64</id>
         <version>{0}</version>
         <authors>Microsoft</authors>
         <description>