Remove coq-vst.3.1beta from this branch

coq · Feb 10, 2025 · 2e22b62 · 2e22b62
1 parent 93f1187
commit 2e22b62
Showing 1 changed file with 0 additions and 52 deletions.
diff --git a/released/packages/coq-vst/coq-vst.3.1beta/opam b/released/packages/coq-vst/coq-vst.3.1beta/opam