diff --git a/package/Microsoft.Z3.x64.nuspec b/package/Microsoft.Z3.x64.nuspec index 95d594dfb..506e5f9c7 100644 --- a/package/Microsoft.Z3.x64.nuspec +++ b/package/Microsoft.Z3.x64.nuspec @@ -3,20 +3,20 @@ Microsoft.Z3.x64 $(releaseVersion) - © Microsoft Corporation. All rights reserved. - Microsoft - Microsoft,Z3Prover - $(iconUrlFromReleaseCommit) - https://github.com/Z3Prover/z3 - $(licenseUrlFromReleaseCommit) - - true - Z3 is a constraint/SMT solver and theorem prover from Microsoft Research. - smt constraint solver theorem prover + © Microsoft Corporation. All rights reserved. + Microsoft + https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/package/icon.jpg + https://github.com/Z3Prover/z3 + https://raw.githubusercontent.com/Z3Prover/z3/$(releaseCommitHash)/LICENSE.txt + + true + Z3 is a satisfiability modulo theories solver from Microsoft Research. + smt constraint solver theorem prover + en diff --git a/package/PackageCreationDirections.md b/package/PackageCreationDirections.md index 930ba14f7..6aaee5a1d 100644 --- a/package/PackageCreationDirections.md +++ b/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