(executable
 (package srcsetter-cmd)
 (public_name srcsetter)
 (name srcsetter)
 (libraries srcsetter-cmd progress cmdliner eio_main))