Use curl instead of wget to install Z3 on macs#6257

robin-aws merged 4 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

robin-aws:use-curl-instead-of-wget-on-macsrobin-aws/dafny:use-curl-instead-of-wget-on-macsCopy head branch name to clipboard