@@ -16,7 +16,7 @@ $ cargo install --path move/language/tools/move-cli
1616```
1717or
1818``` shell
19- $ cargo install --git https://github.com/diem /move move-cli --branch main
19+ $ cargo install --git https://github.com/move-language /move move-cli --branch main
2020```
2121
2222This will install the ` move ` binary in your Cargo binary directory. On
@@ -73,11 +73,11 @@ $ move package prove -p <path> # Verify the specifications in the package at <pa
7373```
7474
7575In order to run the Move Prover [ additional tools need to be
76- installed] ( https://github.com/diem /move/blob/main/language/move-prover/doc/user/install.md ) .
76+ installed] ( https://github.com/move-language /move/blob/main/language/move-prover/doc/user/install.md ) .
7777Information on the Move Prover and its configuration options can be found
78- [ here] ( https://github.com/diem /move/blob/main/language/move-prover/doc/user/prover-guide.md )
78+ [ here] ( https://github.com/move-language /move/blob/main/language/move-prover/doc/user/prover-guide.md )
7979and
80- [ here] ( https://github.com/diem /move/blob/main/language/move-prover/doc/user/spec-lang.md ) .
80+ [ here] ( https://github.com/move-language /move/blob/main/language/move-prover/doc/user/spec-lang.md ) .
8181
8282You can also run unit tests in a package using the ` test ` command
8383
@@ -128,7 +128,7 @@ directory:
128128Std = " 0x1" # Specify and assign 0x1 to the named address "Std"
129129
130130[dependencies ]
131- MoveNursery = { git = " https://github.com/diem /move.git" , subdir = " language/move-stdlib/nursery" , rev = " d45f20a" }
131+ MoveNursery = { git = " https://github.com/move-language /move.git" , subdir = " language/move-stdlib/nursery" , rev = " d45f20a" }
132132# ^ ^ ^ ^
133133# Git dependency Git clone URL Subdir under git repo (optional) Git revision to use
134134```
0 commit comments