1 files changed, 1 insertions, 0 deletions

diff --git a/dune b/dune
index 0a0ff213ed..b3073493ea 100644
--- a/dune
+++ b/dune
@@ -18,6 +18,7 @@
 
 (install
  (section lib)
+ (package coq)
  (files
    revision))