VST icon indicating copy to clipboard operation
VST copied to clipboard

Published 20 hours ago • verified publisher icon PrincetonUniversity

Remove old OPAM dev entry

Open QinshiWang opened this issue 3 years ago • 1 comments

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

QinshiWang avatar Jul 11 '22 23:07 QinshiWang

It has been removed

JasonGross avatar Sep 08 '23 01:09 JasonGross