installing verdi and cheerios for coq 8.10 -- getting their commits for opam pin after updates to these repos overwrite the OPAM online repository

[brando90]

I think this works:

iit_synthesis) brando9~ $ opam pin add coq-verdi git+https://github.com/uwplse/verdi.git#f3ef8d77afcac495c0864de119e83b25d294e8bb

[coq-verdi.dev] synchronised (git+https://github.com/uwplse/verdi.git#f3ef8d77afcac495c0864de119e83b25d294e8bb)
coq-verdi is now pinned to git+https://github.com/uwplse/verdi.git#f3ef8d77afcac495c0864de119e83b25d294e8bb (version dev)

The following actions will be performed:
  ∗ install coq-cheerios dev* [required by coq-verdi]
  ∗ install coq-verdi    dev*
===== ∗ 2 =====
Do you want to continue? [Y/n] Y

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  3/6: [coq-cheerios: make]
∗ installed coq-cheerios.dev
∗ installed coq-verdi.dev
Done.

but leaving here in case something breaks in the coq projs build (or anyone need the git commits).

alll refs I used:

• May old versions of cheerios be available on opam besides dev? uwplse/cheerios#17
• Pull request #11 Breaks Support for Coq 8.10 uwplse/cheerios#12
• installing deps for coq doesn't work, need >=8.14 not 8.10, most likely coq-cheerios and verdi - help fix! #78
• install_coqgym_deps.sh fails when running giant opam install -- due to coq-cheerios (only tried coq-cheerios) #55
• list of commits in verdi https://github.com/uwplse/verdi/commits/master
• What version of coq-verdi does one need for coq 8.10 uwplse/verdi#137

[brando90]

will close, if coq proj builds breaks will repoen