diff --git a/extra-dev/packages/coq-flocq/coq-flocq.dev/opam b/extra-dev/packages/coq-flocq/coq-flocq.dev/opam
index 2dbff402e..069d315d9 100644
--- a/extra-dev/packages/coq-flocq/coq-flocq.dev/opam
+++ b/extra-dev/packages/coq-flocq/coq-flocq.dev/opam
@@ -8,7 +8,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Flocq"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam b/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
index 780c16d47..7b0d9a7c5 100644
--- a/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
+++ b/extra-dev/packages/coq-flocq3/coq-flocq3.dev/opam
@@ -8,7 +8,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Flocq"]
 depends: [
   "conf-autoconf" {build}
diff --git a/released/packages/coq-flocq/coq-flocq.3.4.3/opam b/released/packages/coq-flocq/coq-flocq.3.4.3/opam
index 2c59a25d0..ab37d3114 100644
--- a/released/packages/coq-flocq/coq-flocq.3.4.3/opam
+++ b/released/packages/coq-flocq/coq-flocq.3.4.3/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.7" & < "8.16~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.0.0/opam b/released/packages/coq-flocq/coq-flocq.4.0.0/opam
index 6d535129a..828906b83 100644
--- a/released/packages/coq-flocq/coq-flocq.4.0.0/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.0.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.16~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.0/opam b/released/packages/coq-flocq/coq-flocq.4.1.0/opam
index c4fc13880..091e6a4fe 100644
--- a/released/packages/coq-flocq/coq-flocq.4.1.0/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.1.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.17~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.1/opam b/released/packages/coq-flocq/coq-flocq.4.1.1/opam
index 3996fee83..1b261ef92 100644
--- a/released/packages/coq-flocq/coq-flocq.4.1.1/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.1.1/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.18"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.2/opam b/released/packages/coq-flocq/coq-flocq.4.1.2/opam
index 06a6ff72b..49dbf169c 100644
--- a/released/packages/coq-flocq/coq-flocq.4.1.2/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.1.2/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.3/opam b/released/packages/coq-flocq/coq-flocq.4.1.3/opam
index 0c945654f..ed85f2ae8 100644
--- a/released/packages/coq-flocq/coq-flocq.4.1.3/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.1.3/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.1.4/opam b/released/packages/coq-flocq/coq-flocq.4.1.4/opam
index ca576a1f1..69f846a7c 100644
--- a/released/packages/coq-flocq/coq-flocq.4.1.4/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.1.4/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12" & < "8.20~"}
   "conf-autoconf" {build & dev}
diff --git a/released/packages/coq-flocq/coq-flocq.4.2.0/opam b/released/packages/coq-flocq/coq-flocq.4.2.0/opam
index 0c7a94bf0..a355a7fc3 100644
--- a/released/packages/coq-flocq/coq-flocq.4.2.0/opam
+++ b/released/packages/coq-flocq/coq-flocq.4.2.0/opam
@@ -9,7 +9,7 @@ build: [
   ["./configure"]
   ["./remake" "-j%{jobs}%"]
 ]
-install: ["./remake" "install"]
+install: ["./remake" "install" "install-glob"]
 depends: [
   "coq" {>= "8.12"}
   "conf-autoconf" {build & dev}