Closed QinshiWang closed 2 years ago
Need users to pin this
opam pin add coq-vst-zlist https://github.com/PrincetonUniversity/VST.git#zlist
Can you add a note to the README about the pinning and fix the CI?
Need users to pin this