Updated nuget package spec and directions

Author: Andrew Helwer

package/Microsoft.Z3.x64.nuspec

@@ -3,20 +3,20 @@
     <metadata>
         <id>Microsoft.Z3.x64</id>
         <version>$(releaseVersion)</version>
-		<copyright>© Microsoft Corporation. All rights reserved.</copyright>
-		<authors>Microsoft</authors>
-		<owners>Microsoft,Z3Prover</owners>
-		<iconUrl>$(iconUrlFromReleaseCommit)</iconUrl>
-		<projectUrl>https://github.com/Z3Prover/z3</projectUrl>
-		<licenseUrl>$(licenseUrlFromReleaseCommit)</licenseUrl>
-		<repository
-			type="git"
-			url="https://github.com/Z3Prover/z3.git"
-			branch="master"
-			commit="$(releaseCommitHash)"
-		/>
-		<requireLicenseAcceptance>true</requireLicenseAcceptance>
-		<description>Z3 is a constraint/SMT solver and theorem prover from Microsoft Research.</description>
-		<tags>smt constraint solver theorem prover</tags>
+        <copyright>© Microsoft Corporation. All rights reserved.</copyright>
+        <authors>Microsoft</authors>
+        <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/package/icon.jpg</iconUrl>
+        <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
+        <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/LICENSE.txt</licenseUrl>
+        <repository
+            type="git"
+            url="https://github.com/Z3Prover/z3.git"
+            branch="master"
+            commit="$(releaseCommitHash)"
+        />
+        <requireLicenseAcceptance>true</requireLicenseAcceptance>
+        <description>Z3 is a satisfiability modulo theories solver from Microsoft Research.</description>
+        <tags>smt constraint solver theorem prover</tags>
+        <language>en</language>
     </metadata>
 </package>

package/PackageCreationDirections.md

@@ -15,11 +15,9 @@
  |       +-- Microsoft.Z3.x64.targets
  |       +-- libz3.dll
  ```
- 4. Open the nuspec file and fill in the appropriate macro values (note that for all URLs, preserve link integrity by linking to a specific commit):
+ 4. Open the nuspec file and fill in the appropriate macro values:
     * $(releaseVersion) - the Z3 version being released in this package
-    * $(iconUrlFromReleaseCommit) - URL for the Z3 icon file
-    * $(licenseUrlFromReleaseCommit) - URL for the Z3 repo license
-    * $(releaseCommitHash) - hash of the release commit
+    * $(releaseCommitHash) - hash of the release commit (there are several of these)
  5. Run `nuget pack Microsoft.Z3.x64\Microsoft.Z3.x64.nuspec`
  6. Test the resulting nupkg file (described below) then submit the package for signing before uploading to NuGet.org