1 files changed, 1 insertions, 1 deletions

diff --git a/dune b/dune
index cf7221ce62..6547f5c859 100644
--- a/dune
+++ b/dune
@@ -20,7 +20,7 @@
 
 (install
  (section lib)
- (package coq)
+ (package coq-core)
  (files revision))
 
 (rule