Delete coq-flocq3.dev

Apparently this is no longer needed
coq · Oct 22, 2024 · 3f62708 · 3f62708
1 parent 25f5165
commit 3f62708
Showing 1 changed file with 0 additions and 24 deletions.
diff --git a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam b/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam