diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 9b2ce1bbc..d169c1687 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -86,17 +86,12 @@ Linux Dependencies: https://raw.githubusercontent.com/Z3Prover/z3/{1}/package/icon.jpg https://github.com/Z3Prover/z3 https://raw.githubusercontent.com/Z3Prover/z3/{1}/LICENSE.txt - + true en """.format(release_version, release_commit) - + print(contents) with open("out/Microsoft.Z3.x64.nuspec", 'w') as f: f.write(contents)