diff --git a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam b/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
deleted file mode 100644
index 7b0d9a7c5..000000000
--- a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
+++ /dev/null
@@ -1,24 +0,0 @@
-opam-version: "2.0"
-maintainer: "guillaume.melquiond@inria.fr"
-homepage: "https://flocq.gitlabpages.inria.fr/"
-dev-repo: "git+https://gitlab.inria.fr/flocq/flocq"
-license: "LGPL 3"
-build: [
-  ["autoconf"]
-  ["./configure"]
-  ["./remake" "-j%{jobs}%"]
-]
-install: ["./remake" "install" "install-glob"]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Flocq"]
-depends: [
-  "conf-autoconf" {build}
-  "ocaml"
-  "coq" {= "dev"}
-]
-tags: [ "keyword:floating-point arithmetic" ]
-authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
-synopsis: "A floating-point formalization for the Coq system"
-flags: light-uninstall
-url {
-  src: "git+https://gitlab.inria.fr/flocq/flocq.git#flocq-3"
-}