1 files changed, 1 insertions, 2 deletions
diff --git a/clib/dune b/clib/dune
index 10c75d6aa2..90f36d8bfd 100644
--- a/clib/dune
+++ b/clib/dune
@@ -1,8 +1,7 @@
 (library
  (name clib)
  (synopsis "Coq's Utility Library [general purpose]")
- (public_name coq.clib)
+ (public_name coq-core.clib)
  (wrapped false)
  (modules_without_implementation cSig)
  (libraries str unix threads))
-