[core-dev] Remove rocq-native

It is now on the ocaml repo: ocaml/opam-repository#27237
coq · Jan 13, 2025 · f8700b3 · f8700b3
1 parent 648ae48
commit f8700b3
Showing 1 changed file with 0 additions and 28 deletions.
diff --git a/core-dev/packages/rocq-native/rocq-native.dev/opam b/core-dev/packages/rocq-native/rocq-native.dev/opam