diff --git a/extra-dev/packages/coq-algebra/coq-algebra.dev/opam b/extra-dev/packages/coq-algebra/coq-algebra.dev/opam
index aa3473243e..503437ef4d 100644
--- a/extra-dev/packages/coq-algebra/coq-algebra.dev/opam
+++ b/extra-dev/packages/coq-algebra/coq-algebra.dev/opam
@@ -5,8 +5,8 @@ license: "LGPL 2"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Algebra"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-distributed-reference-counting/coq-distributed-reference-counting.dev/opam b/extra-dev/packages/coq-distributed-reference-counting/coq-distributed-reference-counting.dev/opam
index f6f88640d0..67857b09a3 100644
--- a/extra-dev/packages/coq-distributed-reference-counting/coq-distributed-reference-counting.dev/opam
+++ b/extra-dev/packages/coq-distributed-reference-counting/coq-distributed-reference-counting.dev/opam
@@ -5,8 +5,8 @@ license: "LGPL 2"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/DistributedReferenceCounting"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-fermat4/coq-fermat4.dev/opam b/extra-dev/packages/coq-fermat4/coq-fermat4.dev/opam
index c9556378b8..9f2bb88109 100644
--- a/extra-dev/packages/coq-fermat4/coq-fermat4.dev/opam
+++ b/extra-dev/packages/coq-fermat4/coq-fermat4.dev/opam
@@ -5,8 +5,8 @@ license: "Proprietary"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Fermat4"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-hoare-tut/coq-hoare-tut.dev/opam b/extra-dev/packages/coq-hoare-tut/coq-hoare-tut.dev/opam
index 163c8bbd93..e6860c0374 100644
--- a/extra-dev/packages/coq-hoare-tut/coq-hoare-tut.dev/opam
+++ b/extra-dev/packages/coq-hoare-tut/coq-hoare-tut.dev/opam
@@ -5,8 +5,8 @@ license: "GNU LGPL"
 build: [
   ["coq_makefile" "-f" "_CoqProject" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/HoareTut"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.dev/opam b/extra-dev/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.dev/opam
index 48b43357ea..5e06bc02eb 100644
--- a/extra-dev/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.dev/opam
+++ b/extra-dev/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.dev/opam
@@ -5,8 +5,8 @@ license: "unknown"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/JordanCurveTheorem"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-maths/coq-maths.dev/opam b/extra-dev/packages/coq-maths/coq-maths.dev/opam
index f68bbc22a6..29e028cc49 100644
--- a/extra-dev/packages/coq-maths/coq-maths.dev/opam
+++ b/extra-dev/packages/coq-maths/coq-maths.dev/opam
@@ -5,8 +5,8 @@ license: "LGPL 2"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Maths"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-orb-stab/coq-orb-stab.dev/opam b/extra-dev/packages/coq-orb-stab/coq-orb-stab.dev/opam
index ef1f8a3cf6..0e1813ed1f 100644
--- a/extra-dev/packages/coq-orb-stab/coq-orb-stab.dev/opam
+++ b/extra-dev/packages/coq-orb-stab/coq-orb-stab.dev/opam
@@ -5,8 +5,8 @@ license: "GNU Lesser Public License"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/OrbStab"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-tree-automata/coq-tree-automata.dev/opam b/extra-dev/packages/coq-tree-automata/coq-tree-automata.dev/opam
index d70c1421eb..bf81d2280b 100644
--- a/extra-dev/packages/coq-tree-automata/coq-tree-automata.dev/opam
+++ b/extra-dev/packages/coq-tree-automata/coq-tree-automata.dev/opam
@@ -5,8 +5,8 @@ license: "LGPL 2"
 build: [
   ["coq_makefile" "-f" "Make" "-o" "Makefile"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/TreeAutomata"]
 depends: [
   "ocaml"
diff --git a/extra-dev/packages/coq-universe-comparator/coq-universe-comparator.1.0.1/opam b/extra-dev/packages/coq-universe-comparator/coq-universe-comparator.1.0.1/opam
index 5c2131fcec..9ad0ca2162 100644
--- a/extra-dev/packages/coq-universe-comparator/coq-universe-comparator.1.0.1/opam
+++ b/extra-dev/packages/coq-universe-comparator/coq-universe-comparator.1.0.1/opam
@@ -7,8 +7,8 @@ license: "MIT"
 build: [
   ["./configure.sh"]
   [make "-j%{jobs}%"]
-  [make "install"]
 ]
+install: [make "install"]
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/UniverseComparator"]
 depends: [
   "ocaml"