diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
index a76656c01..d735ef011 100644
--- a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
+++ b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -39,6 +39,7 @@ build: [
   [ "rocq" "makefile" "-f" "_CoqProject" "-o" "Makefile" ]
   [ make "-j%{jobs}%" ]
 ]
+install: [ make "install" ]
 
 url {
   src: "git+https://github.com/coq/stdlib.git#master"