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:

• uwplse/cheerios#17
• uwplse/cheerios#12
• #78
• #55
• list of commits in verdi https://github.com/uwplse/verdi/commits/master
• uwplse/verdi#137

[brando90]

will close, if coq proj builds breaks will repoen