diff --git a/dune-project b/dune-project index 8cf77e8..a5c8776 100644 --- a/dune-project +++ b/dune-project @@ -1,2 +1,2 @@ (lang dune 2.9) -(name solo5_elftool) +(name solo5-elftool)