diff --git a/farith2/dune b/farith2/dune
index 043208cda9b8a35666f29c62d89510d0f2e3bd77..541a416dad12c7b413d290f5b2941b75dba419bc 100644
--- a/farith2/dune
+++ b/farith2/dune
@@ -2,5 +2,6 @@
 
 (library
  (name farith2)
+ (public_name farith2)
  (libraries zarith)
  (flags "-w" "-33"))
diff --git a/farith2/dune-project b/farith2/dune-project
index c2e46604eedbbdae6110d64ba139085a029d352e..ab8113ad5e2aa636170feaa81ad55560556c0649 100644
--- a/farith2/dune-project
+++ b/farith2/dune-project
@@ -1 +1,7 @@
 (lang dune 2.8)
+
+(generate_opam_files true)
+
+(package
+ (name farith2)
+ (synopsis "formaly verified floating-points valuations based on Flocq"))