VST
VST copied to clipboard
Remove old OPAM dev entry
I believe this entry should be removed. https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-vst/coq-vst.8.7.dev/opam
It has been removed