Call `Pkg.resolve()` before hashing Manifest#519

yebai merged 4 commits intomasterTuringLang/docs:masterfrom

pysm/pkg-resolveTuringLang/docs:pysm/pkg-resolveCopy head branch name to clipboard