Nuget.org feed is not updated with last versions of Microsoft.Z3

[GennadyGS]

Package Microsoft.Z3 is not updated on Nuget.org since 4.12.2.

[NikolajBjorner]

See release notes for reason why

[GennadyGS]

Thank you.
I see.
Very sad.
Are there any plans to fix the issue and publish the package to nuget.org?

[NikolajBjorner]

There are plans. Having spent 1/2 day trying to get the build process to insert the readme.md file into the package I had to give up for now. Signed nuget packages are available from github releases.