PrincetonUniversity/VST

Remove old OPAM dev entry

Closed this issue 9 months ago · 1 comments

QinshiWang commented 2 years ago

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

JasonGross commented a year ago

It has been removed