Remove broken package.

coq · Sep 18, 2023 · 66ed0d3 · 66ed0d3
1 parent ad63d0a
commit 66ed0d3
Showing 1 changed file with 0 additions and 123 deletions.
diff --git a/extra-dev/packages/coq-color/coq-color.8.7.dev/opam b/extra-dev/packages/coq-color/coq-color.8.7.dev/opam