search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
442 stars 93 forks source link

Remove old OPAM dev entry #596

Closed QinshiWang closed 8 months ago

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 1 year ago

It has been removed