(executable
 (public_name osolo5-elftool)
 (name main)
 (libraries solo5-elftool unix cachet cmdliner))