From 532d6acfb7a8368c95e74b13e635f5221544aaa4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Wed, 5 Feb 2025 15:53:30 +0100
Subject: [PATCH] Fix rocq-stdlib.dev (forgot to install)

---
 core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam | 1 +
 1 file changed, 1 insertion(+)

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"