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

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

436 stars 92 forks source link

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

Closed eleehiga closed 2 years ago

eleehiga commented 2 years ago

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 2 years ago

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.

eleehiga commented 2 years ago

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