问与opam一起使用最新版本的zarith

EN

opam pin add --dev-repo zarith
opam install zarith

opam pin add -n -y -k git zarith.dev --dev-repo

opam pin add -n -y -k git zarith.dev "https://github.com/ocaml/Zarith.git#master"

opam pin add -n -y -k git zarith.dev "https://github.com/ocaml/Zarith.git#a9a309d0596d93b6c0c902951e1cae13d661bebd"

opam install zarith

- If you have other dependencies that would complain of `zarith.dev` when being installed, you can replace the version suffix of `dev` with any compatible version string, "close" to the commit or branch you selected.
- However if you omit this version, `opam` will typically pick the latest version string from the [`opam` package repository](https://opam.ocaml.org/packages/) (i.e., 1.9.1), which wouldn't necessarily match the code of the Git branch or commit you selected.

- `--no-action` (don't install the package readily but wait the subsequent `opam install` command),
- `--yes` (answer potential yes/no questions without prompting − a common `opam pin` question is `Package foo does not exist, create as a NEW package? [Y/n]` if ever you'd want to install a custom package not yet released in the [opam-repository](https://github.com/ocaml/opam-repository)),
- `--kind=KIND` (as there are several `KINDS` of pinning, the most typical being `version`, `path`, and `git`)