forked from openkylin/z3
23 lines
1.1 KiB
XML
23 lines
1.1 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
|
|
<metadata>
|
|
<id>Microsoft.Z3.x64</id>
|
|
<version>$(releaseVersion)</version>
|
|
<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>
|