PrincetonUniversity/VST

`[ERROR] No package named coq-vst found`

Closed this issue · 2 comments

eleehiga commented

When I run opam install coq-vst this yields the error No package named coq-vst found. Can you guys please assist me with how I can install vst with opam?

QinshiWang commented

Hi @eleehiga! You need to first add the catalog of packages.

opam repo add coq-released https://coq.inria.fr/opam/released

See here for more information.

  • 👍1
eleehiga commented

@QinshiWang Thank you that worked. Perhaps you guys should make that instruction more clear in the installation steps for VST.