unstripped-binary-or-object usr/bin/botch-annotate-strong
unstripped-binary-or-object usr/bin/botch-bin2src
unstripped-binary-or-object usr/bin/botch-build-closure
unstripped-binary-or-object usr/bin/botch-build-fixpoint
unstripped-binary-or-object usr/bin/botch-buildgraph2srcgraph
unstripped-binary-or-object usr/bin/botch-clean-repository
unstripped-binary-or-object usr/bin/botch-collapse-srcgraph
unstripped-binary-or-object usr/bin/botch-create-graph
unstripped-binary-or-object usr/bin/botch-find-fvs
unstripped-binary-or-object usr/bin/botch-optuniv
unstripped-binary-or-object usr/bin/botch-partial-order
unstripped-binary-or-object usr/bin/botch-print-stats
unstripped-binary-or-object usr/bin/botch-src2bin
