remove outdated .opam files

PrincetonUniversity · Apr 10, 2024 · d4216b6 · d4216b6
1 parent 9d5ce55
commit d4216b6
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 140 deletions.
diff --git a/coq-vst-32.opam b/coq-vst-32.opam
diff --git a/coq-vst-iris.opam b/coq-vst-iris.opam
diff --git a/coq-vst-zlist.opam b/coq-vst-zlist.opam
diff --git a/coq-vst.opam b/coq-vst.opam