diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 5e6d3e039..d3f402773 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -109,7 +109,7 @@ Linux Dependencies: © Microsoft Corporation. All rights reserved. smt constraint solver theorem prover content/icon.jpg - content/README>md + content/README.md https://github.com/Z3Prover/z3 MIT