Skip to content

Commit

Permalink
readme
Browse files Browse the repository at this point in the history
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
  • Loading branch information
NikolajBjorner committed Dec 5, 2023
1 parent f5ae8c3 commit 23fcb43
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions scripts/mk_nuget_task.py
Original file line number Diff line number Diff line change
Expand Up @@ -108,6 +108,7 @@ def create_nuget_spec(version, repo, branch, commit, symbols, arch):
<copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
<tags>smt constraint solver theorem prover</tags>
<icon>content/icon.jpg</icon>
<readme>content/readme.md</readme>
<projectUrl>https://github.com/Z3Prover/z3</projectUrl>
<license type="expression">MIT</license>
<repository type="git" url="{1}" branch="{2}" commit="{3}" />
Expand Down

0 comments on commit 23fcb43

Please sign in to comment.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy