1 files changed, 1 insertions, 1 deletions
diff --git a/config/dune b/config/dune
index 83d1364b0c..777201f29f 100644
--- a/config/dune
+++ b/config/dune
@@ -1,7 +1,7 @@
 (library
  (name config)
  (synopsis "Coq Configuration Variables")
- (public_name coq.config)
+ (public_name coq-core.config)
  (modules :standard \ list_plugins)
  (wrapped false))