diff --git a/dune-project b/dune-project index eb977bf..793c088 100644 --- a/dune-project +++ b/dune-project @@ -1,7 +1,7 @@ (lang dune 2.0) (generate_opam_files true) - +(name nombres) (package (name nombres) (description