diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 33d8eeb3d..cafdc37e1 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -108,6 +108,7 @@ Linux Dependencies: © Microsoft Corporation. All rights reserved. smt constraint solver theorem prover content/icon.jpg + content/readme.md https://github.com/Z3Prover/z3 MIT