diff --git a/dune-project b/dune-project
index 4d97b3b..ac59e7a 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
 (lang dune 3.6)
 (using coq 0.6)
-(name htt)
+(name coq-htt-core)
diff --git a/htt/dune b/htt/dune
index a6eeaa3..501fc38 100644
--- a/htt/dune
+++ b/htt/dune
@@ -2,7 +2,7 @@
 
 (coq.theory
  (name htt)
- (package coq-htt-core)
+ (package coq-htt)
  (synopsis "Hoare Type Theory")
  (flags :standard
    -w -notation-overridden